2021-12-19 00:00:13 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Remote host closed the connection) |
2021-12-19 00:10:21 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 00:10:22 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 00:12:47 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-12-19 00:18:58 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 00:19:03 +0100 | <zero> | can someone help me understand where I should put my class constraints when i use forall.? |
2021-12-19 00:19:36 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2021-12-19 00:19:57 +0100 | <zero> | frequencies :: (Foldable f, Ord a) => forall a. f a -> Map a Int -- does this make sense? |
2021-12-19 00:19:57 +0100 | <EvanR> | forall usually goes all the way to the right |
2021-12-19 00:20:04 +0100 | <EvanR> | ~~~~~~ |
2021-12-19 00:20:06 +0100 | <EvanR> | to the left |
2021-12-19 00:20:22 +0100 | <EvanR> | forall is only somewhere in the middle when doing RankN types |
2021-12-19 00:20:33 +0100 | <hpc> | the way to remember is forall brings things into scope |
2021-12-19 00:20:43 +0100 | zaquest | (~notzaques@5.130.79.72) |
2021-12-19 00:20:57 +0100 | <hpc> | it's like writing "x \x -> stuff" |
2021-12-19 00:21:24 +0100 | <EvanR> | forall f a . (Foldable f, Ord a) => f a -> Map a Int |
2021-12-19 00:22:10 +0100 | <zero> | fair enough. and we need the f beacause we lost the implicit quantification, right? |
2021-12-19 00:23:04 +0100 | <EvanR> | if you're doing ScopedTypeVariables you have to name them all |
2021-12-19 00:23:04 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 00:23:04 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 00:23:04 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 00:23:31 +0100 | <EvanR> | unless they we're already introduced by an enclosing forall |
2021-12-19 00:24:06 +0100 | <EvanR> | name em all or name none |
2021-12-19 00:25:38 +0100 | <monochrom> | One forall to bind them all. :) |
2021-12-19 00:25:47 +0100 | <dsal> | I did the "number my tree" thing for last night's thing using traverse in a State monad and was trying to see if I could do something fancier with partsOf/biplate, but all attempts are worse. |
2021-12-19 00:25:54 +0100 | <dsal> | I need to just get around to learning how to make a zipper. |
2021-12-19 00:27:16 +0100 | <EvanR> | numbers... |
2021-12-19 00:27:50 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
2021-12-19 00:28:29 +0100 | <dsal> | This is not actually that bad: `number = flip evalState 0 . traverse (\x -> (,x) <$> (id <+= 1))` |
2021-12-19 00:28:32 +0100 | <dsal> | but the solution kind of sucks. |
2021-12-19 00:32:49 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
2021-12-19 00:33:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 00:39:57 +0100 | acidjnk | (~acidjnk@pd9e0bdc0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2021-12-19 00:44:59 +0100 | max22- | (~maxime@2a01cb088335980062ccec88c4c3abad.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-12-19 00:46:07 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 00:47:01 +0100 | Jing_ | (~hedgehog@2604:a840:3::103e) (Remote host closed the connection) |
2021-12-19 00:47:34 +0100 | Jing | (~hedgehog@2604:a840:3::103e) |
2021-12-19 00:49:52 +0100 | snake | (~snake@user/snake) (Quit: Quitting) |
2021-12-19 00:52:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 00:52:26 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 245 seconds) |
2021-12-19 00:52:57 +0100 | jumper149 | (~jumper149@static.6.71.203.116.clients.your-server.de) (Quit: WeeChat 3.3) |
2021-12-19 00:55:14 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
2021-12-19 00:55:53 +0100 | snake | (~snake@user/snake) |
2021-12-19 01:00:28 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
2021-12-19 01:02:36 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
2021-12-19 01:03:46 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2021-12-19 01:05:49 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Quit: WeeChat 3.3) |
2021-12-19 01:06:17 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-19 01:08:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-19 01:09:57 +0100 | jpds1 | jpds |
2021-12-19 01:10:53 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-19 01:13:56 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Remote host closed the connection) |
2021-12-19 01:19:43 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 01:19:45 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 01:20:17 +0100 | dsrt^ | (~dsrt@64.253.22.77) (Ping timeout: 240 seconds) |
2021-12-19 01:20:52 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2021-12-19 01:24:08 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2021-12-19 01:24:27 +0100 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
2021-12-19 01:24:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 01:27:38 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
2021-12-19 01:27:55 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-19 01:28:51 +0100 | vincenz | (~poucet@104.134.21.7) (Remote host closed the connection) |
2021-12-19 01:32:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-12-19 01:33:49 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:1941:a480:a6d8:8bc5) |
2021-12-19 01:52:19 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 01:52:32 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
2021-12-19 01:56:15 +0100 | SummerSonw | (~The_viole@203.77.49.232) |
2021-12-19 01:57:01 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 245 seconds) |
2021-12-19 01:58:12 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-12-19 01:59:35 +0100 | img | (~img@user/img) |
2021-12-19 02:04:12 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::745c) |
2021-12-19 02:06:01 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) |
2021-12-19 02:06:29 +0100 | dsrt^ | (~dsrt@64.253.22.77) |
2021-12-19 02:09:47 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-12-19 02:11:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-12-19 02:15:16 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-169.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-12-19 02:15:51 +0100 | delYsid | (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
2021-12-19 02:17:11 +0100 | xb0o2 | (~xb0o2@user/xb0o2) (Quit: Client closed) |
2021-12-19 02:17:17 +0100 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
2021-12-19 02:17:40 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-12-19 02:18:55 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2021-12-19 02:26:41 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 02:31:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 02:32:15 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
2021-12-19 02:32:38 +0100 | <Inst> | hello |
2021-12-19 02:32:54 +0100 | <Inst> | can you help me out? I need to know how to call ghci so :set +s is set previously, without messing with the .conf file |
2021-12-19 02:34:53 +0100 | <geekosaur> | is adding another conf file acceptable? -ghci-script |
2021-12-19 02:36:00 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 256 seconds) |
2021-12-19 02:36:22 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:1941:a480:a6d8:8bc5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-19 02:36:32 +0100 | <koz> | How does one create a literal value of type Word#? |
2021-12-19 02:37:01 +0100 | <geekosaur> | % :set -XMagicHash |
2021-12-19 02:37:02 +0100 | <yahb> | geekosaur: |
2021-12-19 02:37:08 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
2021-12-19 02:37:08 +0100 | <geekosaur> | :t 8# |
2021-12-19 02:37:09 +0100 | <lambdabot> | GHC.Prim.Int# |
2021-12-19 02:37:12 +0100 | <koz> | Oh, nice. |
2021-12-19 02:37:14 +0100 | <geekosaur> | hm |
2021-12-19 02:37:24 +0100 | <geekosaur> | not quite though, it's Int# not Word# |
2021-12-19 02:37:34 +0100 | <geekosaur> | :t 8## |
2021-12-19 02:37:35 +0100 | <lambdabot> | GHC.Prim.Word# |
2021-12-19 02:37:41 +0100 | <geekosaur> | there we go |
2021-12-19 02:37:51 +0100 | <koz> | If in doubt, sprinkle on more magic hashes. |
2021-12-19 02:38:51 +0100 | <zero> | :t 8### |
2021-12-19 02:38:52 +0100 | <lambdabot> | error: |
2021-12-19 02:38:52 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2021-12-19 02:38:59 +0100 | zero | shrugs |
2021-12-19 02:39:34 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) |
2021-12-19 02:40:19 +0100 | <geekosaur> | oh, heh, intended to send those to yahb. didn't know lambdabot did MagicHash |
2021-12-19 02:41:37 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-12-19 02:43:01 +0100 | geekosaur | wonders how this works in 9.2, where everything is sized |
2021-12-19 02:43:24 +0100 | <geekosaur> | mm, think it's 8##8 etc. |
2021-12-19 02:43:41 +0100 | <zero> | nice |
2021-12-19 02:48:45 +0100 | <hpc> | ghc should accept MuggleHash as a synonym for NoMagicHash :D |
2021-12-19 02:49:16 +0100 | <koz> | Also, does eqWord8# give 0## if mismatch, 1## if match? |
2021-12-19 02:49:29 +0100 | <koz> | 0# and 1# I mean. |
2021-12-19 02:50:55 +0100 | <geekosaur> | % eqWord8 (W8# 8##) (W8# 9##) |
2021-12-19 02:50:56 +0100 | <yahb> | geekosaur: False |
2021-12-19 02:51:08 +0100 | <geekosaur> | oh wait |
2021-12-19 02:51:13 +0100 | <geekosaur> | % eqWord8# (W8# 8##) (W8# 9##) |
2021-12-19 02:51:13 +0100 | <yahb> | geekosaur: ; <interactive>:188:11: error:; * Couldn't match expected type `Word8#' with actual type `Word8'; * In the first argument of `eqWord8#', namely `(W8# 8##)'; In the expression: eqWord8# (W8# 8##) (W8# 9##); In an equation for `it': it = eqWord8# (W8# 8##) (W8# 9##); <interactive>:188:21: error:; * Couldn't match expected type `Word8#' with actual type `Word8'; * In the second a |
2021-12-19 02:51:37 +0100 | <geekosaur> | % eqWord8# 8## 9## |
2021-12-19 02:51:38 +0100 | <yahb> | geekosaur: ; <interactive>:189:10: error:; * Couldn't match expected type `Word8#' with actual type `Word#'; * In the first argument of `eqWord8#', namely `8##'; In the expression: eqWord8# 8## 9##; In an equation for `it': it = eqWord8# 8## 9##; <interactive>:189:14: error:; * Couldn't match expected type `Word8#' with actual type `Word#'; * In the second argument of `eqWord8#', namely |
2021-12-19 02:51:53 +0100 | <geekosaur> | % eqWord8# 8##8 9##8 |
2021-12-19 02:51:53 +0100 | <yahb> | geekosaur: ; <interactive>:190:1: error:; * Couldn't match expected type `Word# -> t0 -> t' with actual type `Int#'; * The function `eqWord8#' is applied to four value arguments, but its type `Word8# -> Word8# -> Int#' has only two; In the expression: eqWord8# 8## 8 9## 8; In an equation for `it': it = eqWord8# 8## 8 9## 8; * Relevant bindings include it :: t (bound at <interactive>:190:1) |
2021-12-19 02:51:59 +0100 | <geekosaur> | blegh |
2021-12-19 02:52:20 +0100 | <geekosaur> | :t eqWord8# |
2021-12-19 02:52:21 +0100 | <lambdabot> | error: Variable not in scope: eqWord8# |
2021-12-19 02:52:26 +0100 | <geekosaur> | % :t eqWord8# |
2021-12-19 02:52:26 +0100 | <yahb> | geekosaur: Word8# -> Word8# -> Int# |
2021-12-19 02:55:51 +0100 | mmhat | (~mmh@55d47734.access.ecotel.net) (Quit: WeeChat 3.3) |
2021-12-19 02:59:39 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 03:04:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 03:04:38 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 252 seconds) |
2021-12-19 03:07:05 +0100 | <hololeap> | Word8##4#8#9#INT#*69 |
2021-12-19 03:07:56 +0100 | <geekosaur> | yeh I have no idea how you get a Wird8# literal, at least in 9.0.1 |
2021-12-19 03:09:37 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:8490:5949:caf8:c808) (Ping timeout: 240 seconds) |
2021-12-19 03:09:42 +0100 | pfurla_ | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) |
2021-12-19 03:12:36 +0100 | <hololeap> | reminds me what I used to see as a kid when I would telnet over dialup |
2021-12-19 03:15:50 +0100 | <EvanR> | if you'd like to speak to a GHC prims representative press # |
2021-12-19 03:21:25 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
2021-12-19 03:28:48 +0100 | <hololeap> | holy crap, some of these still have phone numbers: https://www.telnetbbsguide.com/connection/dial-up/ |
2021-12-19 03:31:56 +0100 | geekosaur | wonders if ncoast is still around |
2021-12-19 03:31:59 +0100 | ub | (~Thunderbi@p200300ecdf0a5d10d9ff0243dc33f2a7.dip0.t-ipconnect.de) |
2021-12-19 03:32:54 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 03:33:11 +0100 | <geekosaur> | huh, I get both an ip4 and a SERVFAIL |
2021-12-19 03:33:22 +0100 | ubert | (~Thunderbi@p200300ecdf0a5d68805dbf0fab6de770.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-12-19 03:33:22 +0100 | ub | ubert |
2021-12-19 03:37:49 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 03:38:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-12-19 03:39:17 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
2021-12-19 03:44:22 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 03:45:30 +0100 | benin | (~benin@183.82.27.121) (Ping timeout: 260 seconds) |
2021-12-19 03:48:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-12-19 03:52:13 +0100 | benin | (~benin@183.82.27.121) |
2021-12-19 03:55:02 +0100 | lechner | (~lechner@debian/lechner) |
2021-12-19 03:57:06 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-12-19 03:58:10 +0100 | xff0x | (~xff0x@port-92-195-110-215.dynamic.as20676.net) (Ping timeout: 256 seconds) |
2021-12-19 04:00:06 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:3d5f:aef0:61ba:f866) |
2021-12-19 04:05:36 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 04:09:17 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-12-19 04:10:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:10:57 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 268 seconds) |
2021-12-19 04:13:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:14:05 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-12-19 04:14:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:15:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:16:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:17:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 04:17:20 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:18:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:19:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:20:50 +0100 | td_ | (~td@94.134.91.199) (Ping timeout: 256 seconds) |
2021-12-19 04:20:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:21:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:22:39 +0100 | td_ | (~td@muedsl-82-207-238-128.citykom.de) |
2021-12-19 04:23:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:23:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:25:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:25:42 +0100 | Sobhan | (~Sobhan@modemcable039.128-131-66.mc.videotron.ca) |
2021-12-19 04:25:44 +0100 | <Sobhan> | Hi |
2021-12-19 04:25:45 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:27:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:27:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:29:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:29:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:31:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:31:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:32:53 +0100 | <Sobhan> | what would be the equivalent of a short circuiting fold over infinite lists for monads? right now i'm using this monstrosity ```haskell |
2021-12-19 04:32:53 +0100 | <Sobhan> | tW :: Monad m => (t -> a -> (Bool, t)) -> t -> m a -> m t |
2021-12-19 04:32:54 +0100 | <Sobhan> | tW f acc mo = do { a <- mo; let (b, acc1) = f acc a in if b then return acc1 else tW f acc1 mo} |
2021-12-19 04:32:54 +0100 | <Sobhan> | ``` |
2021-12-19 04:33:23 +0100 | <Sobhan> | where f both has the termination condition and some sort of accumulator |
2021-12-19 04:33:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:34:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:34:59 +0100 | <hololeap> | Sobhan: you could use `MaybeT (State s) ()` then use mapM_ |
2021-12-19 04:35:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:36:11 +0100 | <hololeap> | you'll end up with (Nothing,s) when you short circuit by calling `empty`, with `s' as its most recent state |
2021-12-19 04:36:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-12-19 04:37:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:38:19 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 04:38:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-12-19 04:39:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:40:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:41:12 +0100 | <Inst> | also, quick question |
2021-12-19 04:41:21 +0100 | <Inst> | is there a way to save your edits in GHCi? |
2021-12-19 04:41:37 +0100 | <Inst> | there's :load to load modules, but not necessarily :save to save your history |
2021-12-19 04:41:40 +0100 | <Inst> | and how do you delete old lines? |
2021-12-19 04:42:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:43:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:43:39 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 268 seconds) |
2021-12-19 04:44:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:45:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:45:58 +0100 | <hololeap> | Inst, not sure but I see ~/.ghc/ghci_history |
2021-12-19 04:46:08 +0100 | <hololeap> | maybe you can just manipulate that directly |
2021-12-19 04:46:14 +0100 | <Inst> | why must I do this? |
2021-12-19 04:46:24 +0100 | <Inst> | this is dumb, I hear there's complaints about Haskell tooling being terrible |
2021-12-19 04:46:37 +0100 | ssray | (~textual@2601:c2:97f:4590:61ac:5742:1693:b1c2) |
2021-12-19 04:46:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:46:50 +0100 | <hololeap> | haha I'm literally one person who is giving you a partial answer and being totally honest about it |
2021-12-19 04:47:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:47:20 +0100 | <hololeap> | because I don't know the full answer |
2021-12-19 04:48:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:49:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:49:40 +0100 | <hololeap> | Sobhan: for instance this: http://sprunge.us/wf9Sec |
2021-12-19 04:50:37 +0100 | <hololeap> | MaybeT is underrated |
2021-12-19 04:50:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:51:45 +0100 | <hololeap> | oh, that should be `put t'` ... forgot the ' hehe |
2021-12-19 04:51:57 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:52:17 +0100 | <hololeap> | although I don't think the `t' is in scope there so it wouldn't compile instead of giving you the incorrect result |
2021-12-19 04:52:51 +0100 | ssray | (~textual@2601:c2:97f:4590:61ac:5742:1693:b1c2) (Textual IRC Client: www.textualapp.com) |
2021-12-19 04:52:58 +0100 | <Sobhan> | hololeap that's neat, thanks! |
2021-12-19 04:53:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:53:49 +0100 | <hololeap> | np, although it's bound to be buggy because I didn't test it |
2021-12-19 04:53:59 +0100 | <hololeap> | I hope I communicated the idea, though |
2021-12-19 04:54:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:56:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 04:56:19 +0100 | BrokenClutch | (~pioneer@2804:d41:c251:8e00:2f95:d3cd:d94f:7520) |
2021-12-19 04:57:08 +0100 | <BrokenClutch> | Uh. Is the STRef truly mutable? Like, it correspond to the same address after the change of value? |
2021-12-19 04:58:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 04:58:48 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-19 04:59:29 +0100 | falafel | (~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) |
2021-12-19 04:59:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:00:07 +0100 | falafel | (~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) (Client Quit) |
2021-12-19 05:00:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 05:00:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 05:00:08 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 05:00:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:02:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:03:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:04:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:05:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:07:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:07:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:09:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:10:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:11:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-12-19 05:11:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:12:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:13:42 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 05:14:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:14:26 +0100 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 252 seconds) |
2021-12-19 05:14:38 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:3d5f:aef0:61ba:f866) (Ping timeout: 260 seconds) |
2021-12-19 05:14:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:14:59 +0100 | yaroot | (~yaroot@175.0.30.125.dy.iij4u.or.jp) |
2021-12-19 05:15:17 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:1181:abfc:439c:19e) |
2021-12-19 05:16:04 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Quit: Leaving) |
2021-12-19 05:16:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:16:57 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::745c) (Ping timeout: 240 seconds) |
2021-12-19 05:17:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:18:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-12-19 05:18:44 +0100 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.7.5 - https://znc.in) |
2021-12-19 05:18:47 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 268 seconds) |
2021-12-19 05:18:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:20:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:20:33 +0100 | koz | (~Srain@2404:4408:436c:a700:6891:399a:2191:3ae0) |
2021-12-19 05:21:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:22:08 +0100 | koz_ | (~koz@2404:4408:436c:a700:6891:399a:2191:3ae0) |
2021-12-19 05:23:04 +0100 | koz | (~Srain@2404:4408:436c:a700:6891:399a:2191:3ae0) (Remote host closed the connection) |
2021-12-19 05:23:10 +0100 | koz_ | koz |
2021-12-19 05:23:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:25:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:26:31 +0100 | koz | (~koz@2404:4408:436c:a700:6891:399a:2191:3ae0) (Client Quit) |
2021-12-19 05:27:24 +0100 | koz | (~koz@2404:4408:436c:a700:6891:399a:2191:3ae0) |
2021-12-19 05:27:56 +0100 | <EvanR> | BrokenClutch, you don't change the STRef |
2021-12-19 05:28:04 +0100 | <EvanR> | you change whatever it refers to |
2021-12-19 05:28:15 +0100 | <EvanR> | same as IORef |
2021-12-19 05:30:31 +0100 | <BrokenClutch> | yeah, but when i change what's referred |
2021-12-19 05:30:50 +0100 | <EvanR> | like you have a box, and you swap out what's in the box, same box |
2021-12-19 05:30:51 +0100 | <BrokenClutch> | what's going inside? Am I allocating new memory? |
2021-12-19 05:31:18 +0100 | <EvanR> | good question, what are you putting in |
2021-12-19 05:31:28 +0100 | <BrokenClutch> | Int |
2021-12-19 05:31:56 +0100 | kaizen | (sid501599@id-501599.helmsley.irccloud.com) () |
2021-12-19 05:32:28 +0100 | <EvanR> | if you have an Int, you put it in the box |
2021-12-19 05:32:41 +0100 | <EvanR> | that's not a memory allocation |
2021-12-19 05:33:37 +0100 | <EvanR> | (though the Int may actually be a big lazy computation that, when forced, uses a bunch of memory to get the value) |
2021-12-19 05:35:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 05:35:13 +0100 | <BrokenClutch> | So, it would not be evaluated because the language is lazy? But where's stored the data? It's faster to use a STRef or a StateT on a more demanding algorithm? |
2021-12-19 05:37:13 +0100 | <EvanR> | stuff is lazy by default, you can choose to (and probably should) evaluate the Int upon storing it |
2021-12-19 05:37:27 +0100 | <EvanR> | or some time prior if it's convenient |
2021-12-19 05:38:26 +0100 | <monochrom> | It is more nuanced than "am I allocating new memory or not". |
2021-12-19 05:38:51 +0100 | <monochrom> | I can answer "no" but it is a very narrow answer. |
2021-12-19 05:39:09 +0100 | <monochrom> | An STRef always refers to a heap object. |
2021-12-19 05:39:22 +0100 | <monochrom> | A heap object always came from allocation. |
2021-12-19 05:39:57 +0100 | <monochrom> | But it doesn't always mean "new". Perhaps the heap object was already created long ago. Or perhaps it is created just now. |
2021-12-19 05:39:57 +0100 | <EvanR> | I should have said "but that's a big If" after "if you have an Int" xD |
2021-12-19 05:40:14 +0100 | <monochrom> | Yeah. |
2021-12-19 05:40:17 +0100 | <EvanR> | doing the equivalent of x = x + 1 is still going to spawn a new Int |
2021-12-19 05:41:08 +0100 | <monochrom> | So suppose you have "f x = ... writeSTRef myref x ...". Well someone else had to create a heap object and pass it as x to you. You are sharing that heap object. |
2021-12-19 05:41:10 +0100 | <BrokenClutch> | And I'm reading that the GHC sometimes uses equivalents thunks to avoid a repetition of a computation |
2021-12-19 05:41:49 +0100 | <monochrom> | But suppose you have "writeSTRef myref (3+4+5)" well that's a new heap object to store (3+4+5) right there. |
2021-12-19 05:41:50 +0100 | <BrokenClutch> | monochrom: is there a form to check the address of the allocation? |
2021-12-19 05:41:58 +0100 | <monochrom> | No. |
2021-12-19 05:42:47 +0100 | <EvanR> | this line of questioning doesn't seem on the right track |
2021-12-19 05:42:47 +0100 | <monochrom> | Err 3+4+5 is a bad example since the whole program lifetime just needs one copy of it and share it. |
2021-12-19 05:42:51 +0100 | <BrokenClutch> | man, strict imperative programming made me lazy (haha, joke) |
2021-12-19 05:43:11 +0100 | <EvanR> | if your concerned about memory allocations, addresses aren't where to look |
2021-12-19 05:43:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:43:16 +0100 | <monochrom> | "writeSTRef myref (x+y+z)" is a better example, if x, y, z is dfferent every time. |
2021-12-19 05:43:26 +0100 | <EvanR> | heap objects move around |
2021-12-19 05:44:07 +0100 | <BrokenClutch> | by the OS? |
2021-12-19 05:44:12 +0100 | <monochrom> | x::Int is also a heap object to support both laziness and polymorphism. |
2021-12-19 05:44:32 +0100 | <EvanR> | the garbage collector moves things |
2021-12-19 05:44:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:45:04 +0100 | <BrokenClutch> | even after the first move from nursery? |
2021-12-19 05:45:11 +0100 | <EvanR> | sure |
2021-12-19 05:45:17 +0100 | <monochrom> | "STRef a" would too hard and error-prone to implement if "sometimes it stores data, some other times it stores pointer to data". |
2021-12-19 05:45:21 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 05:45:21 +0100 | <EvanR> | heap compaction etc |
2021-12-19 05:45:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:46:02 +0100 | <BrokenClutch> | I think i've got it |
2021-12-19 05:46:05 +0100 | <EvanR> | certain things can be pinned and won't move |
2021-12-19 05:46:15 +0100 | <EvanR> | for optimization purposes or FFI |
2021-12-19 05:46:16 +0100 | <monochrom> | But why should you care? |
2021-12-19 05:46:30 +0100 | <monochrom> | If you're wondering about speed, you can always benchmark. |
2021-12-19 05:46:38 +0100 | <BrokenClutch> | I'm just curious |
2021-12-19 05:47:06 +0100 | <monochrom> | But some of us have already done similar benchmarks. A recursive Int function is faster than using STRef Int. |
2021-12-19 05:47:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:47:34 +0100 | <BrokenClutch> | I was comparing with how C/C++ and rust with Haskell (and Scheme) handles this kind of stuff |
2021-12-19 05:48:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:48:24 +0100 | <monochrom> | Compiler optimizations can put that Int in a register for the recursive Int function. But it will not optimize the STRef away. You end up perpetual indirection. |
2021-12-19 05:48:26 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 05:48:38 +0100 | <BrokenClutch> | monochrom: The garbage collector do some impressive stuff, It's like it knows what I'm doing better than myself |
2021-12-19 05:48:53 +0100 | <monochrom> | Yes. |
2021-12-19 05:49:35 +0100 | <monochrom> | Both GHC and GCC perform code optimizations that 1st-year CS students, even some 4th-year students, haven't thought of. |
2021-12-19 05:49:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:49:50 +0100 | <monochrom> | Most programmers' "bare metal" models are wrong. |
2021-12-19 05:50:06 +0100 | <BrokenClutch> | So I should be more careful and test more when working with those kind of stuff with haskell. It can be predicted very well. Am I right? |
2021-12-19 05:50:21 +0100 | <BrokenClutch> | It can't be predicted* |
2021-12-19 05:50:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:51:14 +0100 | <monochrom> | It takes half a year to learn what the compiler actually does. This is true of both Haskell and C. As said, a lot of people get C wrong, too. |
2021-12-19 05:51:24 +0100 | <monochrom> | Until then, shut up and benchmark. |
2021-12-19 05:51:47 +0100 | <BrokenClutch> | You all were very helpful, many thanks |
2021-12-19 05:52:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:52:15 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) |
2021-12-19 05:52:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:53:07 +0100 | <int-e> | monochrom: don't stop benchmarking :) |
2021-12-19 05:53:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 05:53:23 +0100 | <monochrom> | Yeah. |
2021-12-19 05:53:50 +0100 | <monochrom> | Code optimizers are also pretty fragile. You change a little thing that you think shouldn't matter, oh but it does. |
2021-12-19 05:54:21 +0100 | <monochrom> | They will always surprise you both ways once in a while. Make faster code than you expect. Then make slower code than you expect. |
2021-12-19 05:54:21 +0100 | <EvanR> | I make sure all my variables names are 1 letter and close to the beginning of the alphabet for extra speed |
2021-12-19 05:54:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:54:50 +0100 | <EvanR> | like a pro |
2021-12-19 05:55:03 +0100 | <int-e> | one poorly chosen loop breaker, one unfortunate inlining decision... that can make a huge difference sometimes |
2021-12-19 05:55:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:55:47 +0100 | <int-e> | So I guess it's because I know a bit of what the compiler does that I keep benchmarking ;) |
2021-12-19 05:56:13 +0100 | <BrokenClutch> | gonna foreign import malloc, me smart boi. |
2021-12-19 05:56:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 05:57:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 05:57:45 +0100 | <EvanR> | you don't have to, that's in the FFI |
2021-12-19 05:58:16 +0100 | dsrt^ | (~dsrt@64.253.22.77) (Ping timeout: 268 seconds) |
2021-12-19 05:58:23 +0100 | <EvanR> | you even get nice brackets to clean up pointers when you're done |
2021-12-19 05:58:28 +0100 | <EvanR> | Ptr a |
2021-12-19 05:58:38 +0100 | <monochrom> | Yeah, Foreign.Marshal.Alloc's malloc is already C's malloc. It is guaranteed. |
2021-12-19 05:58:47 +0100 | <monochrom> | But I also recongize that you were just joking. |
2021-12-19 06:00:12 +0100 | <BrokenClutch> | monochrom: Didn't know that |
2021-12-19 06:00:27 +0100 | <BrokenClutch> | Thank you all for the help. It's 2AM here, gonna sleep |
2021-12-19 06:00:32 +0100 | <BrokenClutch> | goodnight |
2021-12-19 06:01:54 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 06:04:05 +0100 | KvL | (KvL@gateway/vpn/protonvpn/kvl) |
2021-12-19 06:05:46 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
2021-12-19 06:06:45 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::745c) |
2021-12-19 06:09:04 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-19 06:13:19 +0100 | BrokenClutch | (~pioneer@2804:d41:c251:8e00:2f95:d3cd:d94f:7520) () |
2021-12-19 06:13:32 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-12-19 06:14:55 +0100 | img | (~img@user/img) |
2021-12-19 06:23:00 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 06:23:55 +0100 | marperia | (~marperia@176.59.129.201) |
2021-12-19 06:25:10 +0100 | marperia | (~marperia@176.59.129.201) (Remote host closed the connection) |
2021-12-19 06:26:18 +0100 | marperia | (~marperia@176.59.129.201) |
2021-12-19 06:28:02 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 06:28:29 +0100 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 268 seconds) |
2021-12-19 06:33:43 +0100 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
2021-12-19 06:35:00 +0100 | marperia | (~marperia@176.59.129.201) (Quit: Client closed) |
2021-12-19 06:36:54 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-12-19 06:47:57 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 06:50:33 +0100 | koz | (~koz@2404:4408:436c:a700:6891:399a:2191:3ae0) (Quit: koz) |
2021-12-19 06:53:07 +0100 | exbios | (~exbios@fixed-189-203-104-178.totalplay.net) |
2021-12-19 06:54:12 +0100 | exbios | (~exbios@fixed-189-203-104-178.totalplay.net) (Quit: -a- IRC for Android 2.1.59) |
2021-12-19 06:57:13 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 06:57:44 +0100 | Topsi | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) |
2021-12-19 07:03:00 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-12-19 07:04:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 07:08:04 +0100 | KvL | (KvL@gateway/vpn/protonvpn/kvl) (Quit: KvL) |
2021-12-19 07:10:59 +0100 | koz_ | (~koz@2404:4408:436c:a700:6891:399a:2191:3ae0) |
2021-12-19 07:14:14 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-19 07:15:58 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 260 seconds) |
2021-12-19 07:16:38 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
2021-12-19 07:21:48 +0100 | rembo10 | (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-12-19 07:22:56 +0100 | rembo10 | (~rembo10@remulis.com) |
2021-12-19 07:29:20 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 07:33:09 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
2021-12-19 07:33:16 +0100 | juhp | (~juhp@128.106.188.82) |
2021-12-19 07:33:53 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 07:35:22 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2021-12-19 07:35:49 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2021-12-19 07:38:50 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 260 seconds) |
2021-12-19 07:44:37 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 07:47:44 +0100 | dsrt^ | (~dsrt@64.253.22.77) |
2021-12-19 07:54:01 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 07:56:12 +0100 | puke | (~puke@user/puke) |
2021-12-19 08:00:41 +0100 | jonathanx | (~jonathan@c-5eea3547-74736162.cust.telenor.se) |
2021-12-19 08:02:29 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-19 08:04:04 +0100 | Akiva | (~Akiva@user/Akiva) |
2021-12-19 08:04:27 +0100 | nautical | (~nautical@2601:602:900:1630::97df) |
2021-12-19 08:05:42 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 08:06:22 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
2021-12-19 08:07:16 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 08:08:55 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-12-19 08:09:20 +0100 | nautical | (~nautical@2601:602:900:1630::97df) (Client Quit) |
2021-12-19 08:12:05 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 252 seconds) |
2021-12-19 08:13:57 +0100 | gentauro_ | (~gentauro@185.107.12.141) (Quit: leaving) |
2021-12-19 08:14:17 +0100 | gentauro_ | (~gentauro@185.107.12.141) |
2021-12-19 08:15:08 +0100 | gentauro | (~gentauro@user/gentauro) (Remote host closed the connection) |
2021-12-19 08:15:30 +0100 | gentauro_ | (~gentauro@185.107.12.141) (Remote host closed the connection) |
2021-12-19 08:20:16 +0100 | knudLeopold | (~knudLeopo@187.168.218.49) |
2021-12-19 08:20:37 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-12-19 08:22:12 +0100 | gentauro | (~gentauro@user/gentauro) |
2021-12-19 08:23:14 +0100 | knudLeopold | (~knudLeopo@187.168.218.49) (Client Quit) |
2021-12-19 08:26:45 +0100 | knudLeopold | (~knudLeopo@187.168.218.49) |
2021-12-19 08:35:17 +0100 | knudLeopold | (~knudLeopo@187.168.218.49) (Quit: Leaving) |
2021-12-19 08:36:09 +0100 | Inst_ | (~Inst@2601:6c4:4080:3f80:98ca:4368:fd5e:1ee0) |
2021-12-19 08:38:44 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 08:39:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-19 08:42:55 +0100 | <Inst_> | how's whatsupdoc been doing? |
2021-12-19 08:43:13 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-19 08:44:38 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) |
2021-12-19 08:47:02 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2021-12-19 08:47:56 +0100 | m4lvin | (~m4lvin@w4eg.de) (Quit: m4lvin) |
2021-12-19 08:48:19 +0100 | snek` | (~user@88.160.31.174) |
2021-12-19 08:48:24 +0100 | m4lvin | (~m4lvin@w4eg.de) |
2021-12-19 08:48:42 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 08:48:43 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 08:49:13 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: closed) |
2021-12-19 08:49:18 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 08:49:41 +0100 | snek` | (~user@88.160.31.174) (Remote host closed the connection) |
2021-12-19 08:49:46 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 260 seconds) |
2021-12-19 08:51:22 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 08:52:33 +0100 | puke | (~puke@user/puke) (Quit: puke) |
2021-12-19 08:54:33 +0100 | puke | (~puke@user/puke) |
2021-12-19 08:59:04 +0100 | jonathanx | (~jonathan@c-5eea3547-74736162.cust.telenor.se) (Ping timeout: 256 seconds) |
2021-12-19 09:00:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 09:02:45 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 09:04:42 +0100 | fef | (~thedawn@user/thedawn) |
2021-12-19 09:04:56 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
2021-12-19 09:04:58 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 09:06:17 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) (Ping timeout: 240 seconds) |
2021-12-19 09:11:51 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-12-19 09:12:57 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::745c) (Ping timeout: 240 seconds) |
2021-12-19 09:13:36 +0100 | acidjnk | (~acidjnk@p200300d0c7271e774586c8f7f876c3d9.dip0.t-ipconnect.de) |
2021-12-19 09:16:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 09:17:58 +0100 | pfurla_ | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) (Quit: gone to sleep. ZZZzzz…) |
2021-12-19 09:20:36 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2021-12-19 09:20:36 +0100 | thevishy | (~Nishant@2405:201:f005:c007:851a:8f84:501c:8bd1) |
2021-12-19 09:24:34 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
2021-12-19 09:24:41 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-19 09:25:55 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
2021-12-19 09:26:07 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-12-19 09:29:57 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 09:43:46 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 09:43:46 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 09:43:46 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 09:48:56 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-19 09:52:17 +0100 | python476 | (~user@88.160.31.174) |
2021-12-19 09:54:04 +0100 | max22- | (~maxime@2a01cb08833598005fdfc488429f8659.ipv6.abo.wanadoo.fr) |
2021-12-19 09:55:57 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2021-12-19 09:56:04 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-12-19 09:56:21 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-19 10:00:08 +0100 | asdofindia-m | (~akshaymat@2001:470:69fc:105::831) (Quit: You have been kicked for being idle) |
2021-12-19 10:00:08 +0100 | ppseafield[m] | (~elementpp@2001:470:69fc:105::1:250a) (Quit: You have been kicked for being idle) |
2021-12-19 10:00:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:00:44 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:01:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-12-19 10:01:51 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
2021-12-19 10:02:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:02:21 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-12-19 10:02:34 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Remote host closed the connection) |
2021-12-19 10:02:42 +0100 | cosimone | (~user@93-44-185-127.ip98.fastwebnet.it) |
2021-12-19 10:02:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:03:24 +0100 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-12-19 10:04:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:04:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:06:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:06:42 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-12-19 10:06:54 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3) |
2021-12-19 10:07:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:07:41 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-12-19 10:08:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:09:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:09:16 +0100 | tubogram | (~tubogram@user/tubogram) (Quit: See ya later!) |
2021-12-19 10:09:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-169.elisa-laajakaista.fi) |
2021-12-19 10:10:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:11:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:11:24 +0100 | tubogram4 | (~tubogram@user/tubogram) |
2021-12-19 10:12:45 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:12:52 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-19 10:13:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:14:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:15:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:16:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:16:55 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
2021-12-19 10:17:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:17:35 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-12-19 10:17:57 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-12-19 10:18:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-19 10:19:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:19:23 +0100 | tubogram4 | (~tubogram@user/tubogram) (Quit: See ya later!) |
2021-12-19 10:19:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:21:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:21:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:22:11 +0100 | tubogram4 | (~tubogram@user/tubogram) |
2021-12-19 10:23:07 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2021-12-19 10:23:14 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:23:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-12-19 10:25:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:25:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:27:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:27:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:28:25 +0100 | <int-e> | > unwords $ map (\x -> printf "%.2f" (191-x/38)) [7139,7120,7058,6994,6901,6859,6800,6750,6681,6538] -- tired of waiting |
2021-12-19 10:28:27 +0100 | <lambdabot> | "3.13 3.63 5.26 6.95 9.39 10.50 12.05 13.37 15.18 18.95" |
2021-12-19 10:28:28 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2021-12-19 10:29:30 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:30:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:31:42 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:32:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:33:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:34:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:35:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:36:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:36:26 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2021-12-19 10:37:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:37:57 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-12-19 10:38:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:40:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:40:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:41:16 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 10:42:08 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:42:48 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:44:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:44:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:46:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:47:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-12-19 10:48:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:49:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:50:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:51:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:53:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:53:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:54:19 +0100 | <pavonia> | int-e: This is at least the third time I see you posting this calculation here. What is this? |
2021-12-19 10:54:38 +0100 | <Athas> | So this thing about 'cabal install' ignoring anything that 'cabal build' did and just rebuilding from scratch... is there a way to make it not do that? |
2021-12-19 10:55:03 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:55:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:57:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:57:46 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 10:57:56 +0100 | <int-e> | pavonia: It's taking glguy's Advent of Code leader board, and computing average rank for all the stars so far for the top 10. It's a silly thing, it'll stop after the 25th :) |
2021-12-19 10:58:21 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2021-12-19 10:58:54 +0100 | <pavonia> | I see |
2021-12-19 10:59:18 +0100 | <int-e> | (the numbers are: 191: number of participants, plus 1; 38: number of stars so far; 7139 etc.: points on the board) |
2021-12-19 10:59:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 10:59:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 10:59:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 10:59:34 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 10:59:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:00:22 +0100 | <hololeap> | why does it matter? (legit question) |
2021-12-19 11:01:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:01:29 +0100 | <hololeap> | or I suppose the proper question is why does it matter to you int-e ? |
2021-12-19 11:02:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:02:40 +0100 | <hololeap> | Inst_: the last time they said anything was nov 4, according to my logs |
2021-12-19 11:02:53 +0100 | <[exa]> | Athas: incompatible install environment perhaps? (guessing) |
2021-12-19 11:02:59 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 11:03:18 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) |
2021-12-19 11:03:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:04:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:04:12 +0100 | <int-e> | hololeap: it's entertaining |
2021-12-19 11:04:38 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-12-19 11:05:17 +0100 | <hololeap> | I just don't understand what the metric tells us |
2021-12-19 11:05:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:06:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:06:29 +0100 | <int-e> | you can put these numbers in relation with the best conceivable average, which is 1 |
2021-12-19 11:06:30 +0100 | <[exa]> | pls share the entertaining factor |
2021-12-19 11:06:50 +0100 | <int-e> | it's much harder to do that with the scores |
2021-12-19 11:07:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Ping timeout: 240 seconds) |
2021-12-19 11:07:47 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:08:20 +0100 | <hololeap> | so if someone was in 1st place for every round they would have an average of 1? |
2021-12-19 11:08:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:09:55 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:10:28 +0100 | <int-e> | yes |
2021-12-19 11:10:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:11:14 +0100 | <hololeap> | ok I see. not sure if I find it entertaining, but I understand what it means at least :) |
2021-12-19 11:12:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:12:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:13:47 +0100 | <hololeap> | Inst_: [Whois] whatsupdoc is online via molybdenum.libera.chat (Sun Dec 19 07:43:13 2021). |
2021-12-19 11:14:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:14:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:16:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:16:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2021-12-19 11:16:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:18:18 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2021-12-19 11:18:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:18:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:20:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:21:04 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:22:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:23:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:24:43 +0100 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
2021-12-19 11:24:45 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:25:21 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:26:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:27:19 +0100 | gensyst | (gensyst@user/gensyst) |
2021-12-19 11:27:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-12-19 11:29:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:29:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:30:20 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 11:30:20 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 11:30:20 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 11:31:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:31:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-12-19 11:31:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:33:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:34:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:34:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-12-19 11:35:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:36:07 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:37:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:38:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:38:37 +0100 | <gensyst> | I have a standard project with a lib and src. The lib has the library, the EDSL. The src has Main.hs, which uses the EDSL. Most heavy lifting takes place from the code of lib. |
2021-12-19 11:38:45 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
2021-12-19 11:39:28 +0100 | <gensyst> | lib is rarely compiled. Main.hs is compiled over and over again (user of EDSL doing experiments). Therefore: Can I compile the lib part with -O2 and Main.hs with no optimization? |
2021-12-19 11:39:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:40:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:41:20 +0100 | <hololeap> | you could with cabal |
2021-12-19 11:41:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:42:05 +0100 | <hololeap> | you can set different ghc-options for the library and executable sections |
2021-12-19 11:42:08 +0100 | <Athas> | [exa]: from what I can see, 'cabal install' creates an sdist and builds from that, so it looks like its by design. |
2021-12-19 11:42:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:43:01 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
2021-12-19 11:44:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:44:39 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:45:20 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-19 11:46:12 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:46:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:48:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:48:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:50:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:50:59 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:52:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:53:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:53:09 +0100 | <tomsmeding> | Athas: symlink $(cabal list-bin yourprojectname) somewhere in your PATH? |
2021-12-19 11:53:55 +0100 | <tomsmeding> | or s/symlink/copy/ as appropriate |
2021-12-19 11:54:40 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:55:18 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:55:37 +0100 | <tomsmeding> | or $(cabal-plan list-bin yourprojectname) if your cabal is older |
2021-12-19 11:55:53 +0100 | <Athas> | tomsmeding: that is very fiddly. Is that what people normally do? |
2021-12-19 11:56:07 +0100 | <tomsmeding> | I wouldn't know :p |
2021-12-19 11:56:25 +0100 | <tomsmeding> | it's what _I_ would do, but I'm not usual |
2021-12-19 11:56:52 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:57:02 +0100 | <int-e> | doesn't cabal-install put symlinks to executables into ~/.cabal/bin by default? |
2021-12-19 11:57:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:57:38 +0100 | <tomsmeding> | only after 'cabal install --overwrite-policy=always' |
2021-12-19 11:57:44 +0100 | <gensyst> | hololeap, thanks - although in my case Main.hs is currently small and there doesn't seem to be any difference in -O0 and -O2 compilation time. so i guess most of these 5 seconds of compile time is spent in non-optimization parts |
2021-12-19 11:57:56 +0100 | <int-e> | . o O ( all those problems that I'll have when I finally switch away from v1 commands ) |
2021-12-19 11:58:03 +0100 | <gensyst> | (i was hoping for an instantaneous feedback, sort of like in GHCi) |
2021-12-19 11:58:18 +0100 | <gensyst> | so why is ghci so fast exactly? |
2021-12-19 11:58:20 +0100 | <tomsmeding> | gensyst: type checking feedback, or running feedback? |
2021-12-19 11:58:52 +0100 | <hololeap> | gensyst: you might like using ghcid or haskell-language-server for development |
2021-12-19 11:58:54 +0100 | <tomsmeding> | also check out 'ghcid' (note: that's not a typo) |
2021-12-19 11:58:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 11:59:13 +0100 | <tomsmeding> | ghcid is basically a hot-reloading ghci |
2021-12-19 11:59:21 +0100 | <gensyst> | I mean, compile time. |
2021-12-19 11:59:27 +0100 | <tomsmeding> | though it doesn't give you a shell |
2021-12-19 11:59:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 11:59:47 +0100 | <tomsmeding> | gensyst: what about just opening a ghci and doing :r |
2021-12-19 12:00:38 +0100 | <tomsmeding> | also try 'runghc Main.hs' |
2021-12-19 12:00:38 +0100 | Vajb | (~Vajb@2001:999:62:f3d1:4390:fbed:1f9b:9d03) (Read error: Connection reset by peer) |
2021-12-19 12:00:49 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) |
2021-12-19 12:00:51 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-12-19 12:01:03 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:01:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 12:01:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 12:01:08 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 12:01:34 +0100 | <gensyst> | tomsmeding, how do you open a project in ghci? and does it respect -O2 for the library (the EDSL, as I said above) |
2021-12-19 12:01:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:01:47 +0100 | <tomsmeding> | cabal repl, or stack ghci |
2021-12-19 12:02:01 +0100 | phma | (phma@2001:5b0:210f:398:45c4:2d78:79ea:d21b) (Read error: Connection reset by peer) |
2021-12-19 12:02:15 +0100 | <tomsmeding> | that will load dependencies as compiled code and the component you're loading as interpreted code |
2021-12-19 12:02:27 +0100 | <tomsmeding> | which should thus respect -O2 for the library, if you open the repl on the executable |
2021-12-19 12:02:37 +0100 | <tomsmeding> | might need 'cabal repl exe:yourproject' or something |
2021-12-19 12:03:06 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:03:25 +0100 | phma | (phma@2001:5b0:211f:b348:59d8:7cb7:9451:9394) |
2021-12-19 12:03:38 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:03:57 +0100 | <gensyst> | tomsmeding, ok now that is *instantaneous*! :) |
2021-12-19 12:04:00 +0100 | <gensyst> | the :r, I mean |
2021-12-19 12:04:20 +0100 | koz_ | (~koz@2404:4408:436c:a700:6891:399a:2191:3ae0) (Quit: koz_) |
2021-12-19 12:04:35 +0100 | <tomsmeding> | for more ergonomics, ':def R :r' so you can type :R and don't have to release the shift key in-between |
2021-12-19 12:04:42 +0100 | <gensyst> | very nice. So this suggests that most of the 5 seconds that "cabal build" needs (when rebuilding Main.hs because only Main.hs has changed), is overhead that GHCi already did when OPENING UP. |
2021-12-19 12:04:50 +0100 | <gensyst> | right? |
2021-12-19 12:04:58 +0100 | <gensyst> | nice :D |
2021-12-19 12:05:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:05:19 +0100 | <tomsmeding> | well it's also that for ghci, it doesn't have to generate machine code |
2021-12-19 12:05:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:06:02 +0100 | <gensyst> | tomsmeding, ah. but that shouldn't be a problem if bulk of work is spent by the EDSL (compiled with -O2) right? |
2021-12-19 12:06:13 +0100 | <int-e> | Won't `cabal build` create a new install plan every time? So it'll read the *hackage* package database (well, the index)... stuff that ghc(i) don't even care about |
2021-12-19 12:06:17 +0100 | <gensyst> | Main.hs (user of EDSL) just calls those heavy routines. |
2021-12-19 12:06:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-12-19 12:06:40 +0100 | <int-e> | so there's that overhead, and then there's the overhead from compiling to binary code and linking |
2021-12-19 12:07:06 +0100 | <int-e> | (ghci has to link too but that uses the highly optimized system's dynamic linker) |
2021-12-19 12:07:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:07:45 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:08:19 +0100 | <gensyst> | int-e yes it's doing all sorts of stuff (including warning me about how i should run "cabal update" ;)) |
2021-12-19 12:08:29 +0100 | <gensyst> | ok so for interactivitiy, ghci is a MUST |
2021-12-19 12:09:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:09:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:10:05 +0100 | <hololeap> | do you know of haskell-language-server? it's really quite nice as it gives you realtime diagnostics as you write code, as long as your client can support it |
2021-12-19 12:11:08 +0100 | <gensyst> | hololeap, yeah it's baked into vscode and it's great. however that's for helping me developing. Not exactly about compiling and running Main.hs (many times during the day as I keep changing Main.hs) as fast as possible. |
2021-12-19 12:11:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:11:54 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-12-19 12:12:43 +0100 | <int-e> | Yeah I tend to use runhaskell once it type-checks, unless that takes more than a second or two to run. |
2021-12-19 12:13:26 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:13:46 +0100 | <int-e> | (runhaskell is a symlink to runghc) |
2021-12-19 12:14:01 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:14:39 +0100 | <hololeap> | maybe setting up a test that just runs Main and using ghcid to trigger it would be faster than runhaskell |
2021-12-19 12:14:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 12:15:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:16:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:17:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:17:56 +0100 | Topsi1 | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) |
2021-12-19 12:18:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:18:26 +0100 | Topsi2 | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) |
2021-12-19 12:18:28 +0100 | <gensyst> | what's the proper way to call runghc for a project (execute Main.hs and respect -O2 for the library) |
2021-12-19 12:18:43 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) (Quit: gone to sleep. ZZZzzz…) |
2021-12-19 12:19:21 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds) |
2021-12-19 12:19:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:20:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:21:10 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
2021-12-19 12:21:49 +0100 | Topsi | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
2021-12-19 12:21:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:22:13 +0100 | Topsi1 | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
2021-12-19 12:22:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:22:57 +0100 | <opqdonut> | I'm pretty proud of my AoC solution today: https://github.com/opqdonut/adventofcode21/blob/master/Day19.hs |
2021-12-19 12:24:05 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:24:36 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:26:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:26:33 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-12-19 12:26:37 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:28:10 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:28:29 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2021-12-19 12:28:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2021-12-19 12:28:44 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:28:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2021-12-19 12:29:55 +0100 | hololeap | (~hololeap@user/hololeap) |
2021-12-19 12:30:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:30:24 +0100 | <tomsmeding> | gensyst: try this: cabal repl --repl-options -e --repl-options ':set prog Main.hs' --repl-options -e --repl-options ':main' |
2021-12-19 12:30:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:30:57 +0100 | <tomsmeding> | from looking at the ghc sources, this is basically what runghc is doing -- except with plain ghci instead of cabal |
2021-12-19 12:31:04 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 268 seconds) |
2021-12-19 12:32:10 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-12-19 12:32:24 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:32:55 +0100 | <gensyst> | tomsmeding, that gives me the error "Main.hs:0:53: error: Variable not in scope: main :: IO a0" |
2021-12-19 12:33:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:33:03 +0100 | <gensyst> | (ran your command from the project dir) |
2021-12-19 12:33:20 +0100 | <gensyst> | maybe i should just use ghci lol |
2021-12-19 12:33:24 +0100 | <tomsmeding> | replace that Main.hs with the actual file name of your executable, which should have a 'main' definition :p |
2021-12-19 12:34:35 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:34:37 +0100 | <gensyst> | that is the name |
2021-12-19 12:34:48 +0100 | <gensyst> | even tried ./app/Main.hs, same error |
2021-12-19 12:35:13 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:36:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:37:11 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:37:23 +0100 | <tomsmeding> | and that file does have a 'main' definition? |
2021-12-19 12:37:37 +0100 | <tomsmeding> | it worked for me in a project with a similar setup: library and executable |
2021-12-19 12:38:31 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
2021-12-19 12:38:36 +0100 | <hololeap> | you might need to add the "target" which would be something like "myproject:exe:main" |
2021-12-19 12:38:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:39:08 +0100 | <hololeap> | depends on what the executable is called in the .cabal file |
2021-12-19 12:39:19 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:40:11 +0100 | <tomsmeding> | oh right |
2021-12-19 12:40:51 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:41:31 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:42:20 +0100 | <tomsmeding> | gensyst: yeah add projectname:exe:executablename before those repl-options arguments |
2021-12-19 12:43:03 +0100 | <gensyst> | that works. however i'm back to "cabal build" times |
2021-12-19 12:43:15 +0100 | <gensyst> | i guess it's some sort of overhead that ghci avoids somehow |
2021-12-19 12:43:25 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:43:26 +0100 | <gensyst> | ":r" in ghci is super fast |
2021-12-19 12:43:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:45:09 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:45:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:46:31 +0100 | mmhat | (~mmh@55d46556.access.ecotel.net) |
2021-12-19 12:46:49 +0100 | <tomsmeding> | gensyst: try 'cabal repl yourexecutablename -v | grep interactive', copy that huge ghc command, and append: -e :main |
2021-12-19 12:47:32 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:47:43 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:48:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-19 12:48:51 +0100 | <gensyst> | tomsmeding, that's much faster :D |
2021-12-19 12:49:10 +0100 | <gensyst> | seems like some non-standard thing to do, otherwise it'd be baked into cabal right? |
2021-12-19 12:49:15 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:49:24 +0100 | <int-e> | oh in that case, can you do... --ghci-options='-e :main' ? |
2021-12-19 12:49:40 +0100 | __monty__ | (~toonn@user/toonn) |
2021-12-19 12:49:48 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:49:59 +0100 | <int-e> | (though I guess the point is to avoid rerunning `cabal` |
2021-12-19 12:50:03 +0100 | <int-e> | so never mind) |
2021-12-19 12:51:22 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:51:33 +0100 | <tomsmeding> | gensyst: cabal checks if there were changes in your project source files, project config, the global package index, and perhaps other things. That command might get outdated whenever you change any of those things. But if you don't, then it might continue to work :) |
2021-12-19 12:51:46 +0100 | <tomsmeding> | in particular, just changing Main.hs and not changing any dependencies should work |
2021-12-19 12:52:00 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:53:18 +0100 | <gensyst> | sure :) |
2021-12-19 12:53:20 +0100 | <gensyst> | now finally |
2021-12-19 12:53:34 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:53:36 +0100 | <gensyst> | Forgive me but "runghc allows you to run Haskell programs without first having to compile them." sounds STRANGE. |
2021-12-19 12:53:44 +0100 | <gensyst> | magic? |
2021-12-19 12:53:57 +0100 | <int-e> | gensyst: the same magic as ghci |
2021-12-19 12:54:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:54:42 +0100 | <tomsmeding> | interpreting != compiling |
2021-12-19 12:54:44 +0100 | <int-e> | it's morally (maybe even technically, I don't know) the same as ghci P.hs -e ':main' |
2021-12-19 12:55:11 +0100 | <int-e> | and it does compile, of course, but on the fly and to bytecode |
2021-12-19 12:55:20 +0100 | <tomsmeding> | int-e: it is :p https://gitlab.haskell.org/ghc/ghc/-/blob/master/utils/runghc/Main.hs#L156 |
2021-12-19 12:55:49 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:56:21 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2021-12-19 12:56:27 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:57:40 +0100 | <gensyst> | ok i see |
2021-12-19 12:57:58 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 12:58:28 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 12:59:46 +0100 | <gensyst> | I should just have RTFM, but at least now I know what to look for. https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html "So it pays to compile the parts of a program that aren’t changing very often, and use the interpreter for the code being actively developed." |
2021-12-19 12:59:47 +0100 | <gensyst> | thanks guys |
2021-12-19 13:00:02 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 13:00:41 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 13:01:31 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
2021-12-19 13:01:40 +0100 | mmhat | (~mmh@55d46556.access.ecotel.net) (Quit: WeeChat 3.3) |
2021-12-19 13:02:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 13:02:53 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 13:04:29 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-12-19 13:04:56 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-12-19 13:05:07 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 13:05:32 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-12-19 13:05:42 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-12-19 13:08:21 +0100 | whatif | (~user@114.250.136.140) |
2021-12-19 13:08:39 +0100 | <whatif> | could ghc take {- code -} as comment? |
2021-12-19 13:08:46 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-19 13:09:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Ping timeout: 240 seconds) |
2021-12-19 13:09:47 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Remote host closed the connection) |
2021-12-19 13:09:51 +0100 | <whatif> | I know we use -- as comment, but a vim plugin nerdcommenter use {- -} as comment for .hs |
2021-12-19 13:10:01 +0100 | <whatif> | so I wonder |
2021-12-19 13:10:34 +0100 | <int-e> | Yes, `{- ... -}` is a comment in Haskell; it can span several lines |
2021-12-19 13:13:46 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
2021-12-19 13:13:50 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Read error: Connection reset by peer) |
2021-12-19 13:14:09 +0100 | <whatif> | ok |
2021-12-19 13:15:55 +0100 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
2021-12-19 13:16:21 +0100 | fef | (~thedawn@user/thedawn) |
2021-12-19 13:17:37 +0100 | <tomsmeding> | and what's more, it nests! |
2021-12-19 13:17:50 +0100 | <tomsmeding> | > 1 + {- comment {- within a {- comment -} -} -} 2 |
2021-12-19 13:17:52 +0100 | <lambdabot> | 3 |
2021-12-19 13:20:48 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
2021-12-19 13:21:17 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:1181:abfc:439c:19e) (Ping timeout: 240 seconds) |
2021-12-19 13:21:23 +0100 | Topsi | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) |
2021-12-19 13:22:28 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:eec8:750b:6133:d894) |
2021-12-19 13:22:43 +0100 | <hololeap> | much like the mighty sparrow |
2021-12-19 13:23:00 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection) |
2021-12-19 13:23:25 +0100 | Topsi2 | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
2021-12-19 13:30:41 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 13:30:41 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 13:30:41 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 13:33:11 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) |
2021-12-19 13:35:22 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-12-19 13:36:41 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
2021-12-19 13:37:57 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 240 seconds) |
2021-12-19 13:45:18 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-12-19 13:49:53 +0100 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
2021-12-19 13:49:58 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) (Quit: gone to sleep. ZZZzzz…) |
2021-12-19 13:50:54 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
2021-12-19 13:52:03 +0100 | polezaivsani` | (~polezaivs@orangeshoelaces.net) |
2021-12-19 13:53:54 +0100 | polezaivsani` | (~polezaivs@orangeshoelaces.net) (Client Quit) |
2021-12-19 13:54:57 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 240 seconds) |
2021-12-19 13:55:03 +0100 | polezaivsani` | (~polezaivs@orangeshoelaces.net) |
2021-12-19 13:55:08 +0100 | polezaivsani` | (~polezaivs@orangeshoelaces.net) (Client Quit) |
2021-12-19 13:58:54 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
2021-12-19 13:59:33 +0100 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
2021-12-19 14:04:13 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Remote host closed the connection) |
2021-12-19 14:06:16 +0100 | kaction | (~kaction@pool-71-191-91-40.washdc.fios.verizon.net) |
2021-12-19 14:08:00 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
2021-12-19 14:08:31 +0100 | max22- | (~maxime@2a01cb08833598005fdfc488429f8659.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
2021-12-19 14:09:37 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) (Ping timeout: 240 seconds) |
2021-12-19 14:15:14 +0100 | jumper149 | (~jumper149@static.6.71.203.116.clients.your-server.de) |
2021-12-19 14:15:38 +0100 | <jumper149> | What is the inlining behaviour of derived instances? |
2021-12-19 14:16:47 +0100 | <int-e> | . o O ( unpredictable ) |
2021-12-19 14:18:40 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 256 seconds) |
2021-12-19 14:19:44 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 14:20:04 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-12-19 14:20:23 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-12-19 14:21:59 +0100 | <int-e> | jumper149: I think if you want a serious answer you'll have to narrow that question down quite a bit. |
2021-12-19 14:23:52 +0100 | <jumper149> | int-e: Understandable, I was hoping for some documentation. Maybe something in GHC manual? |
2021-12-19 14:24:33 +0100 | <jumper149> | I'm currently abusing DerivingVia quite a lot with monad transformers and was wondering about performance implications. |
2021-12-19 14:26:17 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 14:26:50 +0100 | <int-e> | I'm not sure where to look either. The story starts with type checking; as far as instantiations are visible to the type checker, they are also candidates for inlining... so things get better the more concrete the types are. But then you have the usual problem of predicting whether ghc will actually take the opportunity. |
2021-12-19 14:28:27 +0100 | <jumper149> | int-e: Uhh, I guess chances are kinda bad then :( |
2021-12-19 14:29:06 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-12-19 14:29:13 +0100 | <Athas> | When I try to use 'haskellPackagesNew.quickcheck-instances_0_3_27' in my .nix file, I get 'error: infinite recursion encountered' (naturally pointing at some internal file I have never even heard about before). I use this pattern to get new versions of many other obsolete Hackage packages in Nixpkgs. Is quickcheck-instances known to be particularly fragile for some reason? |
2021-12-19 14:29:25 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 14:29:39 +0100 | <int-e> | jumper149: the `via` part is cheap though; that's basically a coercion (actually one per class method) to wrap/unwrap a newtype |
2021-12-19 14:29:40 +0100 | <Athas> | This is how I do it for various other packages: https://github.com/diku-dk/futhark/blob/master/default.nix#L23-L42 |
2021-12-19 14:32:05 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2021-12-19 14:38:35 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) |
2021-12-19 14:40:57 +0100 | remedan_ | (~remedan@balak.me) (Quit: Bye!) |
2021-12-19 14:45:21 +0100 | <whatif> | how to change the function call behavior by every same call? same call, different result every time |
2021-12-19 14:45:48 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 14:48:31 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) |
2021-12-19 14:50:24 +0100 | <jumper149> | whatif: Do you want an impure function? |
2021-12-19 14:52:09 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) |
2021-12-19 14:52:17 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 14:52:22 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) (Client Quit) |
2021-12-19 14:52:38 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) |
2021-12-19 14:54:11 +0100 | <whatif> | jumper149: is possible? |
2021-12-19 14:54:22 +0100 | remedan | (~remedan@octo.cafe) |
2021-12-19 14:55:10 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) |
2021-12-19 14:55:12 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 14:55:44 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:1075:b21:7fd0:c974) (Client Quit) |
2021-12-19 14:55:54 +0100 | <jumper149> | whatif: No, but that's what monads are for ;) |
2021-12-19 14:56:35 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-12-19 14:56:54 +0100 | <whatif> | jumper149: see what this python with closure to archive, it change a function's behavior after every call, it can do a map with a changing function, https://paste.tomsmeding.com/GAVSCKAx |
2021-12-19 14:57:39 +0100 | <whatif> | of course, it can be done with an object way |
2021-12-19 14:57:55 +0100 | <jumper149> | Take the IO monad for example: f = do { x <- readFile "filename"; writeFile "filename" (x ++ "appended text"); return x } |
2021-12-19 14:57:58 +0100 | <whatif> | change the object's attribute after every object's method call |
2021-12-19 14:58:45 +0100 | <whatif> | so I wonder if we can do that with State or whatever else |
2021-12-19 14:59:56 +0100 | <jumper149> | whatif: Yes. That is possible to do with the `State` monad. |
2021-12-19 15:00:11 +0100 | <whatif> | jumper149: for example? |
2021-12-19 15:01:05 +0100 | <jumper149> | The type signature should be something like: `gc :: State Integer Integer` |
2021-12-19 15:03:29 +0100 | <jumper149> | And then to use that function: `evalState (traverse gc [1,2,3]) 0` |
2021-12-19 15:04:05 +0100 | <jumper149> | whatif: Read through this documentation: https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-State-Lazy.html |
2021-12-19 15:05:20 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving) |
2021-12-19 15:05:26 +0100 | <jumper149> | Oops, actually the type signature is: `gc :: Integer -> State Integer Integer` |
2021-12-19 15:06:21 +0100 | <whatif> | jumper149: could you paste the whole code? |
2021-12-19 15:06:35 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 15:07:03 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
2021-12-19 15:07:56 +0100 | notzmv | (~zmv@user/notzmv) |
2021-12-19 15:08:08 +0100 | <jumper149> | I left out the implementation of `gc` as an exercise ;) |
2021-12-19 15:08:29 +0100 | <jumper149> | Honestly, if you want to undestand how it works, you should really try to implement that yourself. |
2021-12-19 15:09:13 +0100 | <jumper149> | Everything you need will be available in `Control.Monad.State` from the mtl package. |
2021-12-19 15:09:37 +0100 | <whatif> | jumper149: but I don't think that's possible in haskell |
2021-12-19 15:10:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Ping timeout: 240 seconds) |
2021-12-19 15:10:43 +0100 | <whatif> | gc = gc _ _ |
2021-12-19 15:12:48 +0100 | <jumper149> | You don't need recursion here. Write `gc` exactly like `inner` from your python example. |
2021-12-19 15:14:15 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection) |
2021-12-19 15:14:31 +0100 | <whatif> | but that inner function take a outside variable, and change it |
2021-12-19 15:14:46 +0100 | <whatif> | how haskell can change a outside variable inside a function |
2021-12-19 15:15:01 +0100 | <jumper149> | Yes, did you see that I corrected myself: `gc :: Integer -> State Integer Integer` |
2021-12-19 15:15:38 +0100 | <jumper149> | Oh you mean the outside variable `n`... |
2021-12-19 15:15:45 +0100 | <whatif> | yes |
2021-12-19 15:15:47 +0100 | jkaye | (~jkaye@2601:281:8300:7530:48ee:b2a3:80ed:d885) |
2021-12-19 15:15:47 +0100 | <jumper149> | That is our state! |
2021-12-19 15:15:56 +0100 | ksqsf | (~ksqsf@134.209.106.31) |
2021-12-19 15:16:21 +0100 | <jumper149> | You can use `get` and `put` from https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-State-Lazy.html#t:StateT |
2021-12-19 15:16:40 +0100 | <jumper149> | That will allow you to read and change that state |
2021-12-19 15:16:45 +0100 | <ksqsf> | hi all. where is the code for deriving class instances located in ghc? |
2021-12-19 15:17:18 +0100 | <whatif> | jumper149: after the change, where you store it? |
2021-12-19 15:17:25 +0100 | zava | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
2021-12-19 15:17:29 +0100 | <whatif> | store the return value, the result |
2021-12-19 15:18:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-19 15:19:07 +0100 | <jumper149> | whatif: In the state again. That's what `put` is for. |
2021-12-19 15:19:44 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-12-19 15:20:00 +0100 | <whatif> | jumper149: you mean the put the whole code inside the one state? |
2021-12-19 15:20:28 +0100 | <jumper149> | That went over my head. |
2021-12-19 15:21:00 +0100 | <ksqsf> | ok, I found it: GHC.Tc.Deriv. |
2021-12-19 15:21:26 +0100 | <whatif> | jumper149: so I would like to see the full code... |
2021-12-19 15:21:34 +0100 | <jumper149> | You use `get` to read out the state. Then you use `put` to store your new state. Then you use `return` to give return the same value that you return in `inner`. |
2021-12-19 15:21:39 +0100 | <jumper149> | whatif: ok, sec |
2021-12-19 15:22:05 +0100 | xb0o2 | (~xb0o2@user/xb0o2) |
2021-12-19 15:22:51 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
2021-12-19 15:25:26 +0100 | <jumper149> | http://ix.io/3IQK |
2021-12-19 15:25:55 +0100 | ddb | (~ddb@ipv6two.tilde.club) (Ping timeout: 250 seconds) |
2021-12-19 15:28:55 +0100 | Heffalump[m] | (~hsenagmat@2001:470:69fc:105::e11) |
2021-12-19 15:38:35 +0100 | max22- | (~maxime@2a01cb0883359800a97032845f824a07.ipv6.abo.wanadoo.fr) |
2021-12-19 15:44:03 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2021-12-19 15:44:30 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-12-19 15:46:11 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-12-19 15:46:33 +0100 | <whatif> | jumper149: thanks :) |
2021-12-19 15:49:20 +0100 | <Heffalump[m]> | Is there a way to get ghc --make to print the compilation time of each file? |
2021-12-19 15:49:33 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-12-19 15:52:17 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) (Ping timeout: 240 seconds) |
2021-12-19 15:53:36 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection) |
2021-12-19 15:56:21 +0100 | ksqsf | (~ksqsf@134.209.106.31) (Quit: Leaving...) |
2021-12-19 15:56:49 +0100 | ksqsf | (~ksqsf@134.209.106.31) |
2021-12-19 15:57:53 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-12-19 15:58:05 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-12-19 15:58:17 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 16:01:46 +0100 | gdd | (~gdd@129.199.146.230) |
2021-12-19 16:04:35 +0100 | unyu | (~pyon@user/pyon) (Quit: WeeChat 3.3) |
2021-12-19 16:04:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 16:06:34 +0100 | unyu | (~pyon@user/pyon) |
2021-12-19 16:09:46 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 16:10:37 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-12-19 16:14:59 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3) |
2021-12-19 16:15:33 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-19 16:15:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2021-12-19 16:16:16 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 16:16:34 +0100 | Topsi1 | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) |
2021-12-19 16:17:28 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 16:17:28 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 16:17:28 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 16:18:37 +0100 | Topsi | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
2021-12-19 16:19:06 +0100 | SummerSonw | (~The_viole@203.77.49.232) |
2021-12-19 16:20:25 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-12-19 16:20:33 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-12-19 16:23:45 +0100 | Topsi | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) |
2021-12-19 16:24:15 +0100 | <Athas> | Why, after 'choco install -y ghc --version=8.10.7 --allow-downgrade', do I have ghc 9.2.1 installed? |
2021-12-19 16:24:17 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) |
2021-12-19 16:24:19 +0100 | <Athas> | I am so tired of computers. |
2021-12-19 16:26:44 +0100 | Topsi1 | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
2021-12-19 16:27:07 +0100 | <jumper149> | Athas: Multiple package managers? |
2021-12-19 16:27:46 +0100 | <Athas> | jumper149: unless the 'windows-2019' image provided by GA comes with a new version of GHC preinstalled, I don't think so. |
2021-12-19 16:28:19 +0100 | <jumper149> | Oh, no idea about windows, sry :( |
2021-12-19 16:28:50 +0100 | <Athas> | Yeah, me too. Maybe I should just stop pretending to support it. |
2021-12-19 16:30:22 +0100 | darchitect | (~darchitec@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) |
2021-12-19 16:30:41 +0100 | <darchitect> | hey guys, does anyone know how to quickly visualise folds in ghci ? |
2021-12-19 16:31:20 +0100 | <geekosaur> | ghc-vis? |
2021-12-19 16:31:34 +0100 | <darchitect> | what is that |
2021-12-19 16:31:36 +0100 | <darchitect> | never heard of it before |
2021-12-19 16:31:38 +0100 | <geekosaur> | depends on how you want them to be visualized |
2021-12-19 16:31:45 +0100 | <geekosaur> | @hackage ghc-vis |
2021-12-19 16:31:45 +0100 | <lambdabot> | https://hackage.haskell.org/package/ghc-vis |
2021-12-19 16:32:23 +0100 | <geekosaur> | I think there's also a website which visualizes folds, but that's not in ghci |
2021-12-19 16:32:35 +0100 | gensyst | (gensyst@user/gensyst) |
2021-12-19 16:32:42 +0100 | <darchitect> | wow thanks a bunch man |
2021-12-19 16:32:44 +0100 | <geekosaur> | there's also |
2021-12-19 16:32:45 +0100 | <darchitect> | will have a look at it |
2021-12-19 16:32:55 +0100 | <geekosaur> | > foldr f z [a,b,c] |
2021-12-19 16:32:57 +0100 | <lambdabot> | f a (f b (f c z)) |
2021-12-19 16:33:05 +0100 | <geekosaur> | courtesy of the simple-reflect package |
2021-12-19 16:33:05 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-12-19 16:34:37 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 16:34:39 +0100 | acidjnk | (~acidjnk@p200300d0c7271e774586c8f7f876c3d9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-12-19 16:34:59 +0100 | <darchitect> | ghc-viz looks sick |
2021-12-19 16:35:06 +0100 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
2021-12-19 16:35:44 +0100 | <darchitect> | I thought Haskell had a rather esoteric and stagnated eco-system but I stand corrected |
2021-12-19 16:35:46 +0100 | <darchitect> | thanks again |
2021-12-19 16:36:02 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-12-19 16:36:37 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Ping timeout: 240 seconds) |
2021-12-19 16:38:33 +0100 | u0_a184 | (~u0_a184@120.242.179.14) |
2021-12-19 16:38:38 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
2021-12-19 16:38:48 +0100 | <Athas> | It's old but I don't think it's esoteric by modern standards. And it's certainly not stagnant; it's changing faster than I've seen before. |
2021-12-19 16:39:02 +0100 | <dsp> | I have a beginner question: I have two maybe's and want to result of an "or" operation, e.g. Just a OP Nothing should return Just a, and vice versa, is ther a liberary function for that? |
2021-12-19 16:39:34 +0100 | <geekosaur> | > Just 5 <|> Nothing |
2021-12-19 16:39:36 +0100 | <lambdabot> | Just 5 |
2021-12-19 16:39:43 +0100 | <geekosaur> | > Nothing <|> Just 5 |
2021-12-19 16:39:45 +0100 | <lambdabot> | Just 5 |
2021-12-19 16:40:03 +0100 | <geekosaur> | if you want a generalization to multiple values, it's `asum` |
2021-12-19 16:40:23 +0100 | <dsp> | thank you. Hm, variable <|> not in scope, let me see waht i need to import to get it |
2021-12-19 16:40:43 +0100 | <geekosaur> | Control.Applicative probably |
2021-12-19 16:41:05 +0100 | <dsp> | very much so, thank you geekosaur! |
2021-12-19 16:44:50 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:eec8:750b:6133:d894) (Ping timeout: 260 seconds) |
2021-12-19 16:45:38 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:f325:fa80:d018:3e1f) |
2021-12-19 16:46:11 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 245 seconds) |
2021-12-19 16:47:57 +0100 | u0_a184 | (~u0_a184@120.242.179.14) (Quit: WeeChat 3.0.1) |
2021-12-19 16:48:27 +0100 | KnifeFire | (~Knifefire@120.242.179.14) |
2021-12-19 16:48:38 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
2021-12-19 16:49:39 +0100 | leah2 | (~leah@vuxu.org) (Remote host closed the connection) |
2021-12-19 16:50:03 +0100 | KnifeFire | (~Knifefire@120.242.179.14) (Client Quit) |
2021-12-19 16:51:55 +0100 | leah2 | (~leah@vuxu.org) |
2021-12-19 16:53:28 +0100 | dsrt^ | (~dsrt@64.253.22.77) (Remote host closed the connection) |
2021-12-19 16:54:12 +0100 | slack1256 | (~slack1256@191.126.99.78) |
2021-12-19 16:58:57 +0100 | jkaye | (~jkaye@2601:281:8300:7530:48ee:b2a3:80ed:d885) (Ping timeout: 240 seconds) |
2021-12-19 16:59:34 +0100 | averell | (~averell@user/averell) |
2021-12-19 17:03:21 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 17:06:11 +0100 | ksqsf | (~ksqsf@134.209.106.31) (Remote host closed the connection) |
2021-12-19 17:07:14 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-12-19 17:07:37 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 17:07:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
2021-12-19 17:08:04 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 17:12:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Ping timeout: 240 seconds) |
2021-12-19 17:13:02 +0100 | ksqsf | (~ksqsf@134.209.106.31) |
2021-12-19 17:14:02 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:f325:fa80:d018:3e1f) (Ping timeout: 240 seconds) |
2021-12-19 17:14:49 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:624c:90f8:cb96:14ab) |
2021-12-19 17:16:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 17:19:42 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
2021-12-19 17:19:49 +0100 | ksqsf | (~ksqsf@134.209.106.31) (Quit: Leaving...) |
2021-12-19 17:20:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 268 seconds) |
2021-12-19 17:20:40 +0100 | ksqsf | (~user@134.209.106.31) |
2021-12-19 17:22:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-12-19 17:24:45 +0100 | sndr | (~sander@user/sander) |
2021-12-19 17:25:23 +0100 | sander | (~sander@user/sander) (Ping timeout: 252 seconds) |
2021-12-19 17:25:29 +0100 | sndr | sander |
2021-12-19 17:26:45 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54f844-160.dhcp.inet.fi) |
2021-12-19 17:28:57 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:624c:90f8:cb96:14ab) (Ping timeout: 240 seconds) |
2021-12-19 17:30:00 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:e615:4a02:5110:222) |
2021-12-19 17:30:56 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 17:34:01 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:11e0:2623:c59:6cb7) |
2021-12-19 17:34:39 +0100 | son0p- | (~ff@181.136.122.143) |
2021-12-19 17:36:19 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 17:36:53 +0100 | <gensyst> | I "open my project (library and executable)" with GHCi using this command: "cabal repl exe:projectname-exe". Then I call "import Some.Module.Inside.Library" and now I have access to it. |
2021-12-19 17:37:26 +0100 | <gensyst> | However this library module is not listed when I call ":show modules". Why not? I want to double-check that the library module is not interpreted. |
2021-12-19 17:37:34 +0100 | <gensyst> | I want to make sure it's using compiled .o |
2021-12-19 17:39:55 +0100 | whatif | (~user@114.250.136.140) (Quit: ERC (IRC client for Emacs 26.3)) |
2021-12-19 17:40:35 +0100 | <gensyst> | Let me put it this way: In GHCi, how do I check if a particular thing is coming from interpreted code or compiled code? |
2021-12-19 17:41:05 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) |
2021-12-19 17:46:23 +0100 | <slack1256> | gensyst: The only interpreted code on your ghci session should be what you implicit pass an argument to `cabal v2-repl` AFAIK. |
2021-12-19 17:47:10 +0100 | <slack1256> | If in my project I run `cabal v2-run lib:my-project` only that target (plus its dependencies on cabal.project) will get interpreted. |
2021-12-19 17:47:21 +0100 | <slack1256> | I don't know how to do that inside of a ghci session. |
2021-12-19 17:48:23 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 17:48:26 +0100 | <slack1256> | gensyst: I got. `:show linker` inside ghci! |
2021-12-19 17:48:55 +0100 | <slack1256> | It will show pkgs vs loaded objects. |
2021-12-19 17:49:25 +0100 | TranquilEcho | (~grom@user/tranquilecho) |
2021-12-19 17:49:50 +0100 | <pfurla-matrix> | `:show modules` shows that is interpreted or compiled |
2021-12-19 17:49:57 +0100 | <gensyst> | slack1256, when running ":show linker", the project's own library is listed in Pkgs, but both Objs and BCOs are empty. |
2021-12-19 17:49:58 +0100 | <pfurla-matrix> | that = what |
2021-12-19 17:50:34 +0100 | <gensyst> | pfurla-matrix, yes but apparently that's only for what you explicitly pass into cabal repl (as slack1256 said) |
2021-12-19 17:50:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-19 17:50:44 +0100 | <pfurla-matrix> | what is BCOs? |
2021-12-19 17:51:31 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-12-19 17:52:15 +0100 | <gensyst> | no idea |
2021-12-19 17:52:42 +0100 | zava | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.3) |
2021-12-19 17:53:26 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 252 seconds) |
2021-12-19 17:54:13 +0100 | <pfurla-matrix> | "Byte Code Objects (BCOs). BCOs are heap objects which correspond to top-level bindings, and let and case expressions" from https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/GHCi |
2021-12-19 17:56:53 +0100 | coot | (~coot@2a02:a310:e03f:8500:7248:52ac:817b:7fb4) |
2021-12-19 17:57:04 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 17:58:22 +0100 | <gensyst> | Can I go by this rule? Rule: (1) If it's listed as "interpreted" in ":show modules", it's interpreted. (2) If it's listed as ".o" in ":show modules", it's compiled. (3) If it isn't listed at all in ":show modules", it's also compiled. |
2021-12-19 17:58:56 +0100 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Read error: Connection reset by peer) |
2021-12-19 17:59:58 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
2021-12-19 18:04:52 +0100 | euouae | (~euouae@user/euouae) |
2021-12-19 18:07:26 +0100 | <euouae> | Hello how would you write `append :: [a] -> [a] -> [a]` for which `append xs ys` is just `xs ++ ys`? One solution seems to be to recurse like `x :: append xs ys` and another is by using a tail-call optimized reverse-append. The second option requires traversing the list twice but doesn't require O(n) in stack. Is that betteR? |
2021-12-19 18:08:54 +0100 | <gensyst> | euouae, beautiful nickname.. thought i wa sreading greek at first. am i dyslexic? |
2021-12-19 18:09:49 +0100 | <monochrom> | You can write "append xs ys = xs ++ ys" literally. |
2021-12-19 18:10:11 +0100 | <euouae> | gensyst, no but you may be an oracular |
2021-12-19 18:10:18 +0100 | <pfurla-matrix> | it's aenone if rotated 180o, isn't it? |
2021-12-19 18:10:21 +0100 | <monochrom> | If you mean you want to write your own recursive algorithm, tail recursion is bad for this. |
2021-12-19 18:10:33 +0100 | <euouae> | monochrom yes I'm asking about writing my own algorithm |
2021-12-19 18:11:13 +0100 | <monochrom> | This is a test case you want to pass: |
2021-12-19 18:11:27 +0100 | <monochrom> | > take 1 ("x" ++ undefined) |
2021-12-19 18:11:29 +0100 | <lambdabot> | "x" |
2021-12-19 18:11:43 +0100 | <monochrom> | The standard tail-recursive algorithm will fail that. |
2021-12-19 18:11:43 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-19 18:11:48 +0100 | koz | (~koz@121.99.240.58) |
2021-12-19 18:12:07 +0100 | <euouae> | hmm I didn't realize monochrom, I should've added that I wish the algorithm to be strict |
2021-12-19 18:12:45 +0100 | <euouae> | I don't know what the 'standard' algorithm is; I do know how to have a function f xs ys == (reverse xs) ++ ys |
2021-12-19 18:12:53 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) |
2021-12-19 18:13:48 +0100 | <euouae> | which has the tail-call optimization. So I could do `f (f xs []) ys` as my `append xs ys`, that's what I had in mind. |
2021-12-19 18:14:22 +0100 | xb0o2 | (~xb0o2@user/xb0o2) (Quit: Client closed) |
2021-12-19 18:14:24 +0100 | <euouae> | Which traverses xs twice, but it seems a better option than using O(n) of the stack? I'm just wondering if these are correct considerations and if there's anything better |
2021-12-19 18:16:23 +0100 | <monochrom> | Are you saying that using the standard library's ++, x++y uses linear space for finite strings? Therefore uses infinite space for infinite strings? |
2021-12-19 18:16:56 +0100 | <monochrom> | Because take 1 (repeat 'x' ++ repeat 'y') takes only constant time, therefore no way it can use infinite space or even linear space. |
2021-12-19 18:17:05 +0100 | <monochrom> | > take 1 (repeat 'x' ++ repeat 'y') |
2021-12-19 18:17:07 +0100 | <lambdabot> | "x" |
2021-12-19 18:17:30 +0100 | <monochrom> | This destroys your model of how recursion uses space. |
2021-12-19 18:17:34 +0100 | <euouae> | No I'm saying that the implementation for `append` I wrote above seems to use linear space if strict |
2021-12-19 18:17:50 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-12-19 18:17:50 +0100 | <monochrom> | OK, so this is not Haskell? |
2021-12-19 18:17:53 +0100 | <euouae> | append (x::xs) ys = x :: (append xs ys) |
2021-12-19 18:19:30 +0100 | <euouae> | I'm trying to understand how that translates into machine code but unfortunately I'm not good enough to know how to compile it and disassemble it with gdb |
2021-12-19 18:21:46 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-19 18:21:48 +0100 | <pfurla-matrix> | `::` is not haskell cons |
2021-12-19 18:22:05 +0100 | <euouae> | oh I meant `:` you are right |
2021-12-19 18:23:45 +0100 | <monochrom> | OK so this is Haskell. |
2021-12-19 18:24:18 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-19 18:24:25 +0100 | thevishy | (~Nishant@2405:201:f005:c007:851a:8f84:501c:8bd1) (Quit: Leaving) |
2021-12-19 18:24:29 +0100 | koz | (~koz@121.99.240.58) (Quit: koz) |
2021-12-19 18:25:09 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 18:25:19 +0100 | <monochrom> | "append (x::xs) ys = x : (append xs ys)" is non-strict in xs and in ys. |
2021-12-19 18:26:12 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Remote host closed the connection) |
2021-12-19 18:26:21 +0100 | <pfurla-matrix> | if you really want to see things with gdb you should have a look at https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/debug-info.html if you haven't already. |
2021-12-19 18:26:27 +0100 | <monochrom> | and in the recursive term (append xs ys) |
2021-12-19 18:27:07 +0100 | <pfurla-matrix> | but it might be more useful to learn how haskell lazyness works instead of going all the way down to asm |
2021-12-19 18:27:37 +0100 | <monochrom> | https://github.com/takenobu-hs/haskell-ghc-illustrated is a good presentation of the low level story. |
2021-12-19 18:28:36 +0100 | <monochrom> | But yeah most of the time, or most people, do not need that low level. (And not ready for it anyway.) |
2021-12-19 18:29:23 +0100 | <pfurla-matrix> | tagless g-machine :) |
2021-12-19 18:29:58 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
2021-12-19 18:30:13 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 18:35:21 +0100 | <euouae> | I guess I'm just trying to understand if append (x:xs) = x : (append xs ys) uses O(n) of the stack |
2021-12-19 18:35:26 +0100 | <euouae> | where n is the length of xs |
2021-12-19 18:36:39 +0100 | KnifeFire | (~Knifefire@120.242.179.14) |
2021-12-19 18:37:00 +0100 | <euouae> | both the pdf you linked to and the debug-info link on gdb seem too advanced, but on a rudimentary level I wonder if I can get an answer to the above or is that also a big story? |
2021-12-19 18:37:01 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:e615:4a02:5110:222) (Ping timeout: 245 seconds) |
2021-12-19 18:38:10 +0100 | xff0x | (~xff0x@2001:1a81:53d2:9000:941d:3a25:9fc5:6e77) |
2021-12-19 18:38:26 +0100 | <euouae> | or even easier to ask, can haskell code overflow the stack? |
2021-12-19 18:38:32 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 18:38:32 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 18:38:32 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 18:38:43 +0100 | KnifeFire | (~Knifefire@120.242.179.14) (Client Quit) |
2021-12-19 18:38:59 +0100 | <pfurla-matrix> | lol, just found this https://stackoverflow.com/questions/43265198/do-stack-overflow-errors-occur-in-haskell, didn't read it, no idea if it's useful |
2021-12-19 18:39:05 +0100 | <ksqsf> | euouae: haskell does not actually use system stacks for user functions iiuc |
2021-12-19 18:39:54 +0100 | <ksqsf> | thread (haskell's green threads) stacks are heap objects |
2021-12-19 18:40:09 +0100 | <euouae> | ksqsf that is starting to make sense... |
2021-12-19 18:40:25 +0100 | <darchitect> | doesn't haskell use the stack at all ? |
2021-12-19 18:41:23 +0100 | Topsi | (~Tobias@dyndsl-095-033-094-113.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
2021-12-19 18:42:44 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-19 18:43:22 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
2021-12-19 18:48:04 +0100 | coot | (~coot@2a02:a310:e03f:8500:7248:52ac:817b:7fb4) (Quit: coot) |
2021-12-19 18:48:20 +0100 | <euouae> | okay, great. thank you for the answers |
2021-12-19 18:49:00 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 18:49:00 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 18:49:00 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 18:52:06 +0100 | euouae | (~euouae@user/euouae) (Quit: ) |
2021-12-19 18:53:22 +0100 | <pfurla-matrix> | > foldl (+) 0 [1..10**8] |
2021-12-19 18:53:31 +0100 | <lambdabot> | mueval.real: ExitFailure 1 |
2021-12-19 18:54:00 +0100 | <pfurla-matrix> | in my local ghci I get a stack overflow |
2021-12-19 18:54:29 +0100 | <pfurla-matrix> | * > foldl' (+) |
2021-12-19 18:54:38 +0100 | son0p- | (~ff@181.136.122.143) (Ping timeout: 256 seconds) |
2021-12-19 18:54:47 +0100 | <pfurla-matrix> | > foldl' (+) 0 [1..10**8] |
2021-12-19 18:54:53 +0100 | <lambdabot> | 5.00000005e15 |
2021-12-19 18:55:18 +0100 | <darchitect> | stackoverflow here as well |
2021-12-19 18:55:21 +0100 | <geekosaur> | haskell doesn't have a traditional stack. there is a pattern match stack which is part of how lazy evaluation occurs |
2021-12-19 18:56:33 +0100 | <geekosaur> | > foldl f z [a,b,c] |
2021-12-19 18:56:34 +0100 | <lambdabot> | f (f (f z a) b) c |
2021-12-19 18:59:04 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2021-12-19 18:59:15 +0100 | <monochrom> | There is still a difference between "how much stack does this code use?" and "so this code uses linear stack, my question is..." |
2021-12-19 18:59:37 +0100 | <monochrom> | Especially when the premise "so this code uses linear stack" is wrong. |
2021-12-19 18:59:55 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
2021-12-19 18:59:57 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 19:00:02 +0100 | <pfurla-matrix> | what is f, z, a, b, and c ? |
2021-12-19 19:00:20 +0100 | <hpc> | they're placeholder values that pretty-print as "f", "z", etc etc |
2021-12-19 19:00:23 +0100 | <geekosaur> | that was for something I was going to do and changed my mind, sorry |
2021-12-19 19:00:26 +0100 | <geekosaur> | look at |
2021-12-19 19:00:33 +0100 | <geekosaur> | @hackage simple-reflect |
2021-12-19 19:00:33 +0100 | <lambdabot> | https://hackage.haskell.org/package/simple-reflect |
2021-12-19 19:00:39 +0100 | <hpc> | in a way that looks like how their combination as an expression would look |
2021-12-19 19:00:44 +0100 | <pfurla-matrix> | hpc that's pretty cool |
2021-12-19 19:00:44 +0100 | <geekosaur> | it's a pretty clever package |
2021-12-19 19:01:01 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2021-12-19 19:01:32 +0100 | <monochrom> | For maximum confusion: |
2021-12-19 19:01:41 +0100 | <monochrom> | > foldl f z [e, f] |
2021-12-19 19:01:42 +0100 | <lambdabot> | f (f z e) f |
2021-12-19 19:01:42 +0100 | <pfurla-matrix> | I was using simple-reflect the other day, couldn't make it work with global stack, ditched stack for cabal... and finally completely for what I wanted from simple-reflect |
2021-12-19 19:01:43 +0100 | <APic> | Gesundheit. |
2021-12-19 19:02:35 +0100 | <hpc> | > (f 5, f (2 + 3)) -- it gets even more cleverer :D |
2021-12-19 19:02:36 +0100 | <lambdabot> | error: |
2021-12-19 19:02:36 +0100 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M404042824880... |
2021-12-19 19:02:36 +0100 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
2021-12-19 19:02:38 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
2021-12-19 19:02:54 +0100 | <hpc> | cleverer than ghc :( |
2021-12-19 19:03:06 +0100 | <hpc> | with enough type signatures that prints "(f 5, f 5)" |
2021-12-19 19:04:30 +0100 | <pfurla-matrix> | > :t f |
2021-12-19 19:04:32 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
2021-12-19 19:04:45 +0100 | <monochrom> | > (f 5, f (2 + 3)) :: (Expr, Expr) |
2021-12-19 19:04:46 +0100 | <lambdabot> | (f 5,f 5) |
2021-12-19 19:05:08 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 268 seconds) |
2021-12-19 19:05:31 +0100 | <pfurla-matrix> | > (f 5, f ( (lift 2) + 3)) :: (Expr, Expr) |
2021-12-19 19:05:33 +0100 | <lambdabot> | error: |
2021-12-19 19:05:33 +0100 | <lambdabot> | • Ambiguous type variables ‘t0’, ‘m0’, |
2021-12-19 19:05:33 +0100 | <lambdabot> | ‘a0’ arising from a use of ‘f’ |
2021-12-19 19:05:42 +0100 | <monochrom> | You will have to say ":t f" or "@type f", in both cases no "> " |
2021-12-19 19:05:56 +0100 | <pfurla-matrix> | :t f |
2021-12-19 19:05:58 +0100 | <lambdabot> | FromExpr a => a |
2021-12-19 19:06:17 +0100 | <pfurla-matrix> | thanks, forgot how to use lambdabot |
2021-12-19 19:07:25 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 19:09:52 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 19:09:59 +0100 | <darchitect> | what is lambdabot ? |
2021-12-19 19:10:17 +0100 | <geekosaur> | @version |
2021-12-19 19:10:18 +0100 | <lambdabot> | lambdabot 5.3.0.1 |
2021-12-19 19:10:18 +0100 | <lambdabot> | git clone https://github.com/lambdabot/lambdabot |
2021-12-19 19:10:34 +0100 | <pfurla-matrix> | > "I am lambdabot, nice to meet'ya" |
2021-12-19 19:10:36 +0100 | <lambdabot> | "I am lambdabot, nice to meet'ya" |
2021-12-19 19:12:02 +0100 | <darchitect> | sick |
2021-12-19 19:14:05 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
2021-12-19 19:18:12 +0100 | <hpc> | % "yahb is also pretty neat" |
2021-12-19 19:18:12 +0100 | <yahb> | hpc: "yahb is also pretty neat" |
2021-12-19 19:18:46 +0100 | <hpc> | (yahb gives you a full ghci session, IO and all, but doesn't have other neat stuff like djinn) |
2021-12-19 19:19:17 +0100 | <geekosaur> | lambdabot is based around mueval, which is an internal sandboxing mechanism. yahb is ghci running in an external sandbox |
2021-12-19 19:21:50 +0100 | <zero> | is it possible to do a bfs as elegantly as this dfs? https://paste.jrvieira.com/1639938024209 |
2021-12-19 19:22:41 +0100 | <monochrom> | You need a queue. Or you need iterative deepening. |
2021-12-19 19:23:11 +0100 | <zero> | what do you mean by iterative deepening? |
2021-12-19 19:23:11 +0100 | econo | (uid147250@user/econo) |
2021-12-19 19:23:17 +0100 | <monochrom> | Iterative deepening code can look pretty close to dfs. |
2021-12-19 19:23:23 +0100 | <monochrom> | Look it up. |
2021-12-19 19:24:23 +0100 | <zero> | reading. thanks |
2021-12-19 19:24:33 +0100 | <pfurla-matrix> | hpc: can't find much about yahb |
2021-12-19 19:31:28 +0100 | <gensyst> | Are these rules for GHCi accurate? (1) If it's listed as "interpreted" in ":show modules", it's interpreted. (2) If it's listed as ".o" in ":show modules", it's compiled. (3) If it isn't listed at all in ":show modules", it's compiled. |
2021-12-19 19:31:58 +0100 | <monochrom> | Yes. |
2021-12-19 19:32:20 +0100 | <monochrom> | (3) can be strengthened to: from a library. |
2021-12-19 19:32:28 +0100 | <gensyst> | monochrom, Is there a way to figure out the optimization level from that level, or do I basically have to look at the .cabal file of each compiled package? |
2021-12-19 19:32:46 +0100 | <monochrom> | That information is lost. |
2021-12-19 19:32:55 +0100 | <gensyst> | thanks! |
2021-12-19 19:33:06 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-12-19 19:33:22 +0100 | <enyc> | DATE |
2021-12-19 19:33:24 +0100 | <enyc> | oops |
2021-12-19 19:33:39 +0100 | <gensyst> | <monochrom> (3) can be strengthened to: from a library. Do you mean, "compiled from a library"? |
2021-12-19 19:33:49 +0100 | <monochrom> | yes |
2021-12-19 19:33:53 +0100 | <gensyst> | thanks! |
2021-12-19 19:34:08 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 19:34:08 +0100 | earendel | (uid498179@user/earendel) (Quit: Connection closed for inactivity) |
2021-12-19 19:36:13 +0100 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 240 seconds) |
2021-12-19 19:36:22 +0100 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
2021-12-19 19:37:32 +0100 | Jing_ | (~hedgehog@2604:a840:3::103b) |
2021-12-19 19:37:34 +0100 | sleblanc | (~sleblanc@user/sleblanc) (Quit: Leaving) |
2021-12-19 19:38:33 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-12-19 19:38:57 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 19:39:57 +0100 | Jing | (~hedgehog@2604:a840:3::103e) (Ping timeout: 240 seconds) |
2021-12-19 19:39:59 +0100 | wolfshappen | (~waff@irc.furworks.de) |
2021-12-19 19:40:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
2021-12-19 19:42:52 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:11e0:2623:c59:6cb7) (Quit: gone to sleep. ZZZzzz…) |
2021-12-19 19:43:39 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2021-12-19 19:44:09 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:44:10 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:44:17 +0100 | sleblanc | (~sleblanc@user/sleblanc) |
2021-12-19 19:44:39 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:44:39 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:44:45 +0100 | <Noinia> | is anyone successfully using HLS in a multi-cabal-project setup? I'm getting some strange error stating that it cannot parse the output form cabal (since cabal suposedly crashed; see https://controlc.com/778b78ab). Everything just builds fine when I run 'cabal build' on commandline. |
2021-12-19 19:46:04 +0100 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
2021-12-19 19:46:30 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:46:30 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:46:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 19:47:05 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:47:07 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:47:25 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) |
2021-12-19 19:48:00 +0100 | <gensyst> | Noinia, shouldn't one be putting a .hie file or something to tell it where all the projects are? |
2021-12-19 19:48:05 +0100 | <gensyst> | otherwise it can get confused |
2021-12-19 19:48:10 +0100 | <gensyst> | however this info may be obsolete by now |
2021-12-19 19:48:16 +0100 | <gensyst> | sorry, i meant hie.yaml |
2021-12-19 19:48:51 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:48:52 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:49:53 +0100 | <Noinia> | I thought that was suposed to be obsolete by now indeed. I guess I can try actually generating one manually again. |
2021-12-19 19:50:34 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:50:35 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:50:44 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 256 seconds) |
2021-12-19 19:51:17 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
2021-12-19 19:51:51 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:51:52 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:51:58 +0100 | <jijimofo> | hi. i'm confused by stack's behavior. when i don't specify 'src' in my executables 'source-dirs:' i get an error about how it can't find BasicSDLLib.hs. when i do put 'src' in the 'source-dirs' it says 'specified source-dir "app src" doesn't exist'. can someone help me understand what i'm doing wrong? |
2021-12-19 19:52:15 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:52:16 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:52:48 +0100 | <tomsmeding> | perhaps 'app, src'? |
2021-12-19 19:53:31 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 19:54:10 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:54:11 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:54:47 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-12-19 19:55:03 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:55:03 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:55:17 +0100 | <jijimofo> | tomsmeding: i get 'specified source-dir "app, src" does not exist' |
2021-12-19 19:55:53 +0100 | <tomsmeding> | is this in stack.yaml or a .cabal file? |
2021-12-19 19:56:27 +0100 | <jijimofo> | in stack.yaml. i usually use cabal but i decided to give stack a try |
2021-12-19 19:56:42 +0100 | <geekosaur> | keep in mind that stack still uses cabal files |
2021-12-19 19:57:05 +0100 | <geekosaur> | the cabal equivalent of stack.yaml is cabal.project, not <projectname>.cabal |
2021-12-19 19:57:41 +0100 | <jijimofo> | weirdly when i specify the source-dir field wrong the code gets compiled |
2021-12-19 19:57:43 +0100 | <tomsmeding> | can't find anything about "source-dirs" in the stack documentation; where did you get that key from? |
2021-12-19 19:58:10 +0100 | <jijimofo> | i used 'stack new' i think |
2021-12-19 19:59:06 +0100 | tomsmeding | used 'stack new' and 'source-dir' doesn't occur in the generated stack.yaml file |
2021-12-19 19:59:19 +0100 | <tomsmeding> | OH package.yaml |
2021-12-19 19:59:29 +0100 | <tomsmeding> | there's a huge difference between package.yaml and stack.yaml jijimofo |
2021-12-19 19:59:32 +0100 | python476 | (~user@88.160.31.174) (Read error: Connection reset by peer) |
2021-12-19 19:59:34 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:59:34 +0100 | <geekosaur> | mm, right, still does that |
2021-12-19 19:59:34 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 19:59:57 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 19:59:59 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:01:23 +0100 | <tomsmeding> | it's a yaml file, so perhaps 'source-dirs: [app, src]' |
2021-12-19 20:01:26 +0100 | <tomsmeding> | jijimofo: ^ |
2021-12-19 20:01:36 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Remote host closed the connection) |
2021-12-19 20:01:38 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:01:39 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:01:43 +0100 | <tomsmeding> | or, source-dirs:\n- app\n- src |
2021-12-19 20:01:54 +0100 | python476 | (~user@88.160.31.174) |
2021-12-19 20:02:18 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:02:19 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:02:40 +0100 | <jijimofo> | ok i will try a new blank project and copy my sources over. i tried the 'stack new' command again and i don't remember seeing the stuff about templates so i mustve used 'stack init' or something |
2021-12-19 20:03:30 +0100 | <jijimofo> | tomsmeding: that's the syntax, thank you. i guess i need to go slower when reading docs |
2021-12-19 20:03:37 +0100 | <tomsmeding> | docs don't mention this |
2021-12-19 20:03:48 +0100 | <tomsmeding> | they assume you somehow know yaml syntax by heart |
2021-12-19 20:03:51 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:03:52 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:03:59 +0100 | <tomsmeding> | yaml has a native concept of lists, and they reuse that here |
2021-12-19 20:04:15 +0100 | <tomsmeding> | s/native/built-in/ |
2021-12-19 20:05:15 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:05:16 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:05:26 +0100 | max22- | (~maxime@2a01cb0883359800a97032845f824a07.ipv6.abo.wanadoo.fr) (Ping timeout: 252 seconds) |
2021-12-19 20:05:28 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-19 20:05:36 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:05:37 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:06:36 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 256 seconds) |
2021-12-19 20:07:33 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
2021-12-19 20:08:31 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 20:09:46 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:09:47 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:12:16 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 20:12:40 +0100 | coot | (~coot@2a02:a310:e03f:8500:7248:52ac:817b:7fb4) |
2021-12-19 20:13:01 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 240 seconds) |
2021-12-19 20:14:40 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:14:41 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:14:45 +0100 | Guest3076 | (~Guest30@66.115.252.46) |
2021-12-19 20:14:46 +0100 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
2021-12-19 20:16:42 +0100 | ksqsf | (~user@134.209.106.31) |
2021-12-19 20:17:16 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-12-19 20:18:13 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:18:13 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:18:33 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:18:33 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:20:27 +0100 | Akiva | (~Akiva@user/Akiva) |
2021-12-19 20:20:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-19 20:21:37 +0100 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-12-19 20:25:14 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:25:15 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:25:34 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:25:35 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:26:27 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
2021-12-19 20:27:11 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 20:27:54 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-12-19 20:28:52 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
2021-12-19 20:30:15 +0100 | ksqsf | (~user@134.209.106.31) (Remote host closed the connection) |
2021-12-19 20:31:29 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
2021-12-19 20:32:23 +0100 | justSleigh | (~justache@user/justache) (Remote host closed the connection) |
2021-12-19 20:36:26 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:36:27 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:37:29 +0100 | Guest9348 | (~mike@2406:d500:6:1:216:3cff:fe36:651) (Ping timeout: 250 seconds) |
2021-12-19 20:40:24 +0100 | max22- | (~maxime@2a01cb08833598001a2c7d9873db9006.ipv6.abo.wanadoo.fr) |
2021-12-19 20:42:27 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 20:44:33 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
2021-12-19 20:46:38 +0100 | justSleigh | (~justache@user/justache) |
2021-12-19 20:46:55 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
2021-12-19 20:49:26 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
2021-12-19 20:50:47 +0100 | xkuru | (~xkuru@user/xkuru) |
2021-12-19 20:51:07 +0100 | Guest9348 | (~mike@user/feetwind) |
2021-12-19 20:51:09 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Remote host closed the connection) |
2021-12-19 20:51:12 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-12-19 20:51:17 +0100 | falafel | (~falafel@2603-8000-d800-688c-90d6-5589-2ed3-af73.res6.spectrum.com) (Ping timeout: 240 seconds) |
2021-12-19 20:51:59 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
2021-12-19 20:52:35 +0100 | img | (~img@user/img) |
2021-12-19 20:55:36 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 20:55:37 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 20:56:07 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 268 seconds) |
2021-12-19 20:56:49 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 20:57:32 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2021-12-19 20:58:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 20:58:15 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
2021-12-19 21:00:03 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:d8a9:a97b:f226:606f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-19 21:01:40 +0100 | jkaye | (~jkaye@2601:281:8300:7530:76ff:6d0a:27ec:c880) |
2021-12-19 21:03:18 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Remote host closed the connection) |
2021-12-19 21:03:23 +0100 | coot | (~coot@2a02:a310:e03f:8500:7248:52ac:817b:7fb4) (Quit: coot) |
2021-12-19 21:04:57 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 240 seconds) |
2021-12-19 21:07:42 +0100 | juhp | (~juhp@128.106.188.82) |
2021-12-19 21:08:20 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 21:08:21 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 21:09:07 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2021-12-19 21:13:17 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2021-12-19 21:13:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2021-12-19 21:17:15 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 21:29:15 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 21:31:09 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
2021-12-19 21:35:00 +0100 | slack1256 | (~slack1256@191.126.99.78) (Ping timeout: 256 seconds) |
2021-12-19 21:36:45 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) |
2021-12-19 21:38:03 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-19 21:39:28 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
2021-12-19 21:40:11 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
2021-12-19 21:40:35 +0100 | Pickchea | (~private@user/pickchea) |
2021-12-19 21:43:33 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 21:44:33 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
2021-12-19 21:44:56 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) |
2021-12-19 21:47:47 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 21:48:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 21:49:27 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
2021-12-19 21:49:49 +0100 | <jijimofo> | argh, stack is so confusing. added my dependencies to package.yaml but says stack configuration has no version. suggested i add the dependencies to extra-deps. i did. now it's saying it can't find modules. i |
2021-12-19 21:50:04 +0100 | <jijimofo> | 'm so perplexed. i don't understand what it wants from me |
2021-12-19 21:51:29 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2021-12-19 21:51:44 +0100 | <geekosaur> | did you specify a resolver in stack.yaml? |
2021-12-19 21:52:31 +0100 | Guest70 | (~Guest70@75.76.54.207) |
2021-12-19 21:52:35 +0100 | <geekosaur> | I'm no stack expert but I know stack is all about the resolver and you'll get pretty much nowhere without one |
2021-12-19 21:53:58 +0100 | <jijimofo> | there's one specified for a site called githubusercontent. i'll try a different one, see if its helps. also going to research what the stack configuration is |
2021-12-19 21:54:18 +0100 | Guest70 | (~Guest70@75.76.54.207) (Client Quit) |
2021-12-19 21:54:23 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-12-19 21:54:56 +0100 | pfurla | (~pfurla@2804:d41:4331:4800:11e0:2623:c59:6cb7) |
2021-12-19 21:54:58 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-12-19 21:55:07 +0100 | jonathanx | (~jonathan@c-5eea3547-74736162.cust.telenor.se) |
2021-12-19 21:55:35 +0100 | <tomsmeding> | jijimofo: stack.yaml should have something like "resolver: lts-18.18" |
2021-12-19 21:56:34 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 21:56:35 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 21:58:10 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 21:58:11 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 21:59:12 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: closed) |
2021-12-19 21:59:19 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 21:59:59 +0100 | acidjnk | (~acidjnk@pd9e0bdc0.dip0.t-ipconnect.de) |
2021-12-19 22:00:00 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 22:00:00 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 22:00:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 22:00:28 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 22:00:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 22:00:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 22:00:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 22:01:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 22:01:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 22:01:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 22:01:44 +0100 | <jkaye> | Did you generate your stack configuration using one of their tools or are you trying to write it by hand for some reason? Did you also read about what stack is and how it works? |
2021-12-19 22:01:44 +0100 | lavaman | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
2021-12-19 22:01:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 22:02:06 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 22:02:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 22:02:29 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 22:02:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-19 22:02:51 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-19 22:02:59 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 22:03:00 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 22:03:42 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) |
2021-12-19 22:03:54 +0100 | jonathanx | (~jonathan@c-5eea3547-74736162.cust.telenor.se) (Ping timeout: 256 seconds) |
2021-12-19 22:03:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-12-19 22:04:11 +0100 | falafel | (~falafel@2603-8000-d800-688c-f998-9914-c722-4c43.res6.spectrum.com) |
2021-12-19 22:07:10 +0100 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
2021-12-19 22:07:47 +0100 | joe_colben | (~joe____co@185.190.112.211) |
2021-12-19 22:07:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7cf1:85e9:3000:4f4d) (Ping timeout: 240 seconds) |
2021-12-19 22:08:17 +0100 | falafel | (~falafel@2603-8000-d800-688c-f998-9914-c722-4c43.res6.spectrum.com) (Ping timeout: 240 seconds) |
2021-12-19 22:09:07 +0100 | joe_colben | (~joe____co@185.190.112.211) () |
2021-12-19 22:10:32 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
2021-12-19 22:11:49 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
2021-12-19 22:12:57 +0100 | notzmv | (~zmv@user/notzmv) |
2021-12-19 22:13:43 +0100 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
2021-12-19 22:14:01 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-12-19 22:17:22 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-19 22:19:06 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
2021-12-19 22:20:47 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-19 22:20:47 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-19 22:20:47 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-19 22:21:13 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Quit: leaving) |
2021-12-19 22:21:32 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
2021-12-19 22:25:26 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-19 22:28:33 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
2021-12-19 22:31:34 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-12-19 22:33:15 +0100 | cjb | (~cjb@user/cjb) |
2021-12-19 22:34:45 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
2021-12-19 22:35:31 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 22:35:37 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-12-19 22:35:37 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2021-12-19 22:35:37 +0100 | finn_elija | FinnElija |
2021-12-19 22:41:21 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 22:41:23 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 22:49:54 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-19 22:51:17 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 240 seconds) |
2021-12-19 22:51:18 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 22:51:23 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 22:51:50 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) |
2021-12-19 22:52:04 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-12-19 22:53:50 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 22:55:50 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
2021-12-19 22:55:57 +0100 | deadmarshal | (~deadmarsh@95.38.116.51) (Ping timeout: 240 seconds) |
2021-12-19 22:56:05 +0100 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Quit: No Ping reply in 180 seconds.) |
2021-12-19 22:57:27 +0100 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
2021-12-19 23:01:57 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-12-19 23:03:52 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-19 23:11:11 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 245 seconds) |
2021-12-19 23:12:15 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2021-12-19 23:12:33 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2021-12-19 23:15:25 +0100 | python476 | (~user@88.160.31.174) (Ping timeout: 240 seconds) |
2021-12-19 23:16:53 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2021-12-19 23:16:57 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
2021-12-19 23:19:12 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2021-12-19 23:22:40 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
2021-12-19 23:22:47 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-12-19 23:23:37 +0100 | <zero> | i'm trying to write a simple bfs but i'm getting duplicate levels. can anyne understand why? https://paste.jrvieira.com/1639952533869 |
2021-12-19 23:26:15 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving) |
2021-12-19 23:26:34 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:26:35 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:26:42 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:26:43 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:28:17 +0100 | <EvanR> | what is Tree, what is Queue |
2021-12-19 23:28:57 +0100 | <zero> | tree is `data Tree a = Leaf a | Node a (Tree a) (Tree a)` |
2021-12-19 23:29:45 +0100 | <zero> | Queue is https://paste.jrvieira.com/1639952979883 |
2021-12-19 23:30:37 +0100 | darchitect | (~darchitec@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Ping timeout: 240 seconds) |
2021-12-19 23:31:15 +0100 | <EvanR> | .oO(dequeue :: Queue a -> Maybe (a,Queue a)) |
2021-12-19 23:31:54 +0100 | max22- | (~maxime@2a01cb08833598001a2c7d9873db9006.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
2021-12-19 23:32:24 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:32:24 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:33:18 +0100 | earendel | (uid498179@user/earendel) |
2021-12-19 23:33:51 +0100 | <zero> | EvanR: yeah that makes sense! |
2021-12-19 23:34:25 +0100 | taterbase | (~user@2603-7081-6902-9100-0000-0000-0000-0006.res6.spectrum.com) |
2021-12-19 23:34:53 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
2021-12-19 23:35:17 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:35:18 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:36:17 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:36:17 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:39:58 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:39:59 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:40:23 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:40:23 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:42:19 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) |
2021-12-19 23:42:57 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:42:58 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:43:18 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:43:18 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:44:09 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:44:09 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:44:47 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-19 23:44:49 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-12-19 23:44:55 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-12-19 23:45:07 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:45:07 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:47:30 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:47:30 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:47:31 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
2021-12-19 23:47:33 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:1116:7911:5ad7:44c3) (Ping timeout: 268 seconds) |
2021-12-19 23:48:00 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:48:02 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:49:21 +0100 | Guest|37 | (~Guest|37@pool-108-16-143-231.phlapa.fios.verizon.net) |
2021-12-19 23:49:56 +0100 | kranius_ | (~kranius@222.186.245.213.rev.sfr.net) |
2021-12-19 23:50:09 +0100 | Guest|37 | (~Guest|37@pool-108-16-143-231.phlapa.fios.verizon.net) (Client Quit) |
2021-12-19 23:50:39 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
2021-12-19 23:51:17 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54f844-160.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-12-19 23:53:30 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:53:30 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:53:50 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:53:51 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:54:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2021-12-19 23:54:52 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:54:52 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:55:00 +0100 | jumper149 | (~jumper149@static.6.71.203.116.clients.your-server.de) (Quit: WeeChat 3.3) |
2021-12-19 23:55:22 +0100 | cosimone | (~user@93-44-185-127.ip98.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
2021-12-19 23:55:44 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-12-19 23:55:44 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-19 23:56:38 +0100 | Guest3076 | (~Guest30@66.115.252.46) (Quit: Client closed) |
2021-12-19 23:57:28 +0100 | <zero> | maybe this is more readable https://paste.jrvieira.com/1639954642001 |
2021-12-19 23:57:58 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
2021-12-19 23:59:03 +0100 | <Inst> | sigh, this is nuts |
2021-12-19 23:59:13 +0100 | <Inst> | what's wrong with understanding >>= as join.fmap? |