| 2021-01-17 00:01:51 +0100 | <npgm> | seems like a choice between modeling the problem exactly and taking advantage of existing code |
| 2021-01-17 00:02:08 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-01-17 00:02:55 +0100 | <dolio> | The foldable instance for list isn't the same as the one for Records, either. |
| 2021-01-17 00:03:16 +0100 | <npgm> | dolio: only in that it skips errors? |
| 2021-01-17 00:03:40 +0100 | <dolio> | No. The former gives you records, and the latter gives you a values. |
| 2021-01-17 00:06:23 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 00:06:51 +0100 | <npgm> | https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.Base.html#foldr and https://hackage.haskell.org/package/cassava-0.5.2.0/docs/src/Data.Csv.Streaming.html#foldrRecords right? |
| 2021-01-17 00:06:51 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 00:07:25 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 2021-01-17 00:07:37 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 00:07:39 +0100 | <dolio> | If you use lists, then [] is what's foldable. [Record a] doesn't automatically fold over just the `a` values contained in the list. |
| 2021-01-17 00:08:06 +0100 | <npgm> | it'll fold over the Record a values, right? |
| 2021-01-17 00:08:20 +0100 | <dolio> | Yes, which is not what the Foldable instance for Records does. |
| 2021-01-17 00:09:54 +0100 | Franciman | (~francesco@host-82-48-174-127.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-01-17 00:10:10 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-01-17 00:10:46 +0100 | <npgm> | eh, I guess i don't know what foldable instance of records does / don't see the nuance here. The only thing I thought the foldable instance of records is doing was discarding errors. |
| 2021-01-17 00:11:25 +0100 | <dolio> | Well, that's exactly what it does. The Foldable instance for lists won't discard any of the errors. |
| 2021-01-17 00:11:48 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds) |
| 2021-01-17 00:12:09 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-01-17 00:12:18 +0100 | pfurla | (~pfurla@207.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 256 seconds) |
| 2021-01-17 00:12:28 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 00:12:34 +0100 | <npgm> | but discarding errors is trivial imo - its just mapping the list to another list? |
| 2021-01-17 00:12:51 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-01-17 00:13:47 +0100 | <dolio> | My point is that you're criticising them for not reusing code, but the code you want them to reuse doesn't actually do what their code does. |
| 2021-01-17 00:13:57 +0100 | troydm | (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-01-17 00:14:55 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-01-17 00:15:30 +0100 | mctpyt | (~mctpyt@unaffiliated/mctpyt) (Ping timeout: 246 seconds) |
| 2021-01-17 00:15:40 +0100 | <npgm> | I hear you. And I don't mean to be critical of this person, I like the library, I'm just trying to learn by understanding why decisions were made one way but not another. And i'm appreciative of your helping me understand. |
| 2021-01-17 00:16:44 +0100 | fendor | (~fendor@91.141.1.45.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-01-17 00:17:01 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 00:17:23 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 00:17:41 +0100 | mctpyt | (~mctpyt@190.192.51.111) |
| 2021-01-17 00:18:44 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 00:18:46 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 00:19:50 +0100 | troydm | (~troydm@unaffiliated/troydm) |
| 2021-01-17 00:20:31 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 00:21:06 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 00:22:09 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-17 00:23:46 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 00:24:03 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 00:24:13 +0100 | erolm_a | (~erolm_a@62.18.221.108) (Remote host closed the connection) |
| 2021-01-17 00:25:47 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 00:26:21 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 00:26:32 +0100 | klardotsh | (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Ping timeout: 256 seconds) |
| 2021-01-17 00:28:36 +0100 | klardotsh | (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
| 2021-01-17 00:28:42 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:194c:6210:349e:a14) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-17 00:29:00 +0100 | troydm | (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-01-17 00:30:12 +0100 | troydm | (~troydm@unaffiliated/troydm) |
| 2021-01-17 00:31:04 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds) |
| 2021-01-17 00:31:06 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-17 00:32:54 +0100 | elliott_ | (~elliott_@170.121.246.67) |
| 2021-01-17 00:33:15 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 00:33:38 +0100 | knupfer | (~Thunderbi@200116b82c63f800a05a70c9977def3e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-01-17 00:36:02 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-01-17 00:37:19 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-01-17 00:39:05 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:496f:dbf0:f4d6:670) |
| 2021-01-17 00:39:38 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 264 seconds) |
| 2021-01-17 00:42:08 +0100 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-01-17 00:46:22 +0100 | elliott_ | (~elliott_@170.121.246.67) (Read error: Connection reset by peer) |
| 2021-01-17 00:49:57 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-01-17 00:50:19 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-01-17 00:50:48 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-01-17 00:52:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 00:56:35 +0100 | adeene | (~adeene@181.131.0.191) |
| 2021-01-17 00:56:42 +0100 | xcmw | (~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-17 00:56:54 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-01-17 01:01:00 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-01-17 01:04:45 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-01-17 01:05:24 +0100 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-01-17 01:06:21 +0100 | conal | (~conal@172.93.146.171) (Quit: Computer has gone to sleep.) |
| 2021-01-17 01:06:41 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:194c:6210:349e:a14) |
| 2021-01-17 01:06:56 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-01-17 01:07:53 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) |
| 2021-01-17 01:08:49 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 2021-01-17 01:08:53 +0100 | <threestrikes> | what's the prefered library to manipulate directories |
| 2021-01-17 01:12:23 +0100 | adeene | (~adeene@181.131.0.191) (Read error: Connection reset by peer) |
| 2021-01-17 01:15:24 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-17 01:15:30 +0100 | tsrt^ | (~hph@ip98-184-89-2.mc.at.cox.net) () |
| 2021-01-17 01:15:45 +0100 | BaneAliens | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 01:16:10 +0100 | BaneAliens | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 01:16:28 +0100 | <threestrikes> | \help |
| 2021-01-17 01:16:31 +0100 | <threestrikes> | lol |
| 2021-01-17 01:16:33 +0100 | <threestrikes> | sorry |
| 2021-01-17 01:16:43 +0100 | polyrain | (~polyrain@121.222.65.83) |
| 2021-01-17 01:16:54 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) (Quit: WeeChat 2.9) |
| 2021-01-17 01:17:08 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) |
| 2021-01-17 01:17:48 +0100 | <threestrikes> | :1 |
| 2021-01-17 01:18:06 +0100 | <threestrikes> | / |
| 2021-01-17 01:18:41 +0100 | polyrain | (~polyrain@121.222.65.83) (Client Quit) |
| 2021-01-17 01:20:48 +0100 | LKoen | (~LKoen@119.169.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-01-17 01:20:56 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) () |
| 2021-01-17 01:23:03 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 01:24:26 +0100 | tomku | (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 2021-01-17 01:25:18 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 01:25:41 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 01:25:52 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-01-17 01:26:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 01:27:54 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2021-01-17 01:28:30 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-01-17 01:29:05 +0100 | arybczak | (~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c) (Quit: Konversation terminated!) |
| 2021-01-17 01:29:16 +0100 | xiinotulp | (~q@node-uk8.pool-125-24.dynamic.totinternet.net) |
| 2021-01-17 01:30:03 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) |
| 2021-01-17 01:30:44 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-01-17 01:31:09 +0100 | tomku | (~tomku@unaffiliated/tomku) (Ping timeout: 260 seconds) |
| 2021-01-17 01:31:27 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-01-17 01:31:48 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 01:32:08 +0100 | <monochrom> | package name "directory", module name System.Directory. Comes with GHC. |
| 2021-01-17 01:32:43 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-01-17 01:32:54 +0100 | plutoniix | (~q@node-unf.pool-125-24.dynamic.totinternet.net) (Ping timeout: 260 seconds) |
| 2021-01-17 01:32:56 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-17 01:36:51 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-01-17 01:37:56 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 01:44:24 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 2021-01-17 01:44:25 +0100 | PhysiPysi | (~PhysiPysi@217.27.130.32) |
| 2021-01-17 01:48:35 +0100 | <vst> | Not necessarily "preferred" but if you are using `path` library, you may wish to check `path-io` library: https://hackage.haskell.org/package/path-io |
| 2021-01-17 01:51:38 +0100 | tff^ | (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-01-17 01:51:53 +0100 | xcmw | (~textual@2603-6011-2200-f103-58d2-afd7-13ca-553f.res6.spectrum.com) |
| 2021-01-17 01:53:58 +0100 | Wuzzy | (~Wuzzy@p5790ea1f.dip0.t-ipconnect.de) |
| 2021-01-17 01:54:06 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-01-17 01:56:40 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-01-17 02:02:08 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-01-17 02:03:07 +0100 | <DigitalKiwi> | Consult Haddocks for usage, which should be trivial. <-- well now i know it's hard :( |
| 2021-01-17 02:03:49 +0100 | mctpyt | (~mctpyt@190.192.51.111) (Ping timeout: 260 seconds) |
| 2021-01-17 02:04:21 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-01-17 02:04:24 +0100 | Kaeipi | (~Kaiepi@47.54.252.148) (Ping timeout: 265 seconds) |
| 2021-01-17 02:05:40 +0100 | mctpyt | (~mctpyt@190.192.51.111) |
| 2021-01-17 02:07:20 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 02:07:26 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) |
| 2021-01-17 02:08:12 +0100 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-01-17 02:08:54 +0100 | conal | (~conal@66.115.157.31) |
| 2021-01-17 02:10:49 +0100 | prlCIql6ruclcri | (~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448) |
| 2021-01-17 02:12:53 +0100 | mctpyt | (~mctpyt@190.192.51.111) (Quit: WeeChat 3.0) |
| 2021-01-17 02:17:39 +0100 | minimario | (2fe3e53b@047-227-229-059.res.spectrum.com) |
| 2021-01-17 02:18:52 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-01-17 02:19:30 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 02:19:53 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2021-01-17 02:20:27 +0100 | columbarius1 | (~columbari@muedsl-82-207-236-129.citykom.de) (Ping timeout: 246 seconds) |
| 2021-01-17 02:20:40 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 02:22:37 +0100 | columbarius1 | (~columbari@mue-88-130-54-120.dsl.tropolys.de) |
| 2021-01-17 02:25:00 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 2021-01-17 02:27:01 +0100 | xcmw | (~textual@2603-6011-2200-f103-58d2-afd7-13ca-553f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-17 02:28:07 +0100 | mctpyt | (~mctpyt@unaffiliated/mctpyt) |
| 2021-01-17 02:28:28 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-01-17 02:32:32 +0100 | <minimario> | is there any way to unregister a package in my .cabal directory with "ghc-pkg unregister"? when i ghc-pkg list it, it's not showing up |
| 2021-01-17 02:33:59 +0100 | xiinotulp | (~q@node-uk8.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-01-17 02:36:17 +0100 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-01-17 02:38:19 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 02:38:49 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-01-17 02:40:45 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-01-17 02:41:25 +0100 | <sm[m]> | minimario: try cabal exec -- ghc-pkg list, etc |
| 2021-01-17 02:41:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-01-17 02:42:18 +0100 | <minimario> | sm[m] do i need a .cabal file for that |
| 2021-01-17 02:42:45 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-01-17 02:43:28 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds) |
| 2021-01-17 02:43:31 +0100 | <sm[m]> | uh yes, if you're not in a cabal project you don't need that |
| 2021-01-17 02:43:57 +0100 | <minimario> | i cabal installed something and i'm trying to remove it :P |
| 2021-01-17 02:44:14 +0100 | <minimario> | and i have no idea how to properly do this |
| 2021-01-17 02:44:48 +0100 | <minimario> | apparantly i'm supposed to use ghc-pkg unregister, but ghc-pkg can't find my package |
| 2021-01-17 02:45:43 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 02:46:28 +0100 | kupi | (uid212005@gateway/web/irccloud.com/x-rcpdjhlifilityqt) (Quit: Connection closed for inactivity) |
| 2021-01-17 02:47:18 +0100 | <dolio> | If ghc-pkg can't find it, then there's nothing to unregister, presumably. |
| 2021-01-17 02:47:31 +0100 | <sm[m]> | sorry.. cabal has a few different modes and places it keeps packages, depending on version and flags |
| 2021-01-17 02:48:10 +0100 | <sm[m]> | oh yeah, and packages containing only executables are never listed |
| 2021-01-17 02:48:29 +0100 | vst | (~vst@2406:3003:2004:2e8a:88e0:d:26a8:735e) (Remote host closed the connection) |
| 2021-01-17 02:48:43 +0100 | <minimario> | i see the package in my .cabal though |
| 2021-01-17 02:49:02 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-17 02:50:13 +0100 | <minimario> | if i just remove it from my .cabal/bin would that work |
| 2021-01-17 02:50:16 +0100 | <minimario> | as in rm -rf it |
| 2021-01-17 02:50:40 +0100 | <dolio> | `ghc-pkg unregister` would just remove it from a database keeping track of where that package is. It wouldn't remove the files that got installed from your disk. |
| 2021-01-17 02:50:42 +0100 | vst | (~vst@2406:3003:2004:2e8a:88e0:d:26a8:735e) |
| 2021-01-17 02:51:05 +0100 | <dolio> | (And other information besides just where it is.) |
| 2021-01-17 02:51:39 +0100 | <dolio> | The reason to unregister it before deleting the files is so that GHC doesn't think it still has access to that package. |
| 2021-01-17 02:53:57 +0100 | dan64- | (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in) |
| 2021-01-17 02:53:59 +0100 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-01-17 02:54:41 +0100 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2021-01-17 02:55:08 +0100 | <sm[m]> | To remove executables, yes you can rm those from ~/.cabal/bin |
| 2021-01-17 02:55:28 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-01-17 02:55:44 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-01-17 02:57:33 +0100 | mctpyt | (~mctpyt@unaffiliated/mctpyt) (Ping timeout: 246 seconds) |
| 2021-01-17 02:58:29 +0100 | minimario | (2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed) |
| 2021-01-17 02:59:53 +0100 | mctpyt | (~mctpyt@unaffiliated/mctpyt) |
| 2021-01-17 03:08:31 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-01-17 03:11:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 03:11:36 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-01-17 03:13:10 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-01-17 03:14:33 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 03:16:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 03:18:30 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-01-17 03:19:32 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2021-01-17 03:22:10 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-01-17 03:22:24 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-01-17 03:24:16 +0100 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-01-17 03:25:34 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 03:26:18 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 03:28:13 +0100 | BaneAliens | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 03:28:37 +0100 | BaneAliens | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 03:30:02 +0100 | xff0x | (~xff0x@2001:1a81:52fe:9d00:ad11:362b:2ade:56c2) (Ping timeout: 264 seconds) |
| 2021-01-17 03:30:18 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-01-17 03:30:29 +0100 | minimario | (2fe3e53b@047-227-229-059.res.spectrum.com) |
| 2021-01-17 03:30:49 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-01-17 03:31:58 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:3eab:bcec:ac10:46f6) |
| 2021-01-17 03:36:12 +0100 | xcmw | (~textual@2603-6011-2200-f103-58d2-afd7-13ca-553f.res6.spectrum.com) |
| 2021-01-17 03:37:07 +0100 | xcmw | (~textual@2603-6011-2200-f103-58d2-afd7-13ca-553f.res6.spectrum.com) (Client Quit) |
| 2021-01-17 03:37:46 +0100 | christo | (~chris@81.96.113.213) |
| 2021-01-17 03:38:45 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Remote host closed the connection) |
| 2021-01-17 03:40:02 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 2021-01-17 03:41:26 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-01-17 03:41:45 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Remote host closed the connection) |
| 2021-01-17 03:42:36 +0100 | christo | (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 2021-01-17 03:42:47 +0100 | ADG1089_ | (~adg1089@122.163.165.143) |
| 2021-01-17 03:44:11 +0100 | minimario | (2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed) |
| 2021-01-17 03:45:06 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-01-17 03:45:06 +0100 | ADG1089_ | (~adg1089@122.163.165.143) (Read error: Connection reset by peer) |
| 2021-01-17 03:46:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 03:50:27 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-01-17 03:53:01 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 264 seconds) |
| 2021-01-17 03:53:07 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-01-17 03:53:59 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-01-17 03:54:29 +0100 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-01-17 03:54:38 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-17 03:56:33 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-01-17 03:57:46 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-17 03:57:50 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 2021-01-17 03:57:54 +0100 | ADG1089__ | (~aditya@122.163.165.143) |
| 2021-01-17 03:58:10 +0100 | CMCDragonkai1 | (~Thunderbi@124.19.3.250) |
| 2021-01-17 03:58:21 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-17 03:59:17 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-01-17 03:59:29 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-01-17 04:00:24 +0100 | conal | (~conal@66.115.157.31) (Quit: Computer has gone to sleep.) |
| 2021-01-17 04:03:13 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-17 04:05:35 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 04:07:54 +0100 | Moyst_ | (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2021-01-17 04:08:48 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 04:13:22 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2021-01-17 04:17:38 +0100 | iridescent | (2fe3e53b@047-227-229-059.res.spectrum.com) |
| 2021-01-17 04:17:47 +0100 | iridescent | (2fe3e53b@047-227-229-059.res.spectrum.com) () |
| 2021-01-17 04:18:21 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:34ff:5936:6927:ced3) (Read error: Connection reset by peer) |
| 2021-01-17 04:20:09 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-01-17 04:20:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 04:27:39 +0100 | threestrikes_ | (~haskell@cpe-24-243-229-2.hot.res.rr.com) |
| 2021-01-17 04:28:22 +0100 | Kaeipi | (~Kaiepi@47.54.252.148) |
| 2021-01-17 04:28:31 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 04:29:40 +0100 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-01-17 04:30:14 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-17 04:30:21 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 04:30:22 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:22 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:22 +0100 | reda | (~reda@unaffiliated/reda) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:22 +0100 | jkarni | (~jkarni@116.203.146.226) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:29 +0100 | reda | (~reda@4.ip-137-74-112.eu) |
| 2021-01-17 04:30:29 +0100 | sgibber2018 | (d055ed90@208.85.237.144) |
| 2021-01-17 04:30:38 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-01-17 04:30:51 +0100 | jkarni | (~jkarni@116.203.146.226) |
| 2021-01-17 04:30:52 +0100 | reda | Guest39046 |
| 2021-01-17 04:30:56 +0100 | CMCDragonkai1 | (~Thunderbi@124.19.3.250) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:56 +0100 | BaneAliens | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:56 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:56 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Ping timeout: 256 seconds) |
| 2021-01-17 04:30:56 +0100 | kipras`away | (~kipras@92.61.39.34) (Ping timeout: 256 seconds) |
| 2021-01-17 04:31:04 +0100 | kipras`away | (~kipras@re199n846.sritis.lt) |
| 2021-01-17 04:31:14 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-01-17 04:31:20 +0100 | threestrikes_ | (~haskell@cpe-24-243-229-2.hot.res.rr.com) (Client Quit) |
| 2021-01-17 04:31:38 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) |
| 2021-01-17 04:31:51 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) (Client Quit) |
| 2021-01-17 04:34:20 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 04:41:01 +0100 | theDon | (~td@muedsl-82-207-238-004.citykom.de) (Ping timeout: 264 seconds) |
| 2021-01-17 04:42:38 +0100 | theDon | (~td@94.134.91.203) |
| 2021-01-17 04:43:03 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 2021-01-17 04:43:37 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-01-17 04:46:45 +0100 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Quit: birdd) |
| 2021-01-17 04:47:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 04:48:01 +0100 | ph88 | (~ph88@2a02:8109:9e00:7e5c:edab:a6c4:60f2:9240) |
| 2021-01-17 04:49:40 +0100 | adharsh | (~adharsh@117.216.168.127) |
| 2021-01-17 04:51:26 +0100 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-01-17 04:52:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 04:54:10 +0100 | xirhtogal | (~lagothrix@unaffiliated/lagothrix) |
| 2021-01-17 04:54:10 +0100 | lagothrix | Guest35254 |
| 2021-01-17 04:54:10 +0100 | Guest35254 | (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services))) |
| 2021-01-17 04:54:10 +0100 | xirhtogal | lagothrix |
| 2021-01-17 05:00:02 +0100 | alexelcu | (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 05:00:08 +0100 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Quit: birdd) |
| 2021-01-17 05:00:59 +0100 | alexelcu | (~alexelcu@142.93.180.198) |
| 2021-01-17 05:01:13 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:194c:6210:349e:a14) (Remote host closed the connection) |
| 2021-01-17 05:03:01 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 05:03:03 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-17 05:03:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 05:04:59 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 2021-01-17 05:05:53 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 05:06:16 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 05:07:33 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2021-01-17 05:07:49 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-01-17 05:08:02 +0100 | jfe | (~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-01-17 05:09:06 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 05:09:33 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 05:12:43 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-01-17 05:14:00 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-01-17 05:17:27 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-01-17 05:19:04 +0100 | nphard | (3aa56852@58.165.104.82) |
| 2021-01-17 05:20:13 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 05:20:50 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 05:21:12 +0100 | stree | (~stree@50-108-70-224.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2021-01-17 05:21:30 +0100 | stree | (~stree@50-108-70-224.adr01.mskg.mi.frontiernet.net) |
| 2021-01-17 05:23:12 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-01-17 05:24:34 +0100 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-01-17 05:25:15 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 2021-01-17 05:25:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 05:28:40 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 05:30:25 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-01-17 05:30:55 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-01-17 05:30:56 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-01-17 05:32:00 +0100 | adharsh | (~adharsh@117.216.168.127) (Quit: adharsh) |
| 2021-01-17 05:33:59 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-01-17 05:38:30 +0100 | dan64 | (~dan64@dannyadam.com) |
| 2021-01-17 05:42:40 +0100 | ystael | (~ystael@209.6.50.55) (Ping timeout: 256 seconds) |
| 2021-01-17 05:44:33 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) |
| 2021-01-17 05:44:39 +0100 | mirrorbird | (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Quit: Leaving) |
| 2021-01-17 05:45:23 +0100 | adharsh | (~adharsh@117.216.168.127) |
| 2021-01-17 05:46:47 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.0) |
| 2021-01-17 05:47:45 +0100 | <threestrikes> | in the haskell book in the lamda section. How would I say |
| 2021-01-17 05:47:51 +0100 | <threestrikes> | \x.x? |
| 2021-01-17 05:48:01 +0100 | <threestrikes> | is it lamda x dot x? |
| 2021-01-17 05:48:04 +0100 | <glguy> | in Haskell? \x -> x |
| 2021-01-17 05:48:12 +0100 | <glguy> | Or are you asking how to pronounce it? |
| 2021-01-17 05:48:17 +0100 | <threestrikes> | Yes :) |
| 2021-01-17 05:48:26 +0100 | <threestrikes> | How to pronounce it. |
| 2021-01-17 05:51:35 +0100 | <glguy> | I don't know if there's a right answer, but what you write is how I would say it |
| 2021-01-17 05:53:24 +0100 | <threestrikes> | Ok |
| 2021-01-17 05:54:58 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 05:57:01 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 05:57:13 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 05:57:33 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 05:58:34 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-17 06:00:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-01-17 06:01:18 +0100 | conal | (~conal@198.8.81.77) |
| 2021-01-17 06:01:43 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 2021-01-17 06:02:21 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) (Ping timeout: 246 seconds) |
| 2021-01-17 06:02:32 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2021-01-17 06:02:56 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds) |
| 2021-01-17 06:05:31 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 2021-01-17 06:09:14 +0100 | Tene | (~tene@mail.digitalkingdom.org) |
| 2021-01-17 06:09:14 +0100 | Tene | (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-01-17 06:09:14 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2021-01-17 06:09:48 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) |
| 2021-01-17 06:10:28 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-17 06:10:53 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 06:14:25 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-01-17 06:15:02 +0100 | <threestrikes> | was just watching a lecture and it was pronounced lamda x returning x |
| 2021-01-17 06:15:44 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-01-17 06:16:19 +0100 | adharsh | (~adharsh@117.216.168.127) (Quit: adharsh) |
| 2021-01-17 06:17:23 +0100 | <ephemient> | who writes \x.x? λx.x or \x->x I would understand... |
| 2021-01-17 06:26:35 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 06:27:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 06:28:57 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 06:29:23 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 06:31:04 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-01-17 06:32:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-01-17 06:34:00 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-wdnvdmzeqlpwwcbr) () |
| 2021-01-17 06:34:25 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-01-17 06:36:43 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-01-17 06:37:10 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 06:37:52 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 06:39:51 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 06:40:25 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 06:44:58 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 272 seconds) |
| 2021-01-17 06:47:41 +0100 | <jle`> | it's the typical math notation https://en.wikipedia.org/wiki/Lambda_calculus |
| 2021-01-17 06:48:30 +0100 | zaquest | (~notzaques@5.128.210.178) |
| 2021-01-17 06:48:38 +0100 | Wuzzy | (~Wuzzy@p5790ea1f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-01-17 06:51:15 +0100 | Marissa | (Marissa@33.anserq.com) (Quit: Marissa) |
| 2021-01-17 06:51:20 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 2021-01-17 06:51:28 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 06:51:41 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
| 2021-01-17 06:53:47 +0100 | Marissa | (Marissa@33.anserq.com) |
| 2021-01-17 06:53:55 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-01-17 06:54:42 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-01-17 06:55:40 +0100 | christo | (~chris@81.96.113.213) |
| 2021-01-17 06:55:58 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 2021-01-17 06:58:05 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-01-17 07:00:13 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-01-17 07:01:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 07:01:31 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-01-17 07:01:59 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 07:02:33 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-17 07:07:11 +0100 | <jle`> | ah yeah, the backslash is def odd. but i guess it's understood as the "ascii" version of lambda |
| 2021-01-17 07:07:47 +0100 | <jle`> | like how people sometimes right us for microsecond (μs) |
| 2021-01-17 07:08:16 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 07:08:31 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 07:10:12 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-01-17 07:13:12 +0100 | ADG1089_ | (~adg1089@122.163.165.143) |
| 2021-01-17 07:14:58 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 07:16:31 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 07:16:52 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-01-17 07:17:08 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 07:17:28 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-01-17 07:18:39 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-01-17 07:18:49 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Client Quit) |
| 2021-01-17 07:20:03 +0100 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-verpyznohhsayxxo) (Ping timeout: 246 seconds) |
| 2021-01-17 07:20:12 +0100 | jared-w | (uid405292@gateway/web/irccloud.com/x-znflubjkxqieqjlw) (Ping timeout: 258 seconds) |
| 2021-01-17 07:20:26 +0100 | AndreasK | (uid320732@gateway/web/irccloud.com/x-bidajccraqzbxuat) (Ping timeout: 264 seconds) |
| 2021-01-17 07:20:26 +0100 | gOOgler | (uid125351@gateway/web/irccloud.com/x-jdvndeteehxffire) (Ping timeout: 264 seconds) |
| 2021-01-17 07:20:32 +0100 | d0liver | (sid363046@gateway/web/irccloud.com/x-yxldiyijvvvoeqdg) (Ping timeout: 260 seconds) |
| 2021-01-17 07:20:33 +0100 | SrPx | (sid108780@gateway/web/irccloud.com/x-ugcimtnskspafeof) (Ping timeout: 260 seconds) |
| 2021-01-17 07:20:55 +0100 | gOOgler | (uid125351@gateway/web/irccloud.com/x-kfwutrekvoilnxmc) |
| 2021-01-17 07:20:56 +0100 | d0liver | (sid363046@gateway/web/irccloud.com/x-vbakmemyhoumgknq) |
| 2021-01-17 07:21:33 +0100 | jared-w | (uid405292@gateway/web/irccloud.com/x-enbmdufejzohjtur) |
| 2021-01-17 07:21:38 +0100 | AndreasK | (uid320732@gateway/web/irccloud.com/x-veigohyuhseujixu) |
| 2021-01-17 07:21:42 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 272 seconds) |
| 2021-01-17 07:21:46 +0100 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-fnjwxppdlbxyqkzv) |
| 2021-01-17 07:22:19 +0100 | SrPx | (sid108780@gateway/web/irccloud.com/x-jmazapunyhkbueet) |
| 2021-01-17 07:25:19 +0100 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2021-01-17 07:26:03 +0100 | <arahael> | jle`: I think the question was \ *with* the period there. |
| 2021-01-17 07:26:28 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-01-17 07:28:54 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-01-17 07:30:03 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-01-17 07:30:15 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Client Quit) |
| 2021-01-17 07:33:01 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 2021-01-17 07:33:16 +0100 | jlamothe | (~jlamothe@198.251.55.207) (Ping timeout: 240 seconds) |
| 2021-01-17 07:33:18 +0100 | ais | (~ais@86.100.110.212) |
| 2021-01-17 07:35:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 07:39:01 +0100 | <ais> | I'm trying to understand what are nested `do` statements doing here: https://paste.ubuntu.com/p/qrgbJZzwS5/ . This does not work if i remove the second do statements, but i only ever used nested do's in if else statements, so i don't understand what is it doing here. |
| 2021-01-17 07:39:49 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-01-17 07:41:02 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-01-17 07:41:04 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Client Quit) |
| 2021-01-17 07:45:42 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 07:47:15 +0100 | xsperry | (~as@unaffiliated/xsperry) () |
| 2021-01-17 07:48:06 +0100 | <siraben> | Any idea why this code: https://godbolt.org/z/7a8396 generates 80 more instructions when typeclasses are used? |
| 2021-01-17 07:48:37 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-01-17 07:49:06 +0100 | ADG1089_ | (~adg1089@122.163.165.143) (Ping timeout: 246 seconds) |
| 2021-01-17 07:49:50 +0100 | nphard | (3aa56852@58.165.104.82) (Quit: Ping timeout (120 seconds)) |
| 2021-01-17 07:49:53 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-01-17 07:50:37 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds) |
| 2021-01-17 07:50:51 +0100 | <jle`> | ais: doesn't work as in, doesn't compile? |
| 2021-01-17 07:51:13 +0100 | <ais> | it does not parse the arithmetic operation |
| 2021-01-17 07:51:33 +0100 | <ais> | "2 + 2" returns empty string, but with the nested do, it returns 4 |
| 2021-01-17 07:51:53 +0100 | <jle`> | my best guess is that the do is causing things to associate differnetly |
| 2021-01-17 07:52:30 +0100 | <jle`> | without it it becomes (do t <- term; symbol "+"..return (t+e)) <|> return t |
| 2021-01-17 07:52:39 +0100 | Nikotiini | (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-01-17 07:52:47 +0100 | <jle`> | with it it becomes do t <- ter; ((do symbol "+"; ... <|> return t) |
| 2021-01-17 07:54:11 +0100 | <ais> | but how can the second do block have `t` in scope, if it's executed first? |
| 2021-01-17 07:55:13 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-01-17 07:55:52 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 07:55:52 +0100 | <ais> | or is laziness then playing a part |
| 2021-01-17 07:57:27 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 07:57:39 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 07:57:49 +0100 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-01-17 07:58:12 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 08:01:03 +0100 | Nikotiini | (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) |
| 2021-01-17 08:01:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 08:02:14 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2021-01-17 08:02:52 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 272 seconds) |
| 2021-01-17 08:03:15 +0100 | ViCi | (daniel@10PLM.ro) (Quit: Quit!) |
| 2021-01-17 08:05:21 +0100 | ViCi | (daniel@10PLM.ro) |
| 2021-01-17 08:07:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-01-17 08:07:28 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-01-17 08:09:26 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 2021-01-17 08:09:42 +0100 | <jle`> | ais: it's in scope since it's the next line of the do block |
| 2021-01-17 08:09:50 +0100 | <jle`> | hm, are you familiar with how do-blocks desugar? |
| 2021-01-17 08:10:07 +0100 | <jle`> | `x <- foo; bar` is sugar for `foo >>= (\x -> bar)` |
| 2021-01-17 08:10:10 +0100 | <jle`> | so the x is in scope for bar |
| 2021-01-17 08:13:05 +0100 | <ais> | a bit, but i'm not yet comfortable with it |
| 2021-01-17 08:16:45 +0100 | greyskull | (~greyskull@51.194.80.91) (Ping timeout: 246 seconds) |
| 2021-01-17 08:17:21 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-01-17 08:20:53 +0100 | <ais> | all the examples with do blocks and desugaring are usually with some print operations, but since here the Parser type is a lambda where the bind operation applies functions to the inside of a lambda, i have a real hard time trying to understand how the execution is working here with these nested do's |
| 2021-01-17 08:23:50 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
| 2021-01-17 08:26:23 +0100 | <jle`> | it would probably help to manually parenthesize them |
| 2021-01-17 08:26:59 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 08:28:04 +0100 | <jle`> | ais: this is how i might do it https://paste.ubuntu.com/p/T8HqTsVyxz/ |
| 2021-01-17 08:28:17 +0100 | <jle`> | try de-suguaring the top-level do block |
| 2021-01-17 08:28:25 +0100 | <jle`> | remember that do blocks just evaluate into single expressions |
| 2021-01-17 08:28:36 +0100 | <jle`> | so (do ...) <|> return x is just going to be <some expression> <|> return x |
| 2021-01-17 08:28:59 +0100 | <jle`> | er, lines 4 and 10 there should probably be the same thing |
| 2021-01-17 08:29:08 +0100 | <jle`> | i just left an extra line break unintentionally |
| 2021-01-17 08:31:03 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-17 08:31:43 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:496f:dbf0:f4d6:670) (Ping timeout: 260 seconds) |
| 2021-01-17 08:32:01 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-01-17 08:33:15 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:5c55:ae7f:aac0:425b) |
| 2021-01-17 08:33:22 +0100 | <ais> | i actually already tried to desugar a part of this program |
| 2021-01-17 08:33:27 +0100 | <ais> | and ended up with a mess |
| 2021-01-17 08:33:30 +0100 | <ais> | lol |
| 2021-01-17 08:33:48 +0100 | <jle`> | does the parentheses help? |
| 2021-01-17 08:34:03 +0100 | <jle`> | the first one becomes pretty straightforward i think, with the explicit parens |
| 2021-01-17 08:34:18 +0100 | <jle`> | it's term >>= (\t -> (do blah) <|> return t) |
| 2021-01-17 08:34:18 +0100 | sgibber2018 | (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 2021-01-17 08:34:25 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 08:34:48 +0100 | <jle`> | so you see that term's result is getting piped into something that could possibly fail (the do block), and if that fails, 'return t' is tried instead |
| 2021-01-17 08:35:01 +0100 | <ais> | https://paste.ubuntu.com/p/qbX2m7ZRX5/ |
| 2021-01-17 08:35:16 +0100 | <ais> | here i tried to "desugar" what is happening with the "string" parser type |
| 2021-01-17 08:35:26 +0100 | <ais> | and got a bit lost |
| 2021-01-17 08:35:56 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 08:36:47 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 08:36:52 +0100 | <jle`> | hm, sounds like you're both desugaring the do notation as well as applying the definition of >>= |
| 2021-01-17 08:37:10 +0100 | <jle`> | to me, looking at it in terms of the definition of >>= doesn't help me understand things too much |
| 2021-01-17 08:37:17 +0100 | <jle`> | i like to look at each `Parser` value semantically |
| 2021-01-17 08:37:25 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-01-17 08:37:26 +0100 | <jle`> | as a unit of meaning that represents something |
| 2021-01-17 08:37:28 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 08:37:47 +0100 | <jle`> | so for `string (x:xs)`, you could interpret it as "parse x, then parse (string xs), and the result is (x:xs)" |
| 2021-01-17 08:38:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 08:38:50 +0100 | <jle`> | for your nested case, you could interpret it as "parse a term (call it t). then try to parse {a "+" and then an epression}...if that fails, just return t itself |
| 2021-01-17 08:39:50 +0100 | <ais> | ok, thanks, i will copy your suggestins and will try from the start |
| 2021-01-17 08:39:53 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 08:40:05 +0100 | <ais> | maybe a few attempts will clear up things for me more |
| 2021-01-17 08:41:14 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-01-17 08:41:24 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 2021-01-17 08:42:18 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-01-17 08:44:28 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 2021-01-17 08:44:41 +0100 | <jle`> | i think that's the advantage of parser combinators, to me -- the ability to think about parsers as values you can build up from meaningful primitive values |
| 2021-01-17 08:44:56 +0100 | <jle`> | how >>=/etc. works for them and how they work under the hood are an implementation detail |
| 2021-01-17 08:45:03 +0100 | <jle`> | it's still important to know, and good for learning |
| 2021-01-17 08:45:17 +0100 | <jle`> | but once you get past the basics it's maybe more useful to look at the semantic picture |
| 2021-01-17 08:45:52 +0100 | <jle`> | ie it's more easy to understand a simple math algorithm (like calculating `factorial x = product [1..x]`) once you move past the level of flipping bits with half-adders to represent addition |
| 2021-01-17 08:48:21 +0100 | ADG1089__ | (~aditya@122.163.165.143) (Remote host closed the connection) |
| 2021-01-17 08:49:35 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 08:49:41 +0100 | sgibber2018 | (d055ed90@208.85.237.144) |
| 2021-01-17 08:50:00 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 08:54:57 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
| 2021-01-17 08:57:42 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 08:58:03 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 08:59:05 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 2021-01-17 09:03:11 +0100 | evanjs- | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-01-17 09:03:22 +0100 | ais_ | (~ais@86.100.110.212) |
| 2021-01-17 09:03:22 +0100 | conal | (~conal@198.8.81.77) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:22 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:22 +0100 | fre_ | (~freusque@104.238.190.229) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:30 +0100 | Nikotiini | (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:30 +0100 | ais | (~ais@86.100.110.212) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:30 +0100 | cynick | (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:30 +0100 | m1dnight1 | (~m1dnight@188.ip-51-91-158.eu) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:30 +0100 | PlasmaStar | (plasma@unaffiliated/plasmastar) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:30 +0100 | kosmikus | (~kosmikus@haskell/developer/kosmikus) (Ping timeout: 256 seconds) |
| 2021-01-17 09:03:33 +0100 | fre | (~freusque@104.238.190.229) |
| 2021-01-17 09:03:47 +0100 | cynick | (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) |
| 2021-01-17 09:03:47 +0100 | kosmikus | (~kosmikus@haskell/developer/kosmikus) |
| 2021-01-17 09:03:54 +0100 | Nikotiini | (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) |
| 2021-01-17 09:04:04 +0100 | Varis | (~Tadas@unaffiliated/varis) (Ping timeout: 256 seconds) |
| 2021-01-17 09:04:04 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Ping timeout: 256 seconds) |
| 2021-01-17 09:04:04 +0100 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 2021-01-17 09:04:04 +0100 | arw | (~arw@impulse.informatik.uni-erlangen.de) (Ping timeout: 256 seconds) |
| 2021-01-17 09:04:04 +0100 | glamas | (~glamas@107.182.17.237) (Ping timeout: 256 seconds) |
| 2021-01-17 09:04:11 +0100 | arw | (~arw@impulse.informatik.uni-erlangen.de) |
| 2021-01-17 09:04:13 +0100 | glamas | (~glamas@107.182.17.237) |
| 2021-01-17 09:04:19 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-01-17 09:04:20 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 09:04:21 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2021-01-17 09:04:22 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-01-17 09:04:22 +0100 | conal_ | (~conal@198.8.81.77) |
| 2021-01-17 09:04:38 +0100 | theDon | (~td@94.134.91.203) (Ping timeout: 256 seconds) |
| 2021-01-17 09:04:55 +0100 | theDon | (~td@94.134.91.203) |
| 2021-01-17 09:06:45 +0100 | m1dnight1 | (~m1dnight@188.ip-51-91-158.eu) |
| 2021-01-17 09:06:50 +0100 | PlasmaStar | (plasma@unaffiliated/plasmastar) |
| 2021-01-17 09:07:24 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-01-17 09:08:56 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 09:09:22 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2021-01-17 09:10:50 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 09:11:32 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-01-17 09:12:38 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 09:12:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 09:13:15 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 09:14:16 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-01-17 09:17:39 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 2021-01-17 09:21:23 +0100 | bitmagie | (~Thunderbi@200116b806e3f600f1149994c5b1b9f3.dip.versatel-1u1.de) |
| 2021-01-17 09:36:17 +0100 | Moyst | (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 2021-01-17 09:39:43 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 2021-01-17 09:44:16 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 09:46:01 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 09:46:38 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 09:48:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 09:50:19 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-01-17 09:50:21 +0100 | gioyik | (~gioyik@186.112.104.70) (Quit: WeeChat 3.0) |
| 2021-01-17 09:50:54 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 2021-01-17 09:51:40 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-01-17 09:53:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 09:55:41 +0100 | bitmagie | (~Thunderbi@200116b806e3f600f1149994c5b1b9f3.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-01-17 09:57:21 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-kitzykvumhbtkqal) |
| 2021-01-17 09:58:26 +0100 | <dexterfoo> | Which function do I use to detect if I am running inside ghci or compiled exe? |
| 2021-01-17 09:58:41 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 10:00:01 +0100 | Ayo | (~quassel@82.177.83.189) |
| 2021-01-17 10:00:29 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 10:01:04 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 10:03:19 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-01-17 10:05:44 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 272 seconds) |
| 2021-01-17 10:08:58 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 10:09:19 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 10:13:18 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 246 seconds) |
| 2021-01-17 10:13:18 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds) |
| 2021-01-17 10:13:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 2021-01-17 10:14:28 +0100 | mputz | (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 2021-01-17 10:15:38 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-01-17 10:19:44 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 10:22:43 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds) |
| 2021-01-17 10:23:44 +0100 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
| 2021-01-17 10:23:46 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) |
| 2021-01-17 10:24:49 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2021-01-17 10:25:31 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 2021-01-17 10:25:53 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 2021-01-17 10:25:53 +0100 | prlCIql6ruclcri | (~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448) (Ping timeout: 272 seconds) |
| 2021-01-17 10:26:13 +0100 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
| 2021-01-17 10:27:22 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 10:28:03 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 10:29:44 +0100 | mozzarella | (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
| 2021-01-17 10:31:34 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-17 10:32:35 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-hmzxqoillnpejpnj) (Quit: Connection closed for inactivity) |
| 2021-01-17 10:32:58 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 2021-01-17 10:33:48 +0100 | mctpyt | (~mctpyt@unaffiliated/mctpyt) (Quit: WeeChat 3.0) |
| 2021-01-17 10:37:57 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 10:41:39 +0100 | Sonderblade | (~helloman@94.191.152.250) (Read error: Connection reset by peer) |
| 2021-01-17 10:41:52 +0100 | Sonderblade | (~helloman@94.191.152.250) |
| 2021-01-17 10:42:58 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 10:43:16 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 240 seconds) |
| 2021-01-17 10:44:41 +0100 | remedy | (~remedy@51.194.80.91) |
| 2021-01-17 10:47:39 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2021-01-17 10:48:26 +0100 | pera | (pera@gateway/vpn/mullvad/pera) |
| 2021-01-17 10:52:58 +0100 | knupfer | (~Thunderbi@200116b82c6a6700e8008bfffe8cad6b.dip.versatel-1u1.de) |
| 2021-01-17 10:53:28 +0100 | knupfer | (~Thunderbi@200116b82c6a6700e8008bfffe8cad6b.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-01-17 10:53:36 +0100 | knupfer | (~Thunderbi@200116b82c6a6700542cde19098204ff.dip.versatel-1u1.de) |
| 2021-01-17 10:53:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 10:54:43 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-01-17 10:57:13 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-01-17 10:58:37 +0100 | hekkaidekapus} | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-01-17 11:00:08 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 11:01:43 +0100 | hekkaidekapus{ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2021-01-17 11:04:46 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 265 seconds) |
| 2021-01-17 11:06:16 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-01-17 11:06:40 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 11:07:17 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-01-17 11:07:25 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-01-17 11:07:30 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Client Quit) |
| 2021-01-17 11:08:17 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 11:09:34 +0100 | fendor | (~fendor@178.165.128.107.wireless.dyn.drei.com) |
| 2021-01-17 11:09:34 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-01-17 11:09:48 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-01-17 11:10:28 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 11:10:48 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 11:12:53 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-01-17 11:13:15 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-01-17 11:14:05 +0100 | <ephemient> | > GHC.Environment.getFullArgs >>= print . System.FilePath.takeFileName . head |
| 2021-01-17 11:14:08 +0100 | <lambdabot> | error: |
| 2021-01-17 11:14:08 +0100 | <lambdabot> | Not in scope: ‘GHC.Environment.getFullArgs’ |
| 2021-01-17 11:14:08 +0100 | <lambdabot> | No module named ‘GHC.Environment’ is imported.error: |
| 2021-01-17 11:14:24 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-01-17 11:14:33 +0100 | <ephemient> | @let import GHC.Environment |
| 2021-01-17 11:14:35 +0100 | <lambdabot> | Defined. |
| 2021-01-17 11:14:46 +0100 | <ephemient> | > getFullArgs >>= print . takeFileName . head |
| 2021-01-17 11:14:47 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 2021-01-17 11:14:49 +0100 | <lambdabot> | error: |
| 2021-01-17 11:14:49 +0100 | <lambdabot> | Variable not in scope: takeFileName :: String -> a0 |
| 2021-01-17 11:14:59 +0100 | <ephemient> | @let import System.FilePath |
| 2021-01-17 11:15:00 +0100 | <lambdabot> | Defined. |
| 2021-01-17 11:15:03 +0100 | <ephemient> | > getFullArgs >>= print . takeFileName . head |
| 2021-01-17 11:15:06 +0100 | <lambdabot> | <IO ()> |
| 2021-01-17 11:15:27 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-01-17 11:15:30 +0100 | <ephemient> | hmm I guess it won't work on lambdabot |
| 2021-01-17 11:15:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 2021-01-17 11:16:22 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-01-17 11:17:53 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-01-17 11:17:58 +0100 | LKoen | (~LKoen@119.169.9.109.rev.sfr.net) |
| 2021-01-17 11:18:39 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-01-17 11:19:28 +0100 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-01-17 11:20:30 +0100 | pera | (pera@gateway/vpn/mullvad/pera) (Ping timeout: 246 seconds) |
| 2021-01-17 11:23:21 +0100 | aplainze1akind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-01-17 11:23:26 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-01-17 11:23:30 +0100 | aplainze1akind | aplainzetakind |
| 2021-01-17 11:24:30 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-17 11:26:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 11:26:41 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-17 11:26:57 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-01-17 11:27:32 +0100 | ubert | (~Thunderbi@p200300ecdf1ee024e02324fb94e406b3.dip0.t-ipconnect.de) |
| 2021-01-17 11:29:08 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 11:30:18 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 11:30:40 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 11:31:24 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-01-17 11:31:58 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 11:32:31 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 2021-01-17 11:32:44 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-01-17 11:32:49 +0100 | conal_ | (~conal@198.8.81.77) (Ping timeout: 246 seconds) |
| 2021-01-17 11:35:12 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-17 11:38:12 +0100 | Sonderblade | (~helloman@94.191.152.250) (Ping timeout: 256 seconds) |
| 2021-01-17 11:40:20 +0100 | conal | (~conal@198.8.81.77) |
| 2021-01-17 11:43:16 +0100 | Ayo | (~quassel@82.177.83.189) (Ping timeout: 240 seconds) |
| 2021-01-17 11:47:24 +0100 | ircbrowse_tom | (~ircbrowse@64.225.78.177) |
| 2021-01-17 11:47:25 +0100 | Server | +CLnt |
| 2021-01-17 11:47:35 +0100 | DTZUZU | (~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-01-17 11:49:53 +0100 | <ij> | if I have (&&) <$> action <*> action', then both actions will be computed? even if the first would've sufficed? |
| 2021-01-17 11:50:17 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 11:52:33 +0100 | <[exa]> | ij: depends on how the Applicative wrap behaves. For example, if `action :: Maybe Bool`, there's no reason to evaluate `action'` if the first action "fails" |
| 2021-01-17 11:52:55 +0100 | <ij> | ah, they're IOs |
| 2021-01-17 11:53:20 +0100 | <ij> | hm, maybe I can use allM |
| 2021-01-17 11:53:21 +0100 | <[exa]> | ij: that being said, if the first thing returns `Just False`, the second action can return `Just undefined` and it will work. |
| 2021-01-17 11:53:50 +0100 | <[exa]> | IO can fail and short-circuit basically, anytime b/c it interacts with OS |
| 2021-01-17 11:57:16 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-01-17 11:58:04 +0100 | <[exa]> | > andM [Just False, undefined] |
| 2021-01-17 11:58:07 +0100 | <lambdabot> | error: |
| 2021-01-17 11:58:07 +0100 | <lambdabot> | • Variable not in scope: andM :: [Maybe Bool] -> t |
| 2021-01-17 11:58:07 +0100 | <lambdabot> | • Perhaps you meant ‘and’ (imported from Data.List) |
| 2021-01-17 11:58:20 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 11:58:22 +0100 | <ij> | :t allM |
| 2021-01-17 11:58:24 +0100 | <lambdabot> | error: |
| 2021-01-17 11:58:24 +0100 | <lambdabot> | • Variable not in scope: allM |
| 2021-01-17 11:58:24 +0100 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-01-17 11:58:31 +0100 | <ij> | it's in extra |
| 2021-01-17 11:58:41 +0100 | <ij> | I won't have undefined |
| 2021-01-17 11:58:47 +0100 | <ephemient> | @hoogle allM |
| 2021-01-17 11:58:48 +0100 | <lambdabot> | Control.Monad.Extra allM :: Monad m => (a -> m Bool) -> [a] -> m Bool |
| 2021-01-17 11:58:48 +0100 | <lambdabot> | Extra allM :: Monad m => (a -> m Bool) -> [a] -> m Bool |
| 2021-01-17 11:58:48 +0100 | <lambdabot> | Control.Monad.Loops allM :: Monad m => (a -> m Bool) -> [a] -> m Bool |
| 2021-01-17 11:58:48 +0100 | <[exa]> | it's not defined here. It would print `Just False`, andM/allM copy the short-circuiting behavior of the inner boolean to the wrap |
| 2021-01-17 11:58:51 +0100 | <ij> | though I see how it might come in handy |
| 2021-01-17 11:59:28 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 11:59:31 +0100 | <[exa]> | ...which is what you want if I understood it correctly :] |
| 2021-01-17 11:59:49 +0100 | <ephemient> | :t \a b -> a >>= bool (pure False) b |
| 2021-01-17 11:59:51 +0100 | <lambdabot> | Monad m => m Bool -> m Bool -> m Bool |
| 2021-01-17 12:00:53 +0100 | _noblegas | (uid91066@gateway/web/irccloud.com/x-fvgaqktiekoiqbcg) |
| 2021-01-17 12:01:41 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-01-17 12:02:15 +0100 | <ij> | I'm not sure about the semantics |
| 2021-01-17 12:02:16 +0100 | neiluj | (~jco@unaffiliated/neiluj) (Ping timeout: 272 seconds) |
| 2021-01-17 12:02:35 +0100 | <ij> | i.e. if it won't get computed it can be undefined |
| 2021-01-17 12:02:47 +0100 | <[exa]> | ij: there are 2 possible short-circuits there, 1] if the monad fails 2] if the bool is False |
| 2021-01-17 12:02:48 +0100 | <ij> | whether those are the same |
| 2021-01-17 12:03:37 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 246 seconds) |
| 2021-01-17 12:03:44 +0100 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-01-17 12:04:29 +0100 | <[exa]> | allM processes both, the `(&&) <$> ...` you showed above will retain all monad actions (ie. fail if there's at least one monadic fail in the list) but will short-circuit only the booleans (the monads can return whatever they want after the first False, just their "side-effects" will be retained |
| 2021-01-17 12:05:47 +0100 | <[exa]> | the snipped that ephemient showed above is the "smart &&" that is used in allM, to propagate the returning of False to also short-circuit the monadic execution |
| 2021-01-17 12:05:55 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) |
| 2021-01-17 12:06:56 +0100 | conal | (~conal@198.8.81.77) (Ping timeout: 256 seconds) |
| 2021-01-17 12:07:39 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 2021-01-17 12:09:55 +0100 | conal | (~conal@198.8.81.77) |
| 2021-01-17 12:10:55 +0100 | <[exa]> | btw you can try various combinations of `andM [print 1 >> return False, print 2 >> return False]`, and the same with `(&&) <$> ...`, or better `fmap and . sequenceA` |
| 2021-01-17 12:11:40 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-01-17 12:13:01 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-01-17 12:16:26 +0100 | _bin | (~bin@2600:1700:10a1:38d0:4b5:a737:1596:3bbc) (Quit: ZNC - https://znc.in) |
| 2021-01-17 12:16:41 +0100 | _bin | (~bin@2600:1700:10a1:38d0:f996:1ec:ae90:ed89) |
| 2021-01-17 12:17:18 +0100 | Franciman | (~francesco@host-82-48-174-127.retail.telecomitalia.it) |
| 2021-01-17 12:17:59 +0100 | Ayo | (~quassel@82.177.83.189) |
| 2021-01-17 12:23:13 +0100 | Ayo | (~quassel@82.177.83.189) (Ping timeout: 246 seconds) |
| 2021-01-17 12:24:52 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-01-17 12:25:17 +0100 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-01-17 12:25:41 +0100 | Alleria | Guest56052 |
| 2021-01-17 12:26:19 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 12:33:38 +0100 | kuribas | (~user@ptr-25vy0i878yf5hm2w2v7.18120a2.ip6.access.telenet.be) |
| 2021-01-17 12:33:53 +0100 | Ayo | (~quassel@82.177.83.189) |
| 2021-01-17 12:37:03 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 2021-01-17 12:39:18 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-01-17 12:40:31 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
| 2021-01-17 12:40:34 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 12:43:23 +0100 | worc3131 | (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) |
| 2021-01-17 12:43:55 +0100 | Ayo | (~quassel@82.177.83.189) (Ping timeout: 256 seconds) |
| 2021-01-17 12:44:27 +0100 | <idnar> | siraben: probably the code to build the typeclass dictionaries along with the method accessor |
| 2021-01-17 12:46:25 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 264 seconds) |
| 2021-01-17 12:46:55 +0100 | <siraben> | idnar: wouldn't monomorphisation take care of that? |
| 2021-01-17 12:47:41 +0100 | <idnar> | siraben: you're exporting the polymorphic code |
| 2021-01-17 12:48:06 +0100 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-01-17 12:48:35 +0100 | <siraben> | Ah |
| 2021-01-17 12:48:35 +0100 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-01-17 12:52:56 +0100 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-01-17 12:56:26 +0100 | knupfer | (~Thunderbi@200116b82c6a6700542cde19098204ff.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-01-17 12:56:44 +0100 | worc3131 | (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 246 seconds) |
| 2021-01-17 12:56:51 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-01-17 12:57:18 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-01-17 13:05:32 +0100 | ADG1089__ | (~aditya@122.163.165.143) |
| 2021-01-17 13:07:34 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 13:09:43 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 13:10:06 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 13:10:32 +0100 | p3n | (~p3n@217.198.124.246) |
| 2021-01-17 13:10:48 +0100 | p3n | (~p3n@217.198.124.246) (Remote host closed the connection) |
| 2021-01-17 13:11:57 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 13:15:12 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 13:16:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 2021-01-17 13:18:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-01-17 13:19:37 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 265 seconds) |
| 2021-01-17 13:23:20 +0100 | LittleFox | (~littlefox@rondra.lf-net.org) (Remote host closed the connection) |
| 2021-01-17 13:24:30 +0100 | LittleFox | (~littlefox@rondra.lf-net.org) |
| 2021-01-17 13:25:08 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-01-17 13:28:21 +0100 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:2086:3c20:f471:b7c2) |
| 2021-01-17 13:32:43 +0100 | ph88 | (~ph88@2a02:8109:9e00:7e5c:edab:a6c4:60f2:9240) (Ping timeout: 272 seconds) |
| 2021-01-17 13:40:54 +0100 | mhinz | (~mhi^@unaffiliated/mhi/x-9993184) |
| 2021-01-17 13:42:39 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) |
| 2021-01-17 13:44:03 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-01-17 13:44:03 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-01-17 13:44:03 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-01-17 13:45:11 +0100 | christo | (~chris@81.96.113.213) |
| 2021-01-17 13:46:50 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:3eab:bcec:ac10:46f6) (Ping timeout: 264 seconds) |
| 2021-01-17 13:47:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 13:47:18 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:7c55:f390:549c:7d91) |
| 2021-01-17 13:48:08 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 13:49:34 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 13:53:07 +0100 | coeus | (~coeus@p200300d0273e3a0010a118dda365b6f5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-01-17 13:54:38 +0100 | vst | (~vst@2406:3003:2004:2e8a:88e0:d:26a8:735e) (Ping timeout: 264 seconds) |
| 2021-01-17 13:57:20 +0100 | <ski> | s/monad fails/action fails/,s/monads/monadic actions/ |
| 2021-01-17 13:58:13 +0100 | <[exa]> | true. |
| 2021-01-17 14:04:54 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-17 14:05:50 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-01-17 14:08:10 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-01-17 14:08:32 +0100 | coeus | (~coeus@p200300d0274147008292896d606877b0.dip0.t-ipconnect.de) |
| 2021-01-17 14:09:29 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 14:09:57 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 14:10:02 +0100 | ubert | (~Thunderbi@p200300ecdf1ee024e02324fb94e406b3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-01-17 14:10:19 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 14:10:40 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 2021-01-17 14:11:20 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 265 seconds) |
| 2021-01-17 14:11:37 +0100 | o1lo01ol1o | (~o1lo01ol1@dsl-51-169.bl26.telepac.pt) |
| 2021-01-17 14:12:52 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 14:15:16 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds) |
| 2021-01-17 14:15:38 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 2021-01-17 14:16:14 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-01-17 14:16:32 +0100 | o1lo01ol1o | (~o1lo01ol1@dsl-51-169.bl26.telepac.pt) (Ping timeout: 272 seconds) |
| 2021-01-17 14:17:16 +0100 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection) |
| 2021-01-17 14:17:23 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 14:17:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 2021-01-17 14:17:40 +0100 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-01-17 14:20:01 +0100 | darjeeling_ | (~darjeelin@122.245.218.239) (Ping timeout: 264 seconds) |
| 2021-01-17 14:20:29 +0100 | darjeeling_ | (~darjeelin@122.245.218.239) |
| 2021-01-17 14:21:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-01-17 14:23:32 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 246 seconds) |
| 2021-01-17 14:25:36 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-17 14:25:43 +0100 | son0p | (~son0p@181.58.39.182) (Quit: leaving) |
| 2021-01-17 14:30:16 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-17 14:30:23 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 14:30:27 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 2021-01-17 14:30:29 +0100 | drbean | (~drbean@TC210-63-209-48.static.apol.com.tw) |
| 2021-01-17 14:30:45 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 14:34:33 +0100 | ffej | (~ffej@s91904426.blix.com) |
| 2021-01-17 14:35:30 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-01-17 14:36:12 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-01-17 14:37:08 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-01-17 14:39:05 +0100 | _noblegas | (uid91066@gateway/web/irccloud.com/x-fvgaqktiekoiqbcg) (Quit: Connection closed for inactivity) |
| 2021-01-17 14:39:08 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-01-17 14:39:20 +0100 | polyphem | (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-01-17 14:42:39 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) (Quit: Ping timeout (120 seconds)) |
| 2021-01-17 14:44:54 +0100 | acidjnk_new | (~acidjnk@p200300d0c704e72889e508a3ead3d306.dip0.t-ipconnect.de) |
| 2021-01-17 14:45:03 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 2021-01-17 14:48:22 +0100 | drbean | (~drbean@TC210-63-209-48.static.apol.com.tw) (Ping timeout: 256 seconds) |
| 2021-01-17 14:48:47 +0100 | tlaxkit | (~kvirc@89.35.63.16) |
| 2021-01-17 14:48:53 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) |
| 2021-01-17 14:49:43 +0100 | christo | (~chris@81.96.113.213) |
| 2021-01-17 14:49:44 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-17 14:53:27 +0100 | ffej | (~ffej@s91904426.blix.com) (Remote host closed the connection) |
| 2021-01-17 14:53:36 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 2021-01-17 14:53:40 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 14:53:49 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-01-17 14:55:07 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 246 seconds) |
| 2021-01-17 14:56:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 14:56:20 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-01-17 14:58:00 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-01-17 14:59:43 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-01-17 15:01:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-01-17 15:05:30 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-01-17 15:05:37 +0100 | pera | (pera@gateway/vpn/mullvad/pera) |
| 2021-01-17 15:07:56 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 2021-01-17 15:10:21 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:3850:9fd0:d03b:fe17) |
| 2021-01-17 15:11:15 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 15:12:58 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-01-17 15:13:27 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-01-17 15:13:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 15:16:30 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:7c55:f390:549c:7d91) (Remote host closed the connection) |
| 2021-01-17 15:16:35 +0100 | LKoen_ | (~LKoen@119.169.9.109.rev.sfr.net) |
| 2021-01-17 15:16:48 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:236:5c77:9b1c:d6cf) |
| 2021-01-17 15:18:17 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds) |
| 2021-01-17 15:19:11 +0100 | LKoen | (~LKoen@119.169.9.109.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2021-01-17 15:20:55 +0100 | berberman | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 15:21:22 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-17 15:21:44 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) |
| 2021-01-17 15:21:58 +0100 | lukelau_ | lukelau |
| 2021-01-17 15:22:27 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-17 15:23:02 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 15:25:56 +0100 | <siraben> | idnar: but when I put `main = print (norm (1,2,3))` and `main = print (norm3 (1,2,3))` where `norm` is the typeclass version and `norm3` is the regular function, the typeclass version is still larger |
| 2021-01-17 15:27:32 +0100 | <idnar> | siraben: you need an export list still I think |
| 2021-01-17 15:28:40 +0100 | son0p | (~son0p@181.136.122.143) (Ping timeout: 265 seconds) |
| 2021-01-17 15:28:43 +0100 | lamba | (05c2c76e@5.194.199.110) |
| 2021-01-17 15:30:16 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0) |
| 2021-01-17 15:31:33 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-17 15:34:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 15:34:26 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) |
| 2021-01-17 15:36:52 +0100 | prlCIql6ruclcri | (~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448) |
| 2021-01-17 15:37:01 +0100 | lamba | (05c2c76e@5.194.199.110) (Quit: Connection closed) |
| 2021-01-17 15:37:33 +0100 | lamba | (05c2c76e@5.194.199.110) |
| 2021-01-17 15:37:49 +0100 | lamba | (05c2c76e@5.194.199.110) (Client Quit) |
| 2021-01-17 15:40:00 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-01-17 15:40:31 +0100 | jlamothe | (~jlamothe@198.251.55.207) |
| 2021-01-17 15:40:50 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-01-17 15:43:27 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0) |
| 2021-01-17 15:44:11 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-17 15:49:03 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-01-17 15:49:04 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) (Ping timeout: 248 seconds) |
| 2021-01-17 15:50:43 +0100 | dftxbs3e | (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 2021-01-17 15:50:58 +0100 | dftxbs3e | (~dftxbs3e@unaffiliated/dftxbs3e) |
| 2021-01-17 15:51:07 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) (Ping timeout: 246 seconds) |
| 2021-01-17 15:51:16 +0100 | goepsilongo | (~user@2603-7000-ab00-62ed-b08e-e1b6-7c6c-8336.res6.spectrum.com) |
| 2021-01-17 15:55:14 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-01-17 15:56:04 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-mbxdfsspznlskpfg) |
| 2021-01-17 15:56:55 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-01-17 15:57:03 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) |
| 2021-01-17 15:58:59 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-01-17 16:00:13 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-01-17 16:02:06 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
| 2021-01-17 16:03:20 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-01-17 16:04:39 +0100 | o1lo01ol1o | (~o1lo01ol1@176.78.51.169) |
| 2021-01-17 16:04:40 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-01-17 16:04:57 +0100 | sw1nn | (~sw1nn@2a00:23c6:2385:3a00:f123:6af9:d5d5:5175) (Ping timeout: 260 seconds) |
| 2021-01-17 16:05:50 +0100 | berberman | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 16:05:58 +0100 | prlCIql6ruclcri | (~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448) (Quit: Leaving) |
| 2021-01-17 16:07:03 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-17 16:09:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-01-17 16:09:37 +0100 | o1lo01ol1o | (~o1lo01ol1@176.78.51.169) (Ping timeout: 256 seconds) |
| 2021-01-17 16:11:01 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2021-01-17 16:11:49 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 2021-01-17 16:14:29 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 16:15:34 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 2021-01-17 16:15:37 +0100 | knupfer | (~Thunderbi@200116b82c6a67009ce5b9fffe103f71.dip.versatel-1u1.de) |
| 2021-01-17 16:15:39 +0100 | knupfer | (~Thunderbi@200116b82c6a67009ce5b9fffe103f71.dip.versatel-1u1.de) (Client Quit) |
| 2021-01-17 16:15:40 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-01-17 16:15:50 +0100 | knupfer | (~Thunderbi@mue-88-130-61-056.dsl.tropolys.de) |
| 2021-01-17 16:17:28 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-01-17 16:18:15 +0100 | sw1nn | (~sw1nn@2a00:23c6:2385:3a00:9b97:771f:9a63:bf52) |
| 2021-01-17 16:18:41 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 16:18:43 +0100 | asheshambasta | (~user@ptr-e1lysaugoubvdkasp03.18120a2.ip6.access.telenet.be) |
| 2021-01-17 16:18:51 +0100 | asheshambasta | (~user@ptr-e1lysaugoubvdkasp03.18120a2.ip6.access.telenet.be) () |
| 2021-01-17 16:19:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 2021-01-17 16:20:00 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 16:20:17 +0100 | hiroaki | (~hiroaki@ip4d166c42.dynamic.kabel-deutschland.de) |
| 2021-01-17 16:20:41 +0100 | machinedgod | (~machinedg@24.105.81.50) (Quit: leaving) |
| 2021-01-17 16:21:38 +0100 | Franciman | (~francesco@host-82-48-174-127.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-01-17 16:24:39 +0100 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-01-17 16:26:34 +0100 | fnurglewitz | (uid263868@gateway/web/irccloud.com/x-nhzoizuedcpgsddc) |
| 2021-01-17 16:30:26 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
| 2021-01-17 16:30:44 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-01-17 16:33:22 +0100 | Baerwin | (~tadeas@185-219-166-254-static.vivo.cz) |
| 2021-01-17 16:33:31 +0100 | Baerwin | (~tadeas@185-219-166-254-static.vivo.cz) () |
| 2021-01-17 16:35:12 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-17 16:37:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 16:37:15 +0100 | saitamaplus | (uid272474@gateway/web/irccloud.com/x-wxoxutqrvtcmzjrx) |
| 2021-01-17 16:37:41 +0100 | o1lo01ol1o | (~o1lo01ol1@dsl-51-169.bl26.telepac.pt) |
| 2021-01-17 16:38:04 +0100 | di-wu | (~5ee075ce@178.62.248.58) ("Bye.") |
| 2021-01-17 16:38:40 +0100 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-qvjkocemxgyxrpwr) |
| 2021-01-17 16:41:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 16:43:30 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) |
| 2021-01-17 16:45:29 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-01-17 16:48:48 +0100 | <ij> | @hoogle m (Either e a) -> ExceptT m e a |
| 2021-01-17 16:48:49 +0100 | <lambdabot> | No results found |
| 2021-01-17 16:49:42 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-01-17 16:50:31 +0100 | <ij> | ah, it's EitherT, not ExceptT |
| 2021-01-17 16:51:43 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
| 2021-01-17 16:54:19 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 2021-01-17 16:54:41 +0100 | <ski> | @type ExceptT |
| 2021-01-17 16:54:43 +0100 | <lambdabot> | m (Either e a) -> ExceptT e m a |
| 2021-01-17 16:54:52 +0100 | son0p | (~son0p@181.136.122.143) (Ping timeout: 272 seconds) |
| 2021-01-17 16:59:42 +0100 | Guest18729 | (~z@ics141-225.icsincorporated.com) (Remote host closed the connection) |
| 2021-01-17 16:59:49 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
| 2021-01-17 17:00:44 +0100 | <ij> | hm |
| 2021-01-17 17:00:55 +0100 | <ij> | from mtl, right? |
| 2021-01-17 17:01:56 +0100 | <ski> | `transformers' |
| 2021-01-17 17:02:04 +0100 | saolof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-01-17 17:02:07 +0100 | kottt | (~kottt@178.162.209.171) |
| 2021-01-17 17:02:20 +0100 | LKoen | (~LKoen@119.169.9.109.rev.sfr.net) |
| 2021-01-17 17:02:45 +0100 | urodna_ | (~urodna@unaffiliated/urodna) |
| 2021-01-17 17:02:50 +0100 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-01-17 17:03:03 +0100 | Saukk_ | (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 2021-01-17 17:03:13 +0100 | Alleria | Guest66726 |
| 2021-01-17 17:03:41 +0100 | mputz1 | (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 2021-01-17 17:04:13 +0100 | exferenc- | (~exference@2a01:4f8:c0c:e::2) |
| 2021-01-17 17:04:42 +0100 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-01-17 17:04:55 +0100 | Guest56052 | (~textual@zrcout.mskcc.org) (Ping timeout: 256 seconds) |
| 2021-01-17 17:04:55 +0100 | mputz | (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-01-17 17:04:55 +0100 | nckx | (~nckx@tobias.gr) (Ping timeout: 256 seconds) |
| 2021-01-17 17:04:55 +0100 | hexagoxel | (~hexagoxel@hexagoxel.de) (Ping timeout: 256 seconds) |
| 2021-01-17 17:04:55 +0100 | exferenceBot | (~exference@hexagoxel.de) (Ping timeout: 256 seconds) |
| 2021-01-17 17:04:55 +0100 | conal | (~conal@198.8.81.77) (Ping timeout: 256 seconds) |
| 2021-01-17 17:04:56 +0100 | exferenc- | exferenceBot |
| 2021-01-17 17:05:09 +0100 | LKoen_ | (~LKoen@119.169.9.109.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:09 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:10 +0100 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:10 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:10 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:10 +0100 | jonn | (~sweater@206.81.18.26) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:10 +0100 | atomi | (~atomi@35.71.197.35.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:37 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-01-17 17:05:38 +0100 | hexagoxel | (~hexagoxel@hexagoxel.de) |
| 2021-01-17 17:05:41 +0100 | jonn | (~sweater@206.81.18.26) |
| 2021-01-17 17:05:43 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:44 +0100 | urodna | (~urodna@unaffiliated/urodna) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:44 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:44 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:44 +0100 | tlaxkit | (~kvirc@89.35.63.16) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:44 +0100 | Moyst | (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:44 +0100 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:44 +0100 | fre | (~freusque@104.238.190.229) (Ping timeout: 256 seconds) |
| 2021-01-17 17:05:48 +0100 | nckx | (~nckx@tobias.gr) |
| 2021-01-17 17:05:54 +0100 | conal | (~conal@198.8.81.77) |
| 2021-01-17 17:05:59 +0100 | mputz1 | mputz |
| 2021-01-17 17:06:00 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2021-01-17 17:06:03 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds) |
| 2021-01-17 17:06:06 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 17:06:12 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-17 17:06:27 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-01-17 17:06:41 +0100 | atomi | (~atomi@35.71.197.35.bc.googleusercontent.com) |
| 2021-01-17 17:06:44 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) |
| 2021-01-17 17:06:47 +0100 | weimu | (~weimu@host-79-40-87-225.business.telecomitalia.it) |
| 2021-01-17 17:07:08 +0100 | fre | (~freusque@104.238.190.229) |
| 2021-01-17 17:08:02 +0100 | Moyst | (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 2021-01-17 17:08:09 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-01-17 17:11:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 17:11:19 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-01-17 17:15:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 17:16:10 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-01-17 17:17:09 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) |
| 2021-01-17 17:19:42 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 2021-01-17 17:20:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 2021-01-17 17:21:44 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-01-17 17:23:19 +0100 | christo | (~chris@81.96.113.213) |
| 2021-01-17 17:27:49 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 17:28:32 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-17 17:30:26 +0100 | saolof | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2021-01-17 17:31:15 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-01-17 17:33:54 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-01-17 17:34:47 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-01-17 17:38:35 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-01-17 17:39:43 +0100 | son0p | (~son0p@181.136.122.143) (Ping timeout: 256 seconds) |
| 2021-01-17 17:39:53 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 246 seconds) |
| 2021-01-17 17:41:01 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-01-17 17:42:04 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 17:42:28 +0100 | saolof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-01-17 17:43:01 +0100 | mhinz | (~mhi^@unaffiliated/mhi/x-9993184) (Quit: mhinz) |
| 2021-01-17 17:43:47 +0100 | matryoshka | (~matryoshk@184.75.223.227) |
| 2021-01-17 17:44:54 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 17:45:38 +0100 | acidjnk_new | (~acidjnk@p200300d0c704e72889e508a3ead3d306.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2021-01-17 17:46:19 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-01-17 17:46:31 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-01-17 17:49:58 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 272 seconds) |
| 2021-01-17 17:51:21 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-01-17 17:51:47 +0100 | gnu-linuxera | (~kvirc@89.35.63.16) |
| 2021-01-17 17:52:02 +0100 | matryoshka | (~matryoshk@184.75.223.227) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 17:52:02 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 17:52:24 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 17:52:31 +0100 | bor0 | (~boro@unaffiliated/boro/x-000000001) |
| 2021-01-17 17:52:56 +0100 | <ij> | @hoogle m a -> ExceptT e m a |
| 2021-01-17 17:52:57 +0100 | <lambdabot> | No results found |
| 2021-01-17 17:53:10 +0100 | <ij> | is it only ExceptT . fmap return? |
| 2021-01-17 17:53:11 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 2021-01-17 17:53:15 +0100 | <ij> | :t ExceptT . fmap return |
| 2021-01-17 17:53:17 +0100 | <lambdabot> | Functor m => m a -> ExceptT e m a |
| 2021-01-17 17:53:56 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) (Quit: Ping timeout (120 seconds)) |
| 2021-01-17 17:54:17 +0100 | <bor0> | (Asked this the other day but trying again :) I have written an evaluator for a very simple language (addition, multiplication, subtraction). Besides literals, it also supports identifiers. How can I approach writing a Hoare-like implementation (preconditions and postconditions) on top of this language? |
| 2021-01-17 17:54:35 +0100 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-01-17 17:55:02 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) |
| 2021-01-17 17:55:50 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-01-17 17:57:14 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-01-17 17:57:46 +0100 | gnu-linuxera | (~kvirc@89.35.63.16) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2021-01-17 17:58:12 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-01-17 17:59:07 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 17:59:26 +0100 | samsepi0l | (~jh@2a02:908:2e30:a440:9b59:4b04:b912:5db) |
| 2021-01-17 18:00:40 +0100 | <bor0> | Just found https://www.cl.cam.ac.uk/archive/mjcg/HoareLogic/Lectures/AllLectures.pdf, might be useful as something to start with.. |
| 2021-01-17 18:02:34 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-01-17 18:04:25 +0100 | pera | (pera@gateway/vpn/mullvad/pera) (Ping timeout: 264 seconds) |
| 2021-01-17 18:04:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-01-17 18:04:37 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 18:05:51 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit) |
| 2021-01-17 18:06:06 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 18:06:16 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-01-17 18:06:40 +0100 | tlaxkit | (~kvirc@89.35.63.16) |
| 2021-01-17 18:07:11 +0100 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2021-01-17 18:10:33 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-01-17 18:11:36 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-01-17 18:14:09 +0100 | sgibber2018 | (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 2021-01-17 18:14:12 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-01-17 18:14:15 +0100 | Saukk_ | (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 2021-01-17 18:16:05 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Ping timeout: 240 seconds) |
| 2021-01-17 18:16:17 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:236:5c77:9b1c:d6cf) (Ping timeout: 246 seconds) |
| 2021-01-17 18:17:13 +0100 | berberman | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 18:17:17 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:7a03:81e8:7211:5b81) |
| 2021-01-17 18:17:38 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-17 18:18:09 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-01-17 18:23:19 +0100 | ADG1089__ | (~aditya@122.163.165.143) (Remote host closed the connection) |
| 2021-01-17 18:23:46 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-17 18:24:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 18:24:23 +0100 | geekosaur | (ac3a3bd3@172.58.59.211) (Quit: Connection closed) |
| 2021-01-17 18:25:23 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 2021-01-17 18:25:37 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-17 18:26:12 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 18:27:02 +0100 | berberman | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-17 18:27:09 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-01-17 18:27:28 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-17 18:28:53 +0100 | danso | (~dan@23-233-104-25.cpe.pppoe.ca) (Quit: WeeChat 3.0) |
| 2021-01-17 18:34:31 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-137.cust.tzulo.com) |
| 2021-01-17 18:35:36 +0100 | Guest66726 | (~textual@zrcout.mskcc.org) (Ping timeout: 256 seconds) |
| 2021-01-17 18:37:52 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2021-01-17 18:39:12 +0100 | pfurla | (~pfurla@64.145.79.225) |
| 2021-01-17 18:41:32 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-01-17 18:42:46 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 18:43:08 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 18:47:02 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-01-17 18:48:08 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-01-17 18:48:17 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-01-17 18:48:27 +0100 | threestrikes | (~haskell@cpe-24-243-229-2.hot.res.rr.com) (Quit: WeeChat 2.9) |
| 2021-01-17 18:49:13 +0100 | samsepi0l | (~jh@2a02:908:2e30:a440:9b59:4b04:b912:5db) (Quit: Konversation terminated!) |
| 2021-01-17 18:54:17 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-17 18:54:55 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
| 2021-01-17 18:56:55 +0100 | goepsilongo | (~user@2603-7000-ab00-62ed-b08e-e1b6-7c6c-8336.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-01-17 18:57:56 +0100 | gioyik | (~gioyik@186.112.104.70) |
| 2021-01-17 18:58:39 +0100 | bor0 | (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving) |
| 2021-01-17 19:00:04 +0100 | conal | (~conal@198.8.81.77) (Quit: Computer has gone to sleep.) |
| 2021-01-17 19:01:20 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-kitzykvumhbtkqal) (Quit: Connection closed for inactivity) |
| 2021-01-17 19:02:53 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-01-17 19:02:53 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-01-17 19:02:53 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-01-17 19:05:41 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-01-17 19:05:50 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-17 19:06:34 +0100 | kupi | (uid212005@gateway/web/irccloud.com/x-vnlnspyexpsfovoh) |
| 2021-01-17 19:07:28 +0100 | Alleria | (~textual@2603-7000-3040-0000-c12c-929c-070d-5eab.res6.spectrum.com) |
| 2021-01-17 19:07:52 +0100 | Alleria | Guest57843 |
| 2021-01-17 19:08:10 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) |
| 2021-01-17 19:10:24 +0100 | conal | (~conal@198.8.81.231) |
| 2021-01-17 19:15:59 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:5c55:ae7f:aac0:425b) (Ping timeout: 272 seconds) |
| 2021-01-17 19:17:00 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-01-17 19:21:43 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-01-17 19:21:45 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-iwzynhogbftxdtln) (Quit: Connection closed for inactivity) |
| 2021-01-17 19:22:53 +0100 | shaunren | (~shaunren@104.156.64.158) |
| 2021-01-17 19:22:59 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-01-17 19:25:30 +0100 | shaunren | (~shaunren@104.156.64.158) (Quit: Quit) |
| 2021-01-17 19:25:35 +0100 | ADG1089__ | (~aditya@122.163.165.143) |
| 2021-01-17 19:27:15 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-01-17 19:28:10 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:133b:71bb:64b:9caa) |
| 2021-01-17 19:28:42 +0100 | shaunren | (~shaunren@104.156.64.158) |
| 2021-01-17 19:31:07 +0100 | carlomagno | (~cararell@148.87.23.13) |
| 2021-01-17 19:34:44 +0100 | conal | (~conal@198.8.81.231) (Quit: Computer has gone to sleep.) |
| 2021-01-17 19:35:46 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-jllbcrojcqgpytds) |
| 2021-01-17 19:35:51 +0100 | <b4er> | You probably haven't got an answer as there is too much room for interpretation. |
| 2021-01-17 19:37:07 +0100 | <b4er> | bor0, it could be anything from extending a datatype to be sth. like `Stmt {pre, post :: [Condition]}` up to "this is not decidable so there's no implementation" |
| 2021-01-17 19:37:46 +0100 | conal | (~conal@198.8.81.231) |
| 2021-01-17 19:38:48 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2021-01-17 19:39:15 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-01-17 19:43:00 +0100 | rwdrich | (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 2021-01-17 19:44:48 +0100 | rwdrich | (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Client Quit) |
| 2021-01-17 19:44:59 +0100 | TheCommieDuck | (~mark@host-78-146-136-48.as13285.net) |
| 2021-01-17 19:45:25 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 19:46:37 +0100 | xff0x | (~xff0x@2001:1a81:5336:d000:7a03:81e8:7211:5b81) (Ping timeout: 260 seconds) |
| 2021-01-17 19:47:17 +0100 | xff0x | (~xff0x@83.236.21.174) |
| 2021-01-17 19:47:18 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 19:47:54 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 19:48:20 +0100 | pfurla | (~pfurla@64.145.79.225) (Ping timeout: 246 seconds) |
| 2021-01-17 19:50:52 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-01-17 19:52:19 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 2021-01-17 19:53:00 +0100 | ADG1089__ | (~aditya@122.163.165.143) (Remote host closed the connection) |
| 2021-01-17 19:53:24 +0100 | ADG1089__ | (~aditya@122.163.165.143) |
| 2021-01-17 19:57:27 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-01-17 19:57:51 +0100 | shaunren | (~shaunren@104.156.64.158) (Quit: Quit) |
| 2021-01-17 19:58:08 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds) |
| 2021-01-17 19:58:48 +0100 | ADG1089__ | (~aditya@122.163.165.143) (Remote host closed the connection) |
| 2021-01-17 19:59:11 +0100 | ADG1089__ | (~aditya@122.163.165.143) |
| 2021-01-17 20:02:00 +0100 | tuxcaeli | (~shaun@104.156.64.158) |
| 2021-01-17 20:02:44 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-17 20:02:55 +0100 | carlomagno | (~cararell@148.87.23.13) (Quit: Leaving.) |
| 2021-01-17 20:03:12 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 20:03:30 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-01-17 20:03:32 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-01-17 20:04:13 +0100 | xsperry | (~as@unaffiliated/xsperry) () |
| 2021-01-17 20:05:13 +0100 | Forlorn | (~Forlorn@unaffiliated/forlorn) (Read error: Connection reset by peer) |
| 2021-01-17 20:06:18 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Quit: Konversation terminated!) |
| 2021-01-17 20:06:40 +0100 | centril | (~centril@213-66-146-92-no250.tbcn.telia.com) (Quit: WeeChat 3.0) |
| 2021-01-17 20:07:27 +0100 | conal | (~conal@198.8.81.231) (Quit: Computer has gone to sleep.) |
| 2021-01-17 20:11:39 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-01-17 20:13:03 +0100 | Bratishka | (~user@158.46.97.79) |
| 2021-01-17 20:13:08 +0100 | Bratishka | (~user@158.46.97.79) ("ERC (IRC client for Emacs 26.3)") |
| 2021-01-17 20:15:20 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-01-17 20:15:43 +0100 | tff^ | (~hph@ip98-184-89-2.mc.at.cox.net) () |
| 2021-01-17 20:18:03 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-01-17 20:18:18 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-01-17 20:18:20 +0100 | knupfer | (~Thunderbi@mue-88-130-61-056.dsl.tropolys.de) (Read error: Connection reset by peer) |
| 2021-01-17 20:18:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-01-17 20:18:25 +0100 | knupfer1 | (~Thunderbi@200116b82c6a67004c35ee1b32fb873c.dip.versatel-1u1.de) |
| 2021-01-17 20:18:33 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 20:19:38 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 20:20:03 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-17 20:20:47 +0100 | knupfer1 | knupfer |
| 2021-01-17 20:20:57 +0100 | gioyik_ | (~gioyik@186.112.104.70) |
| 2021-01-17 20:21:07 +0100 | gnu-linuxera | (~kvirc@89.35.63.16) |
| 2021-01-17 20:21:20 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-01-17 20:21:29 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 20:21:47 +0100 | Deide | (~Deide@217.155.19.23) (Ping timeout: 256 seconds) |
| 2021-01-17 20:21:57 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-01-17 20:22:03 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 20:22:25 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 20:22:42 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 20:23:29 +0100 | gioyik | (~gioyik@186.112.104.70) (Ping timeout: 256 seconds) |
| 2021-01-17 20:23:29 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 2021-01-17 20:23:36 +0100 | <ij> | does IO interfere with optimisations? my maze solver had pure reads from the board, now it has IO reads |
| 2021-01-17 20:24:03 +0100 | tlaxkit | (~kvirc@89.35.63.16) (Ping timeout: 256 seconds) |
| 2021-01-17 20:24:22 +0100 | <monochrom> | That question is too broad. The only correct answer is "it depends". |
| 2021-01-17 20:24:44 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 20:25:18 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 20:25:21 +0100 | <ij> | It's meant to be broad – it can only get worse, but should it in some instances? |
| 2021-01-17 20:25:27 +0100 | <ij> | I guess what you're saying is yes |
| 2021-01-17 20:25:34 +0100 | <ij> | is is* |
| 2021-01-17 20:25:38 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 20:25:51 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 20:27:14 +0100 | <merijn> | ij: What do you mean "it can only get worse"? |
| 2021-01-17 20:27:48 +0100 | <ij> | I would imagine having IO adds uncertainty, so you can optimize less, so speed can only get worse |
| 2021-01-17 20:27:49 +0100 | <dexterfoo> | In my executable cabal file, I have: "ghc-options: -threaded". Do I also need this flag in my library cabal file? |
| 2021-01-17 20:27:54 +0100 | <merijn> | ij: Why? |
| 2021-01-17 20:28:01 +0100 | <merijn> | dexterfoo: No |
| 2021-01-17 20:28:04 +0100 | <monochrom> | I am always baffled at how programmers are obsessed with vagarities. |
| 2021-01-17 20:28:04 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-01-17 20:28:29 +0100 | <merijn> | dexterfoo: -threaded tells GHC whether to use the threaded runtime or not, but the runtime isn't linked until you build an executable, so it does nothing for libraries |
| 2021-01-17 20:28:36 +0100 | <monochrom> | given that source code is one of the only few things in the whole world that can't tolerate vagarities. |
| 2021-01-17 20:28:51 +0100 | <dexterfoo> | merijn: thank you |
| 2021-01-17 20:29:03 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-01-17 20:29:11 +0100 | <merijn> | dexterfoo: In fact, you'll get warnings if you try :p |
| 2021-01-17 20:29:19 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-01-17 20:29:38 +0100 | <ij> | monochrom, are you refering to me? 😅 |
| 2021-01-17 20:30:24 +0100 | <merijn> | monochrom: last week I saw the tweet: "Becoming a senior engineer means saying "it depends" until you retire or die" ;) |
| 2021-01-17 20:30:42 +0100 | <monochrom> | Amen |
| 2021-01-17 20:31:30 +0100 | <ij> | I've also never heard the word vagarities before |
| 2021-01-17 20:31:51 +0100 | <merijn> | ij: IO doesn't add uncertainty. Why would it? It just means a stricter sequencing of operations |
| 2021-01-17 20:32:10 +0100 | <merijn> | Whether that effects performance positively, negatively, or not at all is "it depends" |
| 2021-01-17 20:33:22 +0100 | <ij> | I had some vague, unthoroughly throughthought feeling that it might |
| 2021-01-17 20:33:23 +0100 | <__monty__> | ij: An example where IO might improve performance is if it allows you to use a mutable data structure and your problem benefits from such. |
| 2021-01-17 20:33:40 +0100 | <ij> | __monty__, of course :) |
| 2021-01-17 20:34:25 +0100 | <ij> | I've been trying to rewrite my Map-ful code to mutable vectors over the weekend and it has been a challenge |
| 2021-01-17 20:34:28 +0100 | <merijn> | __monty__: Even without mutability it might improve performance for some reason |
| 2021-01-17 20:35:22 +0100 | o1lo01ol1o | (~o1lo01ol1@dsl-51-169.bl26.telepac.pt) (Remote host closed the connection) |
| 2021-01-17 20:35:30 +0100 | <__monty__> | merijn: Sure, I'm only trying to provide a simple example of when IO might have a positive impact on performance. Though I guess my example doesn't have anything to do with GHC's optimizations. |
| 2021-01-17 20:36:52 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-01-17 20:41:13 +0100 | <b4er> | I have wondered this before: are there examples of optimizations that have a negative impact on performance? |
| 2021-01-17 20:41:23 +0100 | <b4er> | Possibly even non-contrived ones? |
| 2021-01-17 20:41:25 +0100 | <merijn> | b4er: Lots :p |
| 2021-01-17 20:41:38 +0100 | <merijn> | b4er: Inlining can have massive positive or negative impact, for one |
| 2021-01-17 20:41:47 +0100 | <b4er> | If there's one there must be lots ;P |
| 2021-01-17 20:42:18 +0100 | DTZUZU | (~DTZUZU@205.ip-149-56-132.net) |
| 2021-01-17 20:42:31 +0100 | geekosaur | (ac3a3eac@172.58.62.172) |
| 2021-01-17 20:42:45 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 2021-01-17 20:42:58 +0100 | <b4er> | merijn: are you assuming that users are adding pragmas or what GHC does without hints? |
| 2021-01-17 20:43:12 +0100 | <monochrom> | Or you could just declare "those don't count as optimizations". |
| 2021-01-17 20:43:13 +0100 | <merijn> | b4er: Anything that affects memory layout can ruin performance too |
| 2021-01-17 20:43:30 +0100 | <merijn> | b4er: Both |
| 2021-01-17 20:44:35 +0100 | <MarcelineVQ> | not quite the topic but I'm just gonna drop this lovely little article in here again https://chrispenner.ca/posts/wc |
| 2021-01-17 20:44:59 +0100 | kuribas | (~user@ptr-25vy0i878yf5hm2w2v7.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-01-17 20:45:11 +0100 | <__monty__> | b4er: An interesting topic that sounds adjacent is deoptimization in JITs. |
| 2021-01-17 20:45:38 +0100 | <b4er> | Ooh, I remember that one but it's been a long time. I should revisit it, thanks for the reminder |
| 2021-01-17 20:48:53 +0100 | <b4er> | The crap a JIT compiler needs to deal with, haha wtf I did not even know that deoptimizations exist |
| 2021-01-17 20:49:39 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-17 20:49:51 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-17 20:50:18 +0100 | <__monty__> | It's actually pretty cool. It allows you to optimize past what conventional compilers can do. |
| 2021-01-17 20:51:30 +0100 | Franciman | (~francesco@host-82-48-174-127.retail.telecomitalia.it) |
| 2021-01-17 20:52:11 +0100 | <b4er> | What a coincidence there's a talk at POPL in three days about it |
| 2021-01-17 20:52:59 +0100 | <b4er> | Yeah, it seems like a pretty interesting topic. Thanks for that mention |
| 2021-01-17 20:54:01 +0100 | <monochrom> | As beginners talk like how they're very keen on performance, they go on to write the moral equivalent of "f n = f (n-1) + f (n-1)" (as opposed to "f n = let y = f (n-1) in y+y"), therefore using exponential time algorithms to kill performance and then go on to expect that a 10% speedup by the compiler matters at all. |
| 2021-01-17 20:54:46 +0100 | <monochrom> | Now, you might say that you never literally wrote that code. But I said "the moral equivalent of". |
| 2021-01-17 20:54:59 +0100 | <merijn> | monochrom: Or worrying about the performance of integer addition for disk bound code :p |
| 2021-01-17 20:55:13 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 20:55:25 +0100 | o1lo01ol1o | (~o1lo01ol1@dsl-51-169.bl26.telepac.pt) |
| 2021-01-17 20:55:32 +0100 | TheCommieDuck | (~mark@host-78-146-136-48.as13285.net) (Quit: WeeChat 3.0) |
| 2021-01-17 20:55:47 +0100 | <monochrom> | I have seen multiple beginners approach tree-search and tree-update algorithms the following way, which are the moral equivalent of f n = f (n-1) + f (n-1) |
| 2021-01-17 20:55:52 +0100 | <b4er> | Joke's on you, I never actually write any code |
| 2021-01-17 20:55:59 +0100 | <monochrom> | Heh OK! |
| 2021-01-17 20:56:18 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 20:57:06 +0100 | <monochrom> | Now, I just said tree, I didn't say balanced or wide tree. The tree can be a bit degenerate or biased or whatever you call it, such that if it has n nodes its depth can still be like n/2 or n-100 or something proportional to n. |
| 2021-01-17 20:57:44 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-01-17 20:59:10 +0100 | <b4er> | Tbf (maybe not the tree example), a beginner might struggle with getting it to work in the first place so they might not want to focus on algorithmic "details" |
| 2021-01-17 20:59:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-01-17 21:00:14 +0100 | o1lo01ol1o | (~o1lo01ol1@dsl-51-169.bl26.telepac.pt) (Ping timeout: 265 seconds) |
| 2021-01-17 21:00:53 +0100 | <monochrom> | Suppose the task is to look for a certain node and change a datum there. Beginners will write what they think is a harmless 2-pass algorithm, "doit t = if <dive down to look for the desired node> then <dive down to look for the desired node again but this time change the datum> else t" |
| 2021-01-17 21:00:55 +0100 | <b4er> | I'm pretty sure I once ported a horrible implementation from using lists to an even worse one based on vectors without first optimizing more important things :( |
| 2021-01-17 21:01:07 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-01-17 21:01:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-17 21:01:51 +0100 | <merijn> | Welp...it's been a while since I had a power outage >.> |
| 2021-01-17 21:03:04 +0100 | <monochrom> | b4er, I am talking about f**king 3rd year CS students. They may be beginners to Haskell but they are not beginners to programming. |
| 2021-01-17 21:03:44 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-01-17 21:04:04 +0100 | <merijn> | Hell, some career programmers of 15 years fuck up like that :p |
| 2021-01-17 21:07:01 +0100 | <monochrom> | Also, IME, ironically, the best way (highest probability, least time) to get it to work is to think of the "details" early on in the first place. |
| 2021-01-17 21:07:04 +0100 | <__monty__> | Does sound like imperative thinking though. |
| 2021-01-17 21:07:31 +0100 | <__monty__> | "Find the index, if it exists use the index to update." |
| 2021-01-17 21:07:53 +0100 | <monochrom> | The expoential-time code I have seen are invariably manifestations of XY problems and procratinating confronting the problem head-on. |
| 2021-01-17 21:08:20 +0100 | <__monty__> | merijn: I thought losing your government wasn't a big deal? : > |
| 2021-01-17 21:08:49 +0100 | <Uniaika> | can nix be used to build haskell programs in a distributed fashion? |
| 2021-01-17 21:08:49 +0100 | <monochrom> | I wouldn't blame it on imperative thinking. In imperative programming, you wouldn't do it either unless you have an array, not a tree or linked list. |
| 2021-01-17 21:09:18 +0100 | <merijn> | __monty__: lol |
| 2021-01-17 21:09:21 +0100 | <b4er> | I agree that example can not be excused |
| 2021-01-17 21:09:59 +0100 | <merijn> | __monty__: Someone looked it up, of the 16 since 1973, 9 have fallen/resigned so my 40% number was actually on the low side for recent years :p |
| 2021-01-17 21:11:30 +0100 | <__monty__> | Uniaika: Yes but maybe not distributed in the way you want. |
| 2021-01-17 21:11:37 +0100 | o1lo01ol1o | (~o1lo01ol1@176.78.51.169) |
| 2021-01-17 21:11:46 +0100 | _ht_ | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-01-17 21:11:55 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer) |
| 2021-01-17 21:12:21 +0100 | <Uniaika> | __monty__: (do I even know what I want…?) |
| 2021-01-17 21:13:34 +0100 | <__monty__> | Uniaika: Nix can distribute builds across remote builders. Where a build is an entire package. |
| 2021-01-17 21:13:43 +0100 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) (Remote host closed the connection) |
| 2021-01-17 21:15:47 +0100 | <Uniaika> | argh, so I would have to pre-package all my deps beforehand |
| 2021-01-17 21:15:49 +0100 | <Uniaika> | not great |
| 2021-01-17 21:16:05 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 21:16:25 +0100 | o1lo01ol1o | (~o1lo01ol1@176.78.51.169) (Ping timeout: 264 seconds) |
| 2021-01-17 21:18:11 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-17 21:19:15 +0100 | <devalot> | Uniaika: All of Hackage has already been packaged up in nixpkgs. But if you have a lot of non-Hackage deps I can see where that'd be a problem. |
| 2021-01-17 21:20:17 +0100 | <Uniaika> | hmm, I don't have that requirement |
| 2021-01-17 21:21:50 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 21:22:59 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2021-01-17 21:23:44 +0100 | <__monty__> | It's distribution of builds also isn't in no way smart or advanced. It's basically do as many builds as allowed locally then in order of how "fast" remote builders are do as many builds as allowed on each. How fast a remote builder is is determined by a score you assign it in the configuration file. For each remote build the local machine fetches everything, then sends everything to the remote builder, |
| 2021-01-17 21:23:51 +0100 | <__monty__> | then fetches the results. (Though you can enable binary caches for each remote builder, combined with a local (to the remote builders) cache proxy this can offset a ton of unnecessary traffic.) |
| 2021-01-17 21:24:41 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2021-01-17 21:27:35 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-01-17 21:27:52 +0100 | ph88_ | (~ph88@2a02:8109:9e00:7e5c:fdfa:eb88:6763:9df5) |
| 2021-01-17 21:28:43 +0100 | <Uniaika> | __monty__: I was thinking of that because I'm going to get a slightly beefier computer at home tomorrow, and I was wondering if I could take advantage of both of them for building heavy Haskell deps |
| 2021-01-17 21:29:03 +0100 | ais_ | (~ais@86.100.110.212) (Quit: Konversation terminated!) |
| 2021-01-17 21:29:11 +0100 | <Uniaika> | and it would require switching to nix for my project (which isn't too much of a bad thing) |
| 2021-01-17 21:29:48 +0100 | <__monty__> | Depending on how familiar you are with the nixpkgs haskell infra I'd recommend checking out haskell.nix. |
| 2021-01-17 21:30:08 +0100 | nrh^ | (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-01-17 21:30:33 +0100 | <__monty__> | Uniaika: In such a case I highly recommend setting up a local cache proxy btw. |
| 2021-01-17 21:31:14 +0100 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) |
| 2021-01-17 21:32:09 +0100 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:2086:3c20:f471:b7c2) (Ping timeout: 272 seconds) |
| 2021-01-17 21:32:33 +0100 | gnu-linuxera | (~kvirc@89.35.63.16) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2021-01-17 21:34:27 +0100 | conal | (~conal@107.181.166.111) |
| 2021-01-17 21:35:43 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 260 seconds) |
| 2021-01-17 21:36:51 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-01-17 21:39:11 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-01-17 21:41:12 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 2021-01-17 21:41:58 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-17 21:42:44 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) |
| 2021-01-17 21:42:47 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 2021-01-17 21:43:31 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-01-17 21:44:03 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 2021-01-17 21:45:20 +0100 | cheater | (~user@unaffiliated/cheater) |
| 2021-01-17 21:47:05 +0100 | FFIisANightmare | (571ad876@host-87-26-216-118.business.telecomitalia.it) |
| 2021-01-17 21:48:41 +0100 | <slack1256> | Does anyone use `hasktorch` on nixos? What is the standard way to play with it on a repl? |
| 2021-01-17 21:50:21 +0100 | <Uniaika> | thanks __monty__ |
| 2021-01-17 21:50:31 +0100 | o1lo01ol1o | (~o1lo01ol1@dsl-51-169.bl26.telepac.pt) |
| 2021-01-17 21:52:50 +0100 | atraii | (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) |
| 2021-01-17 21:53:49 +0100 | mctpyt | (~mctpyt@unaffiliated/mctpyt) |
| 2021-01-17 21:54:25 +0100 | FFIisANightmare | (571ad876@host-87-26-216-118.business.telecomitalia.it) (Quit: Connection closed) |
| 2021-01-17 21:55:48 +0100 | FFIisANightmare | (571ad876@host-87-26-216-118.business.telecomitalia.it) |
| 2021-01-17 21:55:54 +0100 | <ij> | merijn, I figured out why I think so: because I rewrote pure access code to IO access code, which is not optimized in every place, so |
| 2021-01-17 21:56:57 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-01-17 21:57:03 +0100 | <ij> | (accidental enter too early) anyway, so some things might be accessed twice with the same index, but it's IO, so you couldn't detect that it's going to be the same data |
| 2021-01-17 21:57:35 +0100 | <merijn> | ij: Optimistic if you think the compiler will magically detect that in the pure case... |
| 2021-01-17 21:57:48 +0100 | <ij> | probably |
| 2021-01-17 21:58:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 21:59:03 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 22:01:54 +0100 | acidjnk_new | (~acidjnk@p200300d0c704e72889e508a3ead3d306.dip0.t-ipconnect.de) |
| 2021-01-17 22:02:38 +0100 | _ht_ | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-01-17 22:03:28 +0100 | carlomagno | (~cararell@148.87.23.7) |
| 2021-01-17 22:03:53 +0100 | mirrorbird | (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) |
| 2021-01-17 22:05:28 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-mbxdfsspznlskpfg) (Quit: Connection closed for inactivity) |
| 2021-01-17 22:06:21 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-01-17 22:07:27 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-01-17 22:09:59 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-17 22:10:30 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 22:10:43 +0100 | amerigo | (uid331857@gateway/web/irccloud.com/x-mmjgktraxkstufqk) |
| 2021-01-17 22:14:08 +0100 | FFIisANightmare | (571ad876@host-87-26-216-118.business.telecomitalia.it) (Ping timeout: 248 seconds) |
| 2021-01-17 22:15:47 +0100 | saitamaplus | (uid272474@gateway/web/irccloud.com/x-wxoxutqrvtcmzjrx) (Quit: Connection closed for inactivity) |
| 2021-01-17 22:20:22 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-01-17 22:20:37 +0100 | knupfer | (~Thunderbi@200116b82c6a67004c35ee1b32fb873c.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-01-17 22:20:46 +0100 | knupfer | (~Thunderbi@200116b82c6a6700dde80dfd95534571.dip.versatel-1u1.de) |
| 2021-01-17 22:20:47 +0100 | atraii | (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) (Ping timeout: 256 seconds) |
| 2021-01-17 22:21:03 +0100 | BaneAliens2 | (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Quit: WeeChat 1.7) |
| 2021-01-17 22:21:43 +0100 | <b3z> | I am trying to calculate Pi in haskell using the bailey-bowein-plouffe formula https://pastebin.com/Gua4pDN7 |
| 2021-01-17 22:22:03 +0100 | <b3z> | But I get a parse error. What does that mean here and what am I doing wrong= |
| 2021-01-17 22:23:42 +0100 | <merijn> | You don't have the entire file, so how can we tell? |
| 2021-01-17 22:23:56 +0100 | <merijn> | Parse error on line 8, but you only have 3 lines of code... |
| 2021-01-17 22:24:11 +0100 | <MarcelineVQ> | you're missing a ) at least, as the error is suggesting |
| 2021-01-17 22:24:22 +0100 | <ij> | merijn, in this case I am quite sure the compiler would've optimized it before in this case |
| 2021-01-17 22:24:33 +0100 | <b3z> | merijn: above its just blank lines |
| 2021-01-17 22:24:57 +0100 | <b3z> | well that is what I thought as well, I have to double check again |
| 2021-01-17 22:24:57 +0100 | knupfer | (~Thunderbi@200116b82c6a6700dde80dfd95534571.dip.versatel-1u1.de) (Read error: Connection reset by peer) |
| 2021-01-17 22:25:18 +0100 | knupfer | (~Thunderbi@200116b82c6a6700a91fa26f3f7d98b4.dip.versatel-1u1.de) |
| 2021-01-17 22:25:37 +0100 | <b3z> | oh okay, brackets in haskell are weired |
| 2021-01-17 22:25:42 +0100 | <MarcelineVQ> | You can check this by counting, you have 7 ( and 6 ) |
| 2021-01-17 22:26:00 +0100 | <b3z> | yes I made some mistake. |
| 2021-01-17 22:26:17 +0100 | <merijn> | Or better yet, don't have such a huge expression and assign them to some named variables >.> |
| 2021-01-17 22:26:32 +0100 | <b3z> | But if I have a function which takes 1 arg ist then e.g. x+1 counted as one or do I have to put brackets? |
| 2021-01-17 22:26:54 +0100 | knupfer | (~Thunderbi@200116b82c6a6700a91fa26f3f7d98b4.dip.versatel-1u1.de) (Client Quit) |
| 2021-01-17 22:26:58 +0100 | hyperisco | (~hyperisco@104-195-141-253.cpe.teksavvy.com) |
| 2021-01-17 22:27:39 +0100 | <hyperisco> | so the span thing from yesterday… I see that it is deduplicating the work of evaluating the predicate |
| 2021-01-17 22:27:50 +0100 | <Ariakenom> | f x+1 is the same as (f x) + 1 |
| 2021-01-17 22:28:11 +0100 | <hyperisco> | but to get the snd, even after completely traversing fst, it seems you have to follow a list of thunks just as long |
| 2021-01-17 22:28:30 +0100 | <hyperisco> | which is not what I was hoping for |
| 2021-01-17 22:28:45 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Quit: Lost terminal) |
| 2021-01-17 22:28:48 +0100 | knupfer | (~Thunderbi@200116b82c6a6700a8710fba33e9d71b.dip.versatel-1u1.de) |
| 2021-01-17 22:29:59 +0100 | <Ariakenom> | ^ b3z |
| 2021-01-17 22:30:02 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-01-17 22:30:05 +0100 | <hyperisco> | I think I need some unsafe effects |
| 2021-01-17 22:30:34 +0100 | <hyperisco> | the cost is not the predicate, it is the traversal, because the list is long |
| 2021-01-17 22:30:48 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-01-17 22:36:47 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-17 22:38:12 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 22:38:47 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 2021-01-17 22:40:03 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-01-17 22:42:12 +0100 | <b3z> | alright thanks |
| 2021-01-17 22:42:59 +0100 | geekosaur | (ac3a3eac@172.58.62.172) (Quit: Ping timeout (120 seconds)) |
| 2021-01-17 22:43:04 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Ping timeout (120 seconds)) |
| 2021-01-17 22:44:39 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-01-17 22:46:03 +0100 | <b3z> | Okay now I got it to compile. But why is there no result getting out of this? https://pastebin.com/KtTSwfM4 |
| 2021-01-17 22:46:16 +0100 | conal | (~conal@107.181.166.111) (Quit: Computer has gone to sleep.) |
| 2021-01-17 22:46:16 +0100 | ulidtko|k | (~ulidtko@193.111.48.79) |
| 2021-01-17 22:46:34 +0100 | <b3z> | I also tried to make it more readable merijn |
| 2021-01-17 22:46:37 +0100 | Wuzzy | (~Wuzzy@p5790e034.dip0.t-ipconnect.de) |
| 2021-01-17 22:47:18 +0100 | <b3z> | fyi I just startet doing things in haskell so I am sorry for these beginner mistakes |
| 2021-01-17 22:50:25 +0100 | ulidtko|k | (~ulidtko@193.111.48.79) (Ping timeout: 246 seconds) |
| 2021-01-17 22:50:41 +0100 | GuerrillaMonkey | (~Jeanne-Ka@static-198-54-134-138.cust.tzulo.com) |
| 2021-01-17 22:51:12 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 22:51:46 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-01-17 22:52:56 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-137.cust.tzulo.com) (Ping timeout: 240 seconds) |
| 2021-01-17 22:54:54 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-ogsrfvagjsxkfags) |
| 2021-01-17 22:56:15 +0100 | conal | (~conal@89.187.182.122) |
| 2021-01-17 22:57:05 +0100 | <__monty__> | b3z: Integer division of 1 by something greater than 2 is 0 because the exact result is less than 0.5. |
| 2021-01-17 22:57:17 +0100 | <__monty__> | Maybe you want to use Doubles? Or Rational? |
| 2021-01-17 22:57:41 +0100 | lawid | (~quassel@dslb-090-186-099-166.090.186.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-01-17 22:58:01 +0100 | <b3z> | Oh that's not automatically? |
| 2021-01-17 22:58:38 +0100 | <__monty__> | You're using integer division "quot" rather than regular division "/". |
| 2021-01-17 22:58:47 +0100 | lawid | (~quassel@dslb-090-186-099-166.090.186.pools.vodafone-ip.de) |
| 2021-01-17 22:58:53 +0100 | <__monty__> | > 1 `quot` 3 |
| 2021-01-17 22:58:55 +0100 | <lambdabot> | 0 |
| 2021-01-17 22:58:57 +0100 | <__monty__> | > 1 / 3 |
| 2021-01-17 22:58:59 +0100 | <lambdabot> | 0.3333333333333333 |
| 2021-01-17 22:59:19 +0100 | <b3z> | I see you have to be very precise in haskell |
| 2021-01-17 23:00:17 +0100 | <b3z> | So i'd the do something like > 1.0/18.0**2.0 |
| 2021-01-17 23:00:19 +0100 | <__monty__> | You'd encounter the same problem in python. Most languages really. |
| 2021-01-17 23:00:52 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) (Remote host closed the connection) |
| 2021-01-17 23:01:11 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds) |
| 2021-01-17 23:01:34 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-01-17 23:01:43 +0100 | <b3z> | But if you do 1/16.0 the result is a double? or what is the type then? |
| 2021-01-17 23:02:02 +0100 | <b3z> | is there a way to find out? |
| 2021-01-17 23:02:05 +0100 | <ski> | > 1/16.0 |
| 2021-01-17 23:02:07 +0100 | <lambdabot> | 6.25e-2 |
| 2021-01-17 23:02:12 +0100 | <ski> | > 1/16.0 :: Rational |
| 2021-01-17 23:02:14 +0100 | <lambdabot> | 1 % 16 |
| 2021-01-17 23:02:45 +0100 | <__monty__> | b3z: It's whatever type is inferred for the position in the code. |
| 2021-01-17 23:02:55 +0100 | <ski> | @type 1/16 |
| 2021-01-17 23:02:57 +0100 | <lambdabot> | Fractional a => a |
| 2021-01-17 23:03:59 +0100 | <c_wraith> | as for how to find out? use -Wall and it'll warn you if it has to pick a type. Otherwise it's whatever is inferred based on the types of things using it. |
| 2021-01-17 23:04:04 +0100 | <ski> | `18.0^2' should be just as fine as `18.0**2.0' |
| 2021-01-17 23:04:08 +0100 | <mctpyt> | b3z: you can use `:t` in ghci, it's pretty useful |
| 2021-01-17 23:04:30 +0100 | <mctpyt> | :t 1/16.0 |
| 2021-01-17 23:04:31 +0100 | <lambdabot> | Fractional a => a |
| 2021-01-17 23:04:48 +0100 | lassulus | (~lassulus@NixOS/user/lassulus) |
| 2021-01-17 23:05:01 +0100 | <b3z> | But you can't do 16.0**2 right? |
| 2021-01-17 23:05:13 +0100 | <ski> | > 16.0**2 |
| 2021-01-17 23:05:14 +0100 | <__monty__> | > 16.0 ** 2 |
| 2021-01-17 23:05:15 +0100 | <lambdabot> | 256.0 |
| 2021-01-17 23:05:16 +0100 | <lambdabot> | 256.0 |
| 2021-01-17 23:05:18 +0100 | <__monty__> | >.< |
| 2021-01-17 23:05:20 +0100 | <b3z> | thanks for the advice everyone |
| 2021-01-17 23:05:30 +0100 | <ski> | numeric literals are overloaded |
| 2021-01-17 23:05:51 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 23:05:51 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 2021-01-17 23:06:06 +0100 | <__monty__> | b3z: You can but you can't pass an Int. The literal 2 here is interpreted as a Double (I think it depends on defaulting in this case?). |
| 2021-01-17 23:06:26 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 23:06:36 +0100 | <ski> | (yes) |
| 2021-01-17 23:07:25 +0100 | <b3z> | okay |
| 2021-01-17 23:08:16 +0100 | <b3z> | need to gain experience |
| 2021-01-17 23:09:43 +0100 | <ski> | `(^)' is for natural number exponents (so, non-negative integers). `(^^)' is for integer exponents in general. `(**)' is for floating-point exponents (and the base has to be the same type, in this case) |
| 2021-01-17 23:10:47 +0100 | <ski> | > 4 ^ 3 :: Integer |
| 2021-01-17 23:10:49 +0100 | <lambdabot> | 64 |
| 2021-01-17 23:10:53 +0100 | <ski> | > 4 ^ (-1) :: Integer |
| 2021-01-17 23:10:55 +0100 | <lambdabot> | *Exception: Negative exponent |
| 2021-01-17 23:11:00 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 2021-01-17 23:11:06 +0100 | <ski> | > 4 ^^ (-1) :: Rational |
| 2021-01-17 23:11:08 +0100 | <lambdabot> | 1 % 4 |
| 2021-01-17 23:11:21 +0100 | <ski> | > 4 ** (-1) :: Rational |
| 2021-01-17 23:11:24 +0100 | <lambdabot> | error: |
| 2021-01-17 23:11:24 +0100 | <lambdabot> | • No instance for (Floating Rational) arising from a use of ‘**’ |
| 2021-01-17 23:11:24 +0100 | <lambdabot> | • In the expression: 4 ** (- 1) :: Rational |
| 2021-01-17 23:12:02 +0100 | knupfer | (~Thunderbi@200116b82c6a6700a8710fba33e9d71b.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-01-17 23:12:24 +0100 | <b3z> | Okay now i have a valid program https://pastebin.com/HherScqW |
| 2021-01-17 23:12:55 +0100 | <b3z> | But Still its not pi. Are there any syntax related issues you can spot? |
| 2021-01-17 23:13:18 +0100 | <b3z> | or does my formula just not work the way I want it to. |
| 2021-01-17 23:13:48 +0100 | <b3z> | I am trying to implement this one https://en.wikipedia.org/wiki/Bailey–Borwein–Plouffe_formula |
| 2021-01-17 23:14:41 +0100 | Forlorn | (~Forlorn@unaffiliated/forlorn) |
| 2021-01-17 23:14:45 +0100 | Marissa | (Marissa@33.anserq.com) (Ping timeout: 272 seconds) |
| 2021-01-17 23:16:31 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | hekkaidekapus} | (~tchouri@gateway/tor-sasl/hekkaidekapus) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (*.net *.split) |
| 2021-01-17 23:16:31 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) (*.net *.split) |
| 2021-01-17 23:18:19 +0100 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-qvjkocemxgyxrpwr) (Quit: Connection closed for inactivity) |
| 2021-01-17 23:20:44 +0100 | rnat2 | (uid73555@gateway/web/irccloud.com/x-wfatpatakuejpveq) |
| 2021-01-17 23:20:46 +0100 | Marissa | (Marissa@33.anserq.com) |
| 2021-01-17 23:22:40 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-01-17 23:22:42 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-01-17 23:22:44 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-17 23:22:53 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
| 2021-01-17 23:22:55 +0100 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-01-17 23:22:56 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-01-17 23:22:56 +0100 | hekkaidekapus} | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-01-17 23:23:30 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) |
| 2021-01-17 23:23:33 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-01-17 23:23:39 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2021-01-17 23:24:49 +0100 | <ski> | b3z : because you're not including the term for `n = 0' |
| 2021-01-17 23:25:05 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-01-17 23:25:20 +0100 | <b3z> | why you mean? in the pattern matching? ski |
| 2021-01-17 23:25:29 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 23:26:18 +0100 | <ski> | the thing (depending on `n') you add to your accumulator `pi', in each step -- you're not adding this, when `n' is zero |
| 2021-01-17 23:27:11 +0100 | <ski> | also, since you're counting `n' down, i think you'd better use an integral type for it, rather than a floating-point type. you can use `fromIntegral' to convert |
| 2021-01-17 23:27:17 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 23:27:37 +0100 | <__monty__> | > (1e16 :: Double) - 1 |
| 2021-01-17 23:27:39 +0100 | <lambdabot> | 1.0e16 |
| 2021-01-17 23:27:46 +0100 | <__monty__> | b3z: To avoid things like this ^ |
| 2021-01-17 23:27:53 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 23:27:56 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-01-17 23:28:15 +0100 | bitmagie | (~Thunderbi@200116b806e3f600f1149994c5b1b9f3.dip.versatel-1u1.de) |
| 2021-01-17 23:28:24 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-01-17 23:29:20 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 23:29:36 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 23:29:38 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-01-17 23:30:06 +0100 | <b3z> | wow you are a genius |
| 2021-01-17 23:30:15 +0100 | MorrowM | (~Moshe@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-01-17 23:30:22 +0100 | <b3z> | Ye was the missing last with n=0 |
| 2021-01-17 23:31:07 +0100 | <ski> | also, i think it'd be better to not have the user have to supply the initial value for the accumulator |
| 2021-01-17 23:31:23 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-01-17 23:31:27 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-17 23:31:37 +0100 | <b3z> | Yes but I don't know how to do it another way :D |
| 2021-01-17 23:31:46 +0100 | klardotsh | (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Quit: WeeChat 3.0) |
| 2021-01-17 23:32:13 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-17 23:32:15 +0100 | <b3z> | pi is initially pi = 0 so there is no need to have it as an argument which is give by the user. |
| 2021-01-17 23:32:41 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-01-17 23:33:07 +0100 | <ski> | just make a separate function that provides the initial value |
| 2021-01-17 23:33:09 +0100 | <b3z> | So would the way be to make it in a lambda function? |
| 2021-01-17 23:33:09 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-01-17 23:33:18 +0100 | <b3z> | Oh. Yeah or like this. |
| 2021-01-17 23:33:24 +0100 | <ski> | (and then you could make the first function local to the new one) |
| 2021-01-17 23:33:37 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-01-17 23:33:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-01-17 23:33:55 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-01-17 23:34:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-01-17 23:35:12 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 2021-01-17 23:35:14 +0100 | conal | (~conal@89.187.182.122) (Quit: Computer has gone to sleep.) |
| 2021-01-17 23:35:41 +0100 | klardotsh | (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
| 2021-01-17 23:35:46 +0100 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-01-17 23:35:55 +0100 | conal | (~conal@89.187.182.122) |
| 2021-01-17 23:35:55 +0100 | conal | (~conal@89.187.182.122) (Client Quit) |
| 2021-01-17 23:36:07 +0100 | Franciman | (~francesco@host-82-48-174-127.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-01-17 23:36:11 +0100 | bitmagie | (~Thunderbi@200116b806e3f600f1149994c5b1b9f3.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-01-17 23:36:43 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 2021-01-17 23:36:47 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 2021-01-17 23:38:36 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-01-17 23:40:57 +0100 | <b3z> | alright thanks So this is the running solution https://pastebin.com/ZcXdcnFM |
| 2021-01-17 23:41:24 +0100 | <b3z> | But right now my result has only 15 digits after the comma. Is there a smart way to get it more precise? |
| 2021-01-17 23:43:55 +0100 | <superstar64> | i have 60 class and 210 instances in 1.7k lines of haskell, how awful is this? |
| 2021-01-17 23:44:05 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-01-17 23:44:58 +0100 | <superstar64> | i might be taking this tagless final thing too far |
| 2021-01-17 23:45:23 +0100 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-01-17 23:46:52 +0100 | conal | (~conal@198.8.81.52) |
| 2021-01-17 23:47:05 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-01-17 23:55:25 +0100 | kottt | (~kottt@178.162.209.171) (Remote host closed the connection) |
| 2021-01-17 23:55:48 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |