| 2022-05-11 00:00:27 +0000 | <sm> | https://twitter.com/haskelltips stopped a few years back |
| 2022-05-11 00:00:46 +0000 | <texasmynsted> | There are at least two awesome haskell sites on github |
| 2022-05-11 00:01:04 +0000 | <texasmynsted> | https://github.com/krispo/awesome-haskell https://github.com/uhub/awesome-haskell |
| 2022-05-11 00:01:16 +0000 | <sm> | (related, https://twitter.com/haskellceo was fun) |
| 2022-05-11 00:01:37 +0000 | <texasmynsted> | I am ready to follow your new haskell link twitter feed |
| 2022-05-11 00:02:03 +0000 | <texasmynsted> | So long as it is all Haskell and not politics |
| 2022-05-11 00:02:13 +0000 | sm | ran a LedgerTips for a while |
| 2022-05-11 00:03:00 +0000 | <texasmynsted> | not sure what that would be but tips are good |
| 2022-05-11 00:07:06 +0000 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-05-11 00:07:15 +0000 | <sm> | thanks for the links, also noted |
| 2022-05-11 00:08:05 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-11 00:08:17 +0000 | <texasmynsted> | Oh Julie and Chris have a twitter for their "Joy of Haskell" book. |
| 2022-05-11 00:08:28 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-11 00:17:19 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2022-05-11 00:17:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-11 00:17:34 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-11 00:17:34 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-11 00:20:08 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-11 00:25:11 +0000 | jmd_ | jmdaemon |
| 2022-05-11 00:25:40 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-05-11 00:29:57 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-05-11 00:30:00 +0000 | <shapr> | sm: yay! |
| 2022-05-11 00:30:05 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-05-11 00:31:33 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-05-11 00:31:57 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-11 00:41:34 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-05-11 00:48:47 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-05-11 00:50:01 +0000 | Benzi-Junior | (~BenziJuni@88-149-64-179.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-11 00:56:22 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-11 01:10:43 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-05-11 01:13:00 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-05-11 01:26:13 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-05-11 01:26:31 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-05-11 01:32:08 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-09ca-22c1-65a3-8fed.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2022-05-11 01:36:09 +0000 | <jackdk> | sm: http://jackkelly.name/wiki/haskell.html I think you have different curation goals to me but I like my little linklist |
| 2022-05-11 01:36:41 +0000 | <Axman6> | hot take: haskell tutorial lists are the new monad tutorial |
| 2022-05-11 01:36:42 +0000 | <sm> | thanks! |
| 2022-05-11 01:37:32 +0000 | <sm> | if nothing else, I will achieve a list of lists valid for one day! |
| 2022-05-11 01:37:33 +0000 | <exarkun> | is there a monad instance for haskell tutorial lists yet |
| 2022-05-11 01:37:45 +0000 | <exarkun> | if not can I achieve some kind of fame by defining one |
| 2022-05-11 01:42:36 +0000 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2022-05-11 01:44:41 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-6165-3a77-319f-4350.res6.spectrum.com) |
| 2022-05-11 01:45:48 +0000 | <monochrom> | May I have haskell tutorial arrays instead? |
| 2022-05-11 01:46:05 +0000 | <monochrom> | I want to use !!n on haskell tutorial arrays. |
| 2022-05-11 01:46:20 +0000 | <Axman6> | unboxed tutorial arrays plkease |
| 2022-05-11 01:46:25 +0000 | <Axman6> | please* |
| 2022-05-11 01:47:04 +0000 | <monochrom> | webscale unboxed tutorial arrays with batteries included |
| 2022-05-11 01:47:17 +0000 | <Axman6> | on the blockchain* |
| 2022-05-11 01:47:31 +0000 | <monochrom> | Ah, missed that. :) |
| 2022-05-11 01:50:21 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 01:50:56 +0000 | <dmj`> | webscale haskell arrays |
| 2022-05-11 01:55:52 +0000 | <jackdk> | Axman6: I'm trying to not just magpie a single giant list, but be a bit choosy and say "this is a good series for recursion schemes; that's a good series for lens; etc" |
| 2022-05-11 01:56:17 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-05-11 01:56:27 +0000 | andrey_ | (~andrey@p200300dbcf0a9400bb18378afbd4165e.dip0.t-ipconnect.de) |
| 2022-05-11 01:56:43 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-11 01:59:25 +0000 | andrey__ | (~andrey@p508d55ad.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-05-11 02:01:46 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-11 02:06:45 +0000 | searemind | (~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) (Quit: nyaa~) |
| 2022-05-11 02:07:28 +0000 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-11 02:07:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-11 02:09:53 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-11 02:09:53 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-11 02:09:53 +0000 | finn_elija | FinnElija |
| 2022-05-11 02:09:54 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-11 02:10:13 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-11 02:10:13 +0000 | finn_elija | FinnElija |
| 2022-05-11 02:16:35 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-11 02:19:20 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-11 02:26:22 +0000 | searemind | (~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) |
| 2022-05-11 02:26:44 +0000 | searemind | (~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) (Client Quit) |
| 2022-05-11 02:27:08 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.35) |
| 2022-05-11 02:28:52 +0000 | AlexZenon | (~alzenon@178.34.162.228) (Ping timeout: 248 seconds) |
| 2022-05-11 02:30:00 +0000 | Alex_test | (~al_test@178.34.162.228) (Ping timeout: 250 seconds) |
| 2022-05-11 02:30:28 +0000 | AlexNoo | (~AlexNoo@178.34.162.228) (Ping timeout: 248 seconds) |
| 2022-05-11 02:33:27 +0000 | searemind | (~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) |
| 2022-05-11 02:33:34 +0000 | searemind | (~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) (Client Quit) |
| 2022-05-11 02:34:38 +0000 | Alex_test | (~al_test@178.34.163.35) |
| 2022-05-11 02:35:00 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-05-11 02:35:16 +0000 | AlexZenon | (~alzenon@178.34.163.35) |
| 2022-05-11 02:38:10 +0000 | searemind | (~searemind@122.161.48.152) |
| 2022-05-11 02:38:13 +0000 | searemind | (~searemind@122.161.48.152) (Client Quit) |
| 2022-05-11 02:39:11 +0000 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 2022-05-11 02:39:28 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-11 02:40:05 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-05-11 02:40:36 +0000 | melas | (~melas@172.77.31.247) (Quit: Leaving) |
| 2022-05-11 02:48:41 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-11 02:49:51 +0000 | td_ | (~td@muedsl-82-207-238-066.citykom.de) (Ping timeout: 256 seconds) |
| 2022-05-11 02:49:57 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-05-11 02:50:01 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-11 02:57:08 +0000 | LordOfLive | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-05-11 03:00:02 +0000 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-05-11 03:01:24 +0000 | haasn | (~nand@haasn.dev) |
| 2022-05-11 03:02:22 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 03:09:43 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-05-11 03:15:31 +0000 | sm | scripts @where db import, https://github.com/simonmichael/haskell-links/blob/main/links.csv |
| 2022-05-11 03:20:10 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-05-11 03:31:12 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-05-11 03:35:00 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds) |
| 2022-05-11 03:35:29 +0000 | LordOfLive | LordOfLiive |
| 2022-05-11 03:35:39 +0000 | LordOfLiive | LordOfLive |
| 2022-05-11 03:42:41 +0000 | jonggoloho | (~ASas@vps-a637c981.vps.ovh.ca) |
| 2022-05-11 03:55:44 +0000 | LordOfLive | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-11 03:57:21 +0000 | dcoutts__ | (~duncan@host86-153-135-80.range86-153.btcentralplus.com) |
| 2022-05-11 03:58:32 +0000 | shailangsa | (~shailangs@host86-186-127-233.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-05-11 04:00:04 +0000 | dcoutts_ | (~duncan@host86-153-135-80.range86-153.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2022-05-11 04:01:24 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-05-11 04:01:42 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-11 04:03:21 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-11 04:10:58 +0000 | kenran | (~kenran@200116b82b7b15006bab2a7f42c47c33.dip.versatel-1u1.de) |
| 2022-05-11 04:14:13 +0000 | LordOfLive | (~ME@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-05-11 04:26:35 +0000 | LordOfLive | money |
| 2022-05-11 04:26:36 +0000 | money | Guest4155 |
| 2022-05-11 04:28:40 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-05-11 04:29:28 +0000 | Guest4155 | 038AALONU |
| 2022-05-11 04:31:32 +0000 | 038AALONU | LordOfLive |
| 2022-05-11 04:36:51 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-11 04:39:29 +0000 | shailangsa_ | (~shailangs@host86-186-127-233.range86-186.btcentralplus.com) |
| 2022-05-11 04:41:12 +0000 | LordOfLive | (~ME@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-11 04:49:17 +0000 | kenran | (~kenran@200116b82b7b15006bab2a7f42c47c33.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-05-11 04:52:10 +0000 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-05-11 04:54:18 +0000 | mbuf | (~Shakthi@122.162.131.93) |
| 2022-05-11 04:54:36 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2022-05-11 04:58:42 +0000 | frost | (~frost@user/frost) |
| 2022-05-11 05:03:40 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-11 05:04:45 +0000 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) |
| 2022-05-11 05:07:21 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-05-11 05:08:40 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-11 05:18:38 +0000 | gff | (~gff@168.103.132.194) (Changing host) |
| 2022-05-11 05:18:38 +0000 | gff | (~gff@user/gff) |
| 2022-05-11 05:22:39 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-11 05:23:16 +0000 | dut_ | (~dut@user/dut) (Quit: Leaving) |
| 2022-05-11 05:31:08 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-11 05:31:09 +0000 | king_gs | (~Thunderbi@187.201.105.54) |
| 2022-05-11 05:31:16 +0000 | biberu | (~biberu@user/biberu) |
| 2022-05-11 05:35:31 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2022-05-11 05:39:00 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-05-11 05:47:14 +0000 | michalz | (~michalz@185.246.204.126) |
| 2022-05-11 05:48:21 +0000 | lagooned | (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2022-05-11 05:50:44 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2022-05-11 05:52:19 +0000 | searemind | (~searemind@122.161.48.152) |
| 2022-05-11 05:53:29 +0000 | searemind | (~searemind@122.161.48.152) (Client Quit) |
| 2022-05-11 05:54:42 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-05-11 05:54:43 +0000 | jonggoloho | (~ASas@vps-a637c981.vps.ovh.ca) (Remote host closed the connection) |
| 2022-05-11 05:56:00 +0000 | jonggoloho | (~jonggoloh@36.72.100.223) |
| 2022-05-11 05:56:21 +0000 | jonggoloho | (~jonggoloh@36.72.100.223) (Remote host closed the connection) |
| 2022-05-11 05:56:40 +0000 | jonggoloho | (~jonggoloh@36.72.101.107) |
| 2022-05-11 05:57:41 +0000 | jonggoloho | (~jonggoloh@36.72.101.107) (Remote host closed the connection) |
| 2022-05-11 05:58:37 +0000 | jonggoloho | (~jonggoloh@36.72.101.107) |
| 2022-05-11 05:58:38 +0000 | king_gs | (~Thunderbi@187.201.105.54) (Read error: Connection reset by peer) |
| 2022-05-11 05:59:23 +0000 | jonggoloho | (~jonggoloh@36.72.101.107) (Remote host closed the connection) |
| 2022-05-11 06:01:00 +0000 | king_gs | (~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) |
| 2022-05-11 06:01:02 +0000 | raym | (~raym@user/raym) (Ping timeout: 250 seconds) |
| 2022-05-11 06:02:40 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-11 06:06:04 +0000 | thelounge4185 | (~2732b090@39.50.176.144) |
| 2022-05-11 06:08:04 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-05-11 06:10:28 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-05-11 06:10:40 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 06:11:15 +0000 | lagooned | (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) |
| 2022-05-11 06:21:32 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-05-11 06:29:51 +0000 | searemind | (~searemind@122.161.48.152) |
| 2022-05-11 06:30:07 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-11 06:30:14 +0000 | searemind | (~searemind@122.161.48.152) (Remote host closed the connection) |
| 2022-05-11 06:31:21 +0000 | mikoto-chan | (~mikoto-ch@84.199.144.234) |
| 2022-05-11 06:32:27 +0000 | simeon | (~pi@dslb-088-076-113-053.088.076.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-05-11 06:33:12 +0000 | dextaa49 | (~dextaa@user/dextaa) |
| 2022-05-11 06:33:19 +0000 | searemind | (~searemind@122.161.48.152) |
| 2022-05-11 06:33:51 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 276 seconds) |
| 2022-05-11 06:34:09 +0000 | searemind | (~searemind@122.161.48.152) (Client Quit) |
| 2022-05-11 06:34:26 +0000 | simeon | (~pi@dslb-088-076-113-044.088.076.pools.vodafone-ip.de) |
| 2022-05-11 06:34:54 +0000 | thelounge4185 | (~2732b090@39.50.176.144) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-11 06:35:44 +0000 | acidjnk_new | (~acidjnk@p200300d0c7068b59fd670879892edcc4.dip0.t-ipconnect.de) |
| 2022-05-11 06:37:34 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 06:38:33 +0000 | arjun | (~arjun@user/arjun) |
| 2022-05-11 06:40:25 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 06:42:56 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 06:45:33 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 276 seconds) |
| 2022-05-11 06:46:29 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-05-11 06:54:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-11 06:56:44 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 07:00:52 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 246 seconds) |
| 2022-05-11 07:03:50 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-11 07:10:41 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-11 07:13:09 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-11 07:15:00 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2022-05-11 07:15:39 +0000 | alp_ | (~alp@user/alp) |
| 2022-05-11 07:16:49 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 2022-05-11 07:18:58 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-11 07:19:11 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-11 07:26:10 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-11 07:26:55 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c062:9ce0:f472:fe68) |
| 2022-05-11 07:28:39 +0000 | chele | (~chele@user/chele) |
| 2022-05-11 07:34:59 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2022-05-11 07:35:47 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-05-11 07:36:06 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-11 07:38:30 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-11 07:41:18 +0000 | raym | (~raym@user/raym) |
| 2022-05-11 07:45:21 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-11 07:48:47 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-11 07:53:47 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:64b4:113a:8a62:5026) |
| 2022-05-11 08:05:32 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-05-11 08:06:04 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-05-11 08:06:59 +0000 | raym | (~raym@user/raym) (Quit: kernel update, rebooting...) |
| 2022-05-11 08:08:53 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-11 08:09:40 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-05-11 08:10:15 +0000 | raym | (~raym@user/raym) |
| 2022-05-11 08:18:04 +0000 | bahamas | (~lucian@86.120.77.115) |
| 2022-05-11 08:18:26 +0000 | odnes | (~odnes@5-203-241-182.pat.nym.cosmote.net) |
| 2022-05-11 08:20:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-11 08:25:29 +0000 | simeon | (~pi@dslb-088-076-113-044.088.076.pools.vodafone-ip.de) (Quit: leaving) |
| 2022-05-11 08:27:10 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 08:30:01 +0000 | ccntrq | (~Thunderbi@2a01:c22:8970:3800:9a3a:7b10:8d3e:d898) |
| 2022-05-11 08:36:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-11 08:36:43 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 08:38:56 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) |
| 2022-05-11 08:39:46 +0000 | jinsun__ | (~jinsun@user/jinsun) () |
| 2022-05-11 08:40:07 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-11 08:41:14 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-05-11 08:44:10 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 240 seconds) |
| 2022-05-11 08:44:29 +0000 | ccntrq1 | (~Thunderbi@2a01:c22:888f:db00:4a4f:13b8:3156:bbbf) |
| 2022-05-11 08:44:51 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-11 08:45:56 +0000 | ccntrq | (~Thunderbi@2a01:c22:8970:3800:9a3a:7b10:8d3e:d898) (Ping timeout: 248 seconds) |
| 2022-05-11 08:47:39 +0000 | ccntrq | (~Thunderbi@2a01:c22:90ad:600:956d:b88c:2ed8:a6d7) |
| 2022-05-11 08:47:50 +0000 | king_gs | (~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) (Ping timeout: 260 seconds) |
| 2022-05-11 08:48:57 +0000 | ccntrq1 | (~Thunderbi@2a01:c22:888f:db00:4a4f:13b8:3156:bbbf) (Ping timeout: 248 seconds) |
| 2022-05-11 08:50:44 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 08:53:00 +0000 | <kuribas> | Are higher kinded records the solution to the problem with records that clojurists complain about? |
| 2022-05-11 08:53:30 +0000 | <kuribas> | For example: partial fields, I just use (MyRecord Maybe). |
| 2022-05-11 08:54:15 +0000 | <kuribas> | You can also easily put business logic data in the record, then extract it later (for example configuration file parsing). |
| 2022-05-11 08:55:25 +0000 | <jackdk> | They help a lot |
| 2022-05-11 08:56:16 +0000 | <kuribas> | They also give a nice mix of type safety and flexibility. |
| 2022-05-11 08:56:23 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 08:56:33 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) |
| 2022-05-11 08:58:31 +0000 | <lortabac> | higher-order kinds are great, but unfortunately a little clumsy to work with |
| 2022-05-11 08:58:50 +0000 | <lortabac> | we need a language with better support for this kind of programming |
| 2022-05-11 09:01:02 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-05-11 09:01:42 +0000 | <kuribas> | lortabac: idris? |
| 2022-05-11 09:02:06 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2022-05-11 09:02:37 +0000 | <lortabac> | I don't know, I'm not familiar enough with Idris |
| 2022-05-11 09:02:52 +0000 | <bahamas> | kuribas: purescript has a better record story as well |
| 2022-05-11 09:03:31 +0000 | <kuribas> | yeah, but they aren't higher kinded, right? |
| 2022-05-11 09:03:43 +0000 | odnes | (~odnes@5-203-241-182.pat.nym.cosmote.net) (Ping timeout: 246 seconds) |
| 2022-05-11 09:05:04 +0000 | <kuribas> | I like to think of the type of field as the "specification", and the type function as the "specialisation". |
| 2022-05-11 09:05:29 +0000 | <kuribas> | The field doesn't even need to have kind "Type", it can be any kind. |
| 2022-05-11 09:06:19 +0000 | <kuribas> | for example a DataKind. |
| 2022-05-11 09:07:32 +0000 | <bahamas> | kuribas: does higher kinded mean that the type constructor can take a variable? |
| 2022-05-11 09:07:53 +0000 | <kuribas> | bahamas: it means the type constructor takes type function. |
| 2022-05-11 09:07:57 +0000 | bliminse | (~bliminse@host86-164-128-238.range86-164.btcentralplus.com) (Quit: leaving) |
| 2022-05-11 09:08:13 +0000 | <bahamas> | kuribas: maybe this answers your question https://github.com/purescript/documentation/blob/master/language/Differences-from-Haskell.md |
| 2022-05-11 09:08:24 +0000 | <kuribas> | MyRecord f = MyRecord {foo :: f Int, bar :: f String} |
| 2022-05-11 09:08:39 +0000 | <bahamas> | aha, I see |
| 2022-05-11 09:08:55 +0000 | <bahamas> | I guess f has kind `Type -> Type`, right? |
| 2022-05-11 09:09:06 +0000 | <kuribas> | the kind of MyRecord is (Type -> Type) -> Type |
| 2022-05-11 09:09:44 +0000 | <kuribas> | yes |
| 2022-05-11 09:09:46 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-11 09:11:03 +0000 | <kuribas> | but you can do "data FieldInfo = Field1 | Field2" data MyRecord f = MyRecord {foo :: f 'Field1, bar :: f 'Field2} |
| 2022-05-11 09:11:28 +0000 | <kuribas> | then MyRecord :: ('FieldInfo -> Type) -> Type |
| 2022-05-11 09:11:57 +0000 | <bahamas> | btw, I want to write some Haskell articles and I want to use more meaningful examples, ideally from real code. is "base" a good way to look for these examples? if not, any other library? |
| 2022-05-11 09:12:16 +0000 | odnes | (~odnes@5-203-241-182.pat.nym.cosmote.net) |
| 2022-05-11 09:12:31 +0000 | <kuribas> | bahamas: who is the audience? |
| 2022-05-11 09:13:17 +0000 | <kuribas> | for non functional programmers, you could show ADT give much less ceremony than OO. |
| 2022-05-11 09:13:28 +0000 | <kuribas> | How easy it is to define sum types. |
| 2022-05-11 09:13:42 +0000 | <bahamas> | kuribas: yeah, programmers who want to learn Haskell |
| 2022-05-11 09:14:34 +0000 | <bahamas> | kuribas: I'm looking for examples that show (for example), how to define a function with pattern matching, or with guards. or one where you use `let ... in ...` for the body |
| 2022-05-11 09:15:01 +0000 | <bahamas> | or where you use ` ... where ...`, etc. so the fundamental things. at least for starters |
| 2022-05-11 09:15:01 +0000 | <kuribas> | "where" is more common than let. |
| 2022-05-11 09:15:31 +0000 | <kuribas> | "where" is for things which are scoped over all clauses, "let" is for local thing. |
| 2022-05-11 09:15:52 +0000 | <bahamas> | kuribas: may be, but since `let ... in ...` is used as well, I want to cover it as well |
| 2022-05-11 09:16:13 +0000 | <bahamas> | it may also be a question of habit, but sometimes I tended to use `let ... in ...` |
| 2022-05-11 09:16:39 +0000 | <bahamas> | I think the difference is that with `let ... in ...` you want to show to the reader the implementation first |
| 2022-05-11 09:16:48 +0000 | <kuribas> | When both work I use "where", otherwise "let". |
| 2022-05-11 09:17:10 +0000 | <bahamas> | with `... where ...`, you want to show you got to the result. if they care about the implementation, they scroll down |
| 2022-05-11 09:17:39 +0000 | <kuribas> | I'd say "where" is more idiomatic. |
| 2022-05-11 09:17:41 +0000 | <merijn> | It's easy: If you're not forced to use let, use where |
| 2022-05-11 09:17:43 +0000 | <merijn> | If you' |
| 2022-05-11 09:17:56 +0000 | <merijn> | If you're forced to use let, well, then you got no choice :p |
| 2022-05-11 09:19:49 +0000 | Guest3749 | (~Guest37@86.121.90.182) |
| 2022-05-11 09:19:58 +0000 | <kuribas> | "let" is more lispy. |
| 2022-05-11 09:19:59 +0000 | Guest3749 | (~Guest37@86.121.90.182) (Client Quit) |
| 2022-05-11 09:20:39 +0000 | <kuribas> | I think top-down is more the haskell way. You start with some code, write holes where you don't know the implementation. |
| 2022-05-11 09:20:49 +0000 | <kuribas> | Gradually fill in the holes. |
| 2022-05-11 09:22:12 +0000 | <bahamas> | so, can you think of any modules on hackage that have more simple examples of Haskell constructs? if not, I'll have to go digging myself |
| 2022-05-11 09:23:23 +0000 | king_gs | (~Thunderbi@187.201.105.54) |
| 2022-05-11 09:25:42 +0000 | <kuribas> | bahamas: something I always miss in other languages is pattern matching. |
| 2022-05-11 09:26:09 +0000 | <kuribas> | You can also show type directed programming, where the compiler helps you fill in holes. |
| 2022-05-11 09:27:27 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 09:28:50 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-11 09:32:46 +0000 | <kuribas> | So types are not just constraining you, but also guiding the process. |
| 2022-05-11 09:32:47 +0000 | tomsmeding | likes to use 'let' for smaller definitions _because_ it's more clearly scoped |
| 2022-05-11 09:33:41 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 09:33:55 +0000 | <tomsmeding> | local functions go in 'where', though |
| 2022-05-11 09:34:12 +0000 | <tomsmeding> | (but subjective) |
| 2022-05-11 09:34:49 +0000 | <merijn> | tomsmeding: Just nest your where's for smaller scoping |
| 2022-05-11 09:37:07 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-11 09:37:56 +0000 | bliminse | (~bliminse@host86-164-128-238.range86-164.btcentralplus.com) |
| 2022-05-11 09:38:16 +0000 | <maerwald[m]> | For some reason, 90% of my use of `let` is in do-notation |
| 2022-05-11 09:38:28 +0000 | <maerwald[m]> | I find it a bit messy to let..in in function bodies |
| 2022-05-11 09:38:59 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 256 seconds) |
| 2022-05-11 09:41:07 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-11 09:43:56 +0000 | Benzi-Junior | (~BenziJuni@88-149-64-179.du.xdsl.is) |
| 2022-05-11 09:45:26 +0000 | <bahamas> | maerwald[m]: messy in what way? |
| 2022-05-11 09:45:42 +0000 | <maerwald[m]> | bahamas: in a subjective way |
| 2022-05-11 09:46:00 +0000 | ccntrq1 | (~Thunderbi@2a01:c22:91a3:f800:f60a:3bdc:73fc:bc3c) |
| 2022-05-11 09:46:17 +0000 | <kuribas> | tomsmeding: I put them often in let in do. |
| 2022-05-11 09:46:35 +0000 | <kuribas> | when they depend on a result of an IO action. |
| 2022-05-11 09:46:47 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (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) |
| 2022-05-11 09:46:53 +0000 | <maerwald[m]> | flying let's |
| 2022-05-11 09:46:58 +0000 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
| 2022-05-11 09:47:05 +0000 | ccntrq | (~Thunderbi@2a01:c22:90ad:600:956d:b88c:2ed8:a6d7) (Ping timeout: 248 seconds) |
| 2022-05-11 09:48:37 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2022-05-11 09:52:01 +0000 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 246 seconds) |
| 2022-05-11 09:56:47 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-11 09:58:52 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-05-11 09:59:17 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-11 10:01:24 +0000 | mikoto-chan | (~mikoto-ch@84.199.144.234) (Ping timeout: 240 seconds) |
| 2022-05-11 10:02:13 +0000 | king_gs | (~Thunderbi@187.201.105.54) (Read error: Connection reset by peer) |
| 2022-05-11 10:05:43 +0000 | king_gs | (~Thunderbi@187.201.105.54) |
| 2022-05-11 10:06:10 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 10:07:36 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-11 10:12:50 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-05-11 10:14:17 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 10:16:13 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-010-049-099.77.10.pool.telefonica.de) |
| 2022-05-11 10:16:36 +0000 | ccntrq | (~Thunderbi@2a01:c22:91a3:f800:f60a:3bdc:73fc:bc3c) (Ping timeout: 240 seconds) |
| 2022-05-11 10:16:37 +0000 | ccntrq1 | ccntrq |
| 2022-05-11 10:19:20 +0000 | akegalj | (~akegalj@141-136-146-186.dsl.iskon.hr) |
| 2022-05-11 10:19:48 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-003-219-000.77.3.pool.telefonica.de) |
| 2022-05-11 10:20:43 +0000 | ccntrq | (~Thunderbi@dynamic-077-010-049-099.77.10.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-05-11 10:20:43 +0000 | ccntrq1 | ccntrq |
| 2022-05-11 10:25:08 +0000 | king_gs1 | (~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) |
| 2022-05-11 10:25:08 +0000 | king_gs | (~Thunderbi@187.201.105.54) (Read error: Connection reset by peer) |
| 2022-05-11 10:25:09 +0000 | king_gs1 | king_gs |
| 2022-05-11 10:25:13 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-11 10:29:02 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2022-05-11 10:33:47 +0000 | <Taneb> | Is there any library that lets me generate a Haskell data-type from an SQL file describing a table? I'm aware that there's several that do the other way around |
| 2022-05-11 10:35:57 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-11 10:36:54 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-11 10:38:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 10:40:02 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-05-11 10:43:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-05-11 10:43:49 +0000 | ccntrq | (~Thunderbi@dynamic-077-003-219-000.77.3.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-05-11 10:43:54 +0000 | ccntrq1 | (~Thunderbi@dynamic-077-008-064-188.77.8.pool.telefonica.de) |
| 2022-05-11 10:44:35 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) |
| 2022-05-11 10:45:48 +0000 | akegalj | (~akegalj@141-136-146-186.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 2022-05-11 10:46:12 +0000 | ccntrq1 | ccntrq |
| 2022-05-11 10:48:28 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-11 10:51:46 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-11 10:52:41 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-05-11 10:54:28 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-11 10:54:34 +0000 | <tomsmeding> | kuribas: same |
| 2022-05-11 10:57:35 +0000 | <dragestil> | what library would be suitable to use for downloading thousands of text files (for parsing)? |
| 2022-05-11 10:59:38 +0000 | <dragestil> | for example what does cabal use to download packages? |
| 2022-05-11 11:00:25 +0000 | <dragestil> | just use System.Process with wget? |
| 2022-05-11 11:00:36 +0000 | <dminuoso> | No, thats not the best thing to do. |
| 2022-05-11 11:00:53 +0000 | <maerwald[m]> | dragestil: yes |
| 2022-05-11 11:00:54 +0000 | <dminuoso> | I think cabal-install uses the HTTP package |
| 2022-05-11 11:01:01 +0000 | <maerwald[m]> | No it doesn't |
| 2022-05-11 11:01:06 +0000 | <dminuoso> | Ah, it really does use wget? |
| 2022-05-11 11:01:20 +0000 | <maerwald[m]> | curl, it falls back to wget |
| 2022-05-11 11:01:23 +0000 | mmhat | (~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315) |
| 2022-05-11 11:01:34 +0000 | <maerwald[m]> | That is the most portable strategy |
| 2022-05-11 11:02:05 +0000 | <dragestil> | portable as in curl / wget is widely available? |
| 2022-05-11 11:03:26 +0000 | <tdammers> | Yes. It also has the advantage that you can benefit from security patches to those external tools without having to ship a new version of your own code. |
| 2022-05-11 11:03:27 +0000 | <maerwald[m]> | Yes and it deals better with esoteric proxy configuration |
| 2022-05-11 11:04:13 +0000 | <dragestil> | ok. strangely i can't find invocation of curl in the Cabal codebase obtained from `cabal unpack Cabal` |
| 2022-05-11 11:05:12 +0000 | <maerwald[m]> | It is not trivial to achieve the same level of portability across configurations, even with http-client-openssl |
| 2022-05-11 11:05:27 +0000 | <maerwald[m]> | dragestil: check cabal-install |
| 2022-05-11 11:05:47 +0000 | <dragestil> | maerwald[m]: ok, i thought cabal-install was just a wrapper |
| 2022-05-11 11:05:57 +0000 | <maerwald[m]> | If portability is not a concern, I'd probably use http-client-openssl |
| 2022-05-11 11:06:25 +0000 | <maerwald[m]> | Because error handling is easier/more idiomatic |
| 2022-05-11 11:06:46 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-11 11:07:22 +0000 | <dragestil> | I find it odd that there don't seem to be widely used libraries for fetching from ftp |
| 2022-05-11 11:08:35 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) (Read error: Connection reset by peer) |
| 2022-05-11 11:09:36 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 11:09:44 +0000 | <maerwald[m]> | Maybe because ftp is a mess and S3 object storage is more widespread these days |
| 2022-05-11 11:10:57 +0000 | <dragestil> | maybe. |
| 2022-05-11 11:11:22 +0000 | <dragestil> | has anyone tried the newly released hls yet? I wonder whether the performance gain is signficant |
| 2022-05-11 11:12:21 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 11:12:39 +0000 | <dragestil> | currently i can only run hls on a server because my laptop cannot handle it |
| 2022-05-11 11:13:04 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-11 11:14:10 +0000 | ubert1 | (~Thunderbi@p200300ecdf158806117918b760ecf219.dip0.t-ipconnect.de) |
| 2022-05-11 11:14:31 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2022-05-11 11:14:40 +0000 | <dragestil> | hls is the only language server that brings my laptop to its knees though |
| 2022-05-11 11:15:02 +0000 | <Bulby[m]> | haha it does use a lot of memory |
| 2022-05-11 11:15:21 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-11 11:16:23 +0000 | <dragestil> | yeah. i wrote some elisp code to use hiedb for goto definition / find references, but .hie files have limitations e.g. does not support template haskell |
| 2022-05-11 11:16:44 +0000 | <Bulby[m]> | yeah 🙁 |
| 2022-05-11 11:17:04 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-11 11:19:48 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-11 11:22:07 +0000 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-05-11 11:25:33 +0000 | frost | (~frost@user/frost) |
| 2022-05-11 11:25:46 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 11:28:31 +0000 | <dragestil> | maerwald[m]: you were right about the wget / curl in cabal-install code. the reason i thought there's nothing in cabal-install is because I can't find its code in hackage |
| 2022-05-11 11:29:26 +0000 | <dragestil> | *browse its code on hackage |
| 2022-05-11 11:32:47 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-11 11:39:59 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-05-11 11:40:17 +0000 | <maerwald> | dragestil: https://hackage.haskell.org/package/cabal-install |
| 2022-05-11 11:41:35 +0000 | <dragestil> | maerwald: right, but it's empty there - you don't get a tree of modules to browse |
| 2022-05-11 11:41:48 +0000 | <maerwald> | yeah, they're not exposed, so `cabal unpack cabal-install` |
| 2022-05-11 11:42:17 +0000 | ztefan | (~stefan@78.31.98.27) |
| 2022-05-11 11:43:34 +0000 | <ztefan> | hi there! I'm trying to build xmond in slackware from slackbuild. I satisfied the dependencies but have strange trouble with linker as I think. Any ideas? http://termbin.com/m2rxy |
| 2022-05-11 11:43:38 +0000 | <ztefan> | xmonad* |
| 2022-05-11 11:44:47 +0000 | king_gs | (~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) (Remote host closed the connection) |
| 2022-05-11 11:46:06 +0000 | king_gs | (~Thunderbi@187.201.105.54) |
| 2022-05-11 11:50:15 +0000 | ccntrq1 | (~Thunderbi@2a01:c22:8dca:f800:d8ef:2fca:d893:8682) |
| 2022-05-11 11:53:28 +0000 | <geekosaur> | that's not the linker, it's the compiler. usually means the package in question (mtl) was built with the wrong version of ghc |
| 2022-05-11 11:53:39 +0000 | ccntrq | (~Thunderbi@dynamic-077-008-064-188.77.8.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2022-05-11 11:53:39 +0000 | ccntrq1 | ccntrq |
| 2022-05-11 11:53:40 +0000 | <maerwald> | ztefan: what is your cabal version |
| 2022-05-11 11:56:31 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-11 11:57:20 +0000 | <ztefan> | maerwald, i don't even have one. As I see, slackbuild script for xmonad doesn't use it, it builds with runghc. |
| 2022-05-11 11:57:48 +0000 | <ztefan> | https://slackbuilds.org/slackbuilds/15.0/desktop/xmonad/xmonad.SlackBuild |
| 2022-05-11 12:00:10 +0000 | <ztefan> | geekosaur, i compiled all packages with the same ghc |
| 2022-05-11 12:00:47 +0000 | <maerwald> | looks like badly packaged stuff to me then |
| 2022-05-11 12:00:54 +0000 | <geekosaur> | same |
| 2022-05-11 12:03:54 +0000 | <ztefan> | you mean mtl or xmonad badly packaged? |
| 2022-05-11 12:04:18 +0000 | <ztefan> | recompiled mtl,it compiles successfully. Reinstalled. Problem still persists |
| 2022-05-11 12:04:34 +0000 | <ztefan> | Will try to compile xmonad manually with no slackbuild |
| 2022-05-11 12:05:47 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-11 12:10:00 +0000 | dvdrw | (~dvdrw@user/dvdrw) |
| 2022-05-11 12:10:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 12:11:21 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-11 12:13:13 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 260 seconds) |
| 2022-05-11 12:14:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-11 12:16:47 +0000 | dvdrw | (~dvdrw@user/dvdrw) (Quit: leaving) |
| 2022-05-11 12:20:48 +0000 | king_gs | (~Thunderbi@187.201.105.54) (Quit: king_gs) |
| 2022-05-11 12:22:28 +0000 | <geekosaur> | this is a problem with mtl. any chance you have another copy of mtl somewhere that might be interfering? |
| 2022-05-11 12:22:32 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-11 12:22:35 +0000 | <geekosaur> | try "ghc-pkg list" |
| 2022-05-11 12:22:56 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-05-11 12:23:24 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 12:24:08 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 12:28:04 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 12:28:26 +0000 | LambdaDuck | (~anka@ksit.fixme.fi) (Ping timeout: 250 seconds) |
| 2022-05-11 12:28:49 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-11 12:29:07 +0000 | LambdaDuck | (~anka@ksit.fixme.fi) |
| 2022-05-11 12:30:11 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 12:31:27 +0000 | ccntrq | (~Thunderbi@2a01:c22:8dca:f800:d8ef:2fca:d893:8682) (Ping timeout: 240 seconds) |
| 2022-05-11 12:32:15 +0000 | ccntrq | (~Thunderbi@2a01:c23:9536:3e00:d1bd:2381:12ec:51b0) |
| 2022-05-11 12:37:51 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-11 12:38:50 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-05-11 12:40:14 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-11 12:40:15 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 12:40:51 +0000 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-05-11 12:43:51 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 12:44:19 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-11 12:45:01 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 12:49:57 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-05-11 12:50:47 +0000 | ccntrq1 | (~Thunderbi@2a01:c22:9116:5d00:6813:9828:c0a3:c1d7) |
| 2022-05-11 12:50:56 +0000 | ccntrq | (~Thunderbi@2a01:c23:9536:3e00:d1bd:2381:12ec:51b0) (Ping timeout: 252 seconds) |
| 2022-05-11 12:50:56 +0000 | ccntrq1 | ccntrq |
| 2022-05-11 12:52:20 +0000 | acidjnk_new | (~acidjnk@p200300d0c7068b59fd670879892edcc4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-11 12:57:16 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) |
| 2022-05-11 12:57:34 +0000 | kaskal | lala |
| 2022-05-11 12:57:48 +0000 | lala | kaskal |
| 2022-05-11 13:00:06 +0000 | mattil | (~mattil@helsinki.portalify.com) (Remote host closed the connection) |
| 2022-05-11 13:05:01 +0000 | AlexNoo_ | AlexNoo |
| 2022-05-11 13:05:06 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-11 13:09:45 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 248 seconds) |
| 2022-05-11 13:21:25 +0000 | moonsheep | (~user@user/moonsheep) |
| 2022-05-11 13:21:47 +0000 | ccntrq1 | (~Thunderbi@2a01:c22:90f8:c200:9460:c46d:b547:8490) |
| 2022-05-11 13:23:05 +0000 | ccntrq | (~Thunderbi@2a01:c22:9116:5d00:6813:9828:c0a3:c1d7) (Ping timeout: 248 seconds) |
| 2022-05-11 13:23:05 +0000 | ccntrq1 | ccntrq |
| 2022-05-11 13:28:04 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-05-11 13:28:33 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-11 13:29:42 +0000 | ztefan | (~stefan@78.31.98.27) (Remote host closed the connection) |
| 2022-05-11 13:30:23 +0000 | ztefan | (~stefan@78.31.98.27) |
| 2022-05-11 13:31:57 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-05-11 13:32:44 +0000 | <k`> | I'm getting conflicting typedefs of `Time` as `int64_t` in include/rts/Time.h and `unsigned long` in `X11/X.h`. I'm trying to use the CApiFFI. Where should I #undef the conflicting one? |
| 2022-05-11 13:33:59 +0000 | <k`> | Do I need to create a separate c header file for my project and do all of that there? |
| 2022-05-11 13:34:59 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-11 13:35:23 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 13:35:26 +0000 | <geekosaur> | I would #undef just before #include-ing X11/X.h (or whichever header is pulling it in) |
| 2022-05-11 13:36:35 +0000 | <int-e> | it's a typedef |
| 2022-05-11 13:36:53 +0000 | <int-e> | so you're kind of screwed here |
| 2022-05-11 13:37:02 +0000 | <geekosaur> | oh, that won't work, yes |
| 2022-05-11 13:37:11 +0000 | moonsheep | (~user@user/moonsheep) (ERC (IRC client for Emacs 27.2)) |
| 2022-05-11 13:37:17 +0000 | <k`> | Oh, right. FML. |
| 2022-05-11 13:37:57 +0000 | <int-e> | #pragma once means you can't even cheat by predefining the include guard... :-/ |
| 2022-05-11 13:40:15 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-11 13:40:32 +0000 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 2022-05-11 13:44:03 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-11 13:47:50 +0000 | odnes | (~odnes@5-203-241-182.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 2022-05-11 13:48:07 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-05-11 13:48:49 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-11 13:51:13 +0000 | ccntrq | (~Thunderbi@2a01:c22:90f8:c200:9460:c46d:b547:8490) (Ping timeout: 260 seconds) |
| 2022-05-11 13:51:16 +0000 | ztefan | (~stefan@78.31.98.27) (Read error: Connection reset by peer) |
| 2022-05-11 13:53:01 +0000 | ccntrq | (~Thunderbi@2a01:c22:84d6:b600:8aaa:9616:4aea:d318) |
| 2022-05-11 13:53:46 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) |
| 2022-05-11 13:57:48 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 240 seconds) |
| 2022-05-11 13:59:05 +0000 | <int-e> | k`: Oh there's this terrible idea: #define Time XTime #include <X11/X.h> #undef Time |
| 2022-05-11 14:00:17 +0000 | <int-e> | (Hacking the X11 include because I expect that you can't intercept the Rts include because that'll be in generated code) |
| 2022-05-11 14:00:24 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 276 seconds) |
| 2022-05-11 14:00:37 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2022-05-11 14:03:36 +0000 | raym | (~raym@user/raym) (Quit: leaving) |
| 2022-05-11 14:06:20 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-11 14:08:49 +0000 | bahamas | (~lucian@86.120.77.115) |
| 2022-05-11 14:09:40 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-05-11 14:11:22 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2022-05-11 14:14:33 +0000 | thyriaen | (~thyriaen@46.183.103.17) |
| 2022-05-11 14:14:34 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-11 14:17:21 +0000 | dsrt^ | (~dsrt@50-73-82-13-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-05-11 14:18:46 +0000 | raym | (~raym@user/raym) |
| 2022-05-11 14:20:02 +0000 | thyriaen | (~thyriaen@46.183.103.17) (Quit: Leaving) |
| 2022-05-11 14:22:41 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-05-11 14:24:15 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-11 14:26:22 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-11 14:26:37 +0000 | dextaa49 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-05-11 14:29:27 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) |
| 2022-05-11 14:31:01 +0000 | <ManofLetters[m]> | How to make GHC deduce `Enum (Foo b)`, where `b :: Bool`, from instances for both `True` and `False` provided by the programmer? Or could I define the instance manually by somehow dispatching on `True` vs `False` (but not separately in each method of the class)? An example that GHC does not automatically do this: https://paste.tomsmeding.com/XijZr37z |
| 2022-05-11 14:31:48 +0000 | ccntrq | (~Thunderbi@2a01:c22:84d6:b600:8aaa:9616:4aea:d318) (Ping timeout: 240 seconds) |
| 2022-05-11 14:32:02 +0000 | ccntrq | (~Thunderbi@2a01:c22:85fa:dd00:7faa:4d3f:b0f9:da3) |
| 2022-05-11 14:32:05 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-11 14:33:01 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-11 14:34:04 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-11 14:34:31 +0000 | <k`> | Are you saying that you want `Foo` to only be `Enum` when it's applied to `Bool`? |
| 2022-05-11 14:35:16 +0000 | <k`> | Oh, Bool kind. |
| 2022-05-11 14:35:30 +0000 | <ManofLetters[m]> | right |
| 2022-05-11 14:36:38 +0000 | <ManofLetters[m]> | silly computer should know that `Enum (Foo b)` holds when both `Enum (Foo True)` and `Enum (Foo False)` holds |
| 2022-05-11 14:38:01 +0000 | <int-e> | ManofLetters[m]: Types are erased though... you need something (like a class constraint on b) that remains that allows the code (at runtime) to know which of the two instances it should be using. |
| 2022-05-11 14:38:25 +0000 | <k`> | That's obnoxious. |
| 2022-05-11 14:39:29 +0000 | <int-e> | I find it easier to digest than explanations that the type system's current rules can't do that... it's hard to make those arguments exhaustive (but easy to make the exhausting :P) |
| 2022-05-11 14:40:26 +0000 | <int-e> | the exhausting -> them exhausting |
| 2022-05-11 14:41:51 +0000 | <ManofLetters[m]> | oh, I see; when I add `Enum (Foo b)` constraint to the signature of the function it works fine (the constraint probably is the slot that carries the chosen dictionary to be applied), but the problem is, in the real code, I can't add such a constraint (I'd need an extra variable for that that'd pollute the outer type and `forall` can't be used either) |
| 2022-05-11 14:43:09 +0000 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer) |
| 2022-05-11 14:44:18 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-11 14:45:08 +0000 | <ManofLetters[m]> | (and then I need to call the function with `f (T 1 :: T True)` so that it's know which dictionary is chosen) |
| 2022-05-11 14:52:50 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-11 14:54:19 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-05-11 14:57:47 +0000 | akegalj | (~akegalj@141-136-146-186.dsl.iskon.hr) |
| 2022-05-11 14:57:50 +0000 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 240 seconds) |
| 2022-05-11 15:00:17 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-11 15:00:19 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-05-11 15:01:42 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 2022-05-11 15:01:43 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c062:9ce0:f472:fe68) (Quit: WeeChat 2.8) |
| 2022-05-11 15:04:14 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-11 15:06:06 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 15:18:35 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-05-11 15:19:26 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-05-11 15:20:07 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-11 15:21:30 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-11 15:24:09 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-11 15:27:40 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-11 15:28:00 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2022-05-11 15:30:25 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 15:32:15 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 15:32:28 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-05-11 15:34:36 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-05-11 15:35:36 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-11 15:37:49 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-11 15:42:08 +0000 | califax | (~califax@user/califx) |
| 2022-05-11 15:46:11 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-11 15:50:59 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 15:51:40 +0000 | jinsun__ | (~jinsun@user/jinsun) () |
| 2022-05-11 15:51:53 +0000 | xaotuk | (~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 252 seconds) |
| 2022-05-11 15:52:01 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-11 15:56:38 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-05-11 16:00:06 +0000 | euphrates[m] | (~euphrates@2001:470:69fc:105::fbb5) (Quit: You have been kicked for being idle) |
| 2022-05-11 16:04:03 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-11 16:04:43 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-11 16:05:59 +0000 | ccntrq | (~Thunderbi@2a01:c22:85fa:dd00:7faa:4d3f:b0f9:da3) (Ping timeout: 240 seconds) |
| 2022-05-11 16:10:44 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds) |
| 2022-05-11 16:12:05 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-11 16:12:56 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 16:13:46 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 16:15:13 +0000 | ccntrq | (~Thunderbi@2a01:c23:8934:3d00:3d25:a9ed:1d1b:3258) |
| 2022-05-11 16:15:24 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-11 16:18:25 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-05-11 16:18:58 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-05-11 16:24:21 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 2022-05-11 16:24:42 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-05-11 16:25:08 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 16:25:59 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 16:29:38 +0000 | akegalj | (~akegalj@141-136-146-186.dsl.iskon.hr) (Quit: leaving) |
| 2022-05-11 16:30:17 +0000 | ccntrq | (~Thunderbi@2a01:c23:8934:3d00:3d25:a9ed:1d1b:3258) (Ping timeout: 248 seconds) |
| 2022-05-11 16:30:29 +0000 | ccntrq1 | (~Thunderbi@2a01:c23:9007:9800:5031:ed4a:a927:7fd0) |
| 2022-05-11 16:32:02 +0000 | econo | (uid147250@user/econo) |
| 2022-05-11 16:33:35 +0000 | ccntrq | (~Thunderbi@2a02:3100:7105:7400:cfe4:96b:755:10bc) |
| 2022-05-11 16:34:39 +0000 | ccntrq1 | (~Thunderbi@2a01:c23:9007:9800:5031:ed4a:a927:7fd0) (Ping timeout: 240 seconds) |
| 2022-05-11 16:38:42 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 16:38:57 +0000 | alp_ | (~alp@user/alp) |
| 2022-05-11 16:39:33 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-11 16:39:44 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-11 16:45:24 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-11 16:49:12 +0000 | kenran | (~kenran@200116b82b7b15001c85fb2857230cf5.dip.versatel-1u1.de) |
| 2022-05-11 16:56:22 +0000 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) |
| 2022-05-11 16:56:35 +0000 | ccntrq | (~Thunderbi@2a02:3100:7105:7400:cfe4:96b:755:10bc) (Quit: ccntrq) |
| 2022-05-11 16:58:42 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 16:59:40 +0000 | acidjnk_new | (~acidjnk@p200300d0c7068b598473bf92e3392dfc.dip0.t-ipconnect.de) |
| 2022-05-11 17:08:29 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-11 17:16:19 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-05-11 17:31:49 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 17:32:24 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 17:33:45 +0000 | dsrt^ | (~dsrt@128-092-160-234.biz.spectrum.com) |
| 2022-05-11 17:35:25 +0000 | Guest2 | (~Guest2@cpc103424-donc13-2-0-cust953.17-1.cable.virginm.net) |
| 2022-05-11 17:36:42 +0000 | Guest2 | (~Guest2@cpc103424-donc13-2-0-cust953.17-1.cable.virginm.net) (Client Quit) |
| 2022-05-11 17:37:15 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-05-11 17:37:56 +0000 | mbuf | (~Shakthi@122.162.131.93) (Quit: Leaving) |
| 2022-05-11 17:41:54 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-11 17:44:36 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 17:46:28 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-05-11 17:46:34 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 17:50:38 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-05-11 17:51:57 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-11 17:53:04 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-05-11 17:53:43 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-05-11 17:54:41 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 17:57:13 +0000 | coot | (~coot@213.134.190.95) (Ping timeout: 248 seconds) |
| 2022-05-11 17:57:33 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-05-11 17:58:12 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-11 17:58:37 +0000 | bliminse | (~bliminse@host86-164-128-238.range86-164.btcentralplus.com) (Quit: leaving) |
| 2022-05-11 17:59:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-11 18:00:53 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 18:01:53 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-05-11 18:03:04 +0000 | bliminse | (~bliminse@host86-164-128-238.range86-164.btcentralplus.com) |
| 2022-05-11 18:03:22 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 18:04:14 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 18:05:17 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-05-11 18:08:30 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-11 18:10:25 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 18:10:58 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-11 18:13:14 +0000 | pavonia | (~user@user/siracusa) |
| 2022-05-11 18:13:55 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-11 18:15:40 +0000 | MoC | (~moc@user/moc) |
| 2022-05-11 18:18:36 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-11 18:19:36 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-05-11 18:23:18 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-11 18:23:45 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 18:24:29 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 18:30:19 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-05-11 18:33:04 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-05-11 18:34:47 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-11 18:38:22 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 18:38:27 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-05-11 18:38:37 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-11 18:38:42 +0000 | machinedgod | (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 2022-05-11 18:39:10 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 18:39:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 18:41:09 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-11 18:44:27 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-11 18:44:35 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-11 18:45:30 +0000 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-05-11 18:55:50 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-05-11 19:00:23 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 19:04:50 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-11 19:09:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 19:12:47 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-11 19:15:05 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 19:22:15 +0000 | dextaa49 | (~dextaa@user/dextaa) |
| 2022-05-11 19:23:38 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 252 seconds) |
| 2022-05-11 19:24:06 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 19:24:25 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 19:24:47 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 19:26:09 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-11 19:27:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 19:31:11 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-11 19:40:34 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 19:41:24 +0000 | sleym | (~sleym@user/sleym) |
| 2022-05-11 19:42:06 +0000 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Quit: leaving) |
| 2022-05-11 19:43:34 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 19:49:20 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 19:53:36 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 19:55:07 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 19:55:07 +0000 | alp_ | (~alp@user/alp) |
| 2022-05-11 19:58:49 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2022-05-11 19:59:10 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-05-11 19:59:48 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-11 20:01:46 +0000 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-11 20:02:00 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 20:02:30 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2022-05-11 20:04:04 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-11 20:05:21 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 20:05:27 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-11 20:05:35 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 20:05:58 +0000 | machinedgod | (~machinedg@24.105.81.50) (Quit: Lost terminal) |
| 2022-05-11 20:06:42 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-11 20:09:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-11 20:09:51 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-11 20:10:51 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 20:26:12 +0000 | dsrt^ | (~dsrt@128-092-160-234.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-05-11 20:28:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 20:32:55 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 20:33:41 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-11 20:34:17 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-11 20:34:50 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 20:37:10 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 240 seconds) |
| 2022-05-11 20:41:27 +0000 | dsrt^ | (~dsrt@128-092-160-234.biz.spectrum.com) |
| 2022-05-11 20:42:14 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 20:43:21 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 20:45:51 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-05-11 20:46:03 +0000 | k` | (~user@152.1.137.158) (Quit: EoD) |
| 2022-05-11 20:46:50 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-11 20:49:23 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 20:52:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 20:54:34 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-05-11 20:54:34 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-05-11 20:54:40 +0000 | acidjnk_new | (~acidjnk@p200300d0c7068b598473bf92e3392dfc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-11 20:59:36 +0000 | <[exa]> | Any hints on if there can be an instance of MonadUnliftIO for monads that carry stuff around, such as StateT x IO? I see there's one provided for ReaderT but that one is kinda easy |
| 2022-05-11 21:00:04 +0000 | <[exa]> | (that is, preferably without using IORef) |
| 2022-05-11 21:04:59 +0000 | slack1256 | (~slack1256@191.125.227.220) |
| 2022-05-11 21:08:00 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-11 21:08:33 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-05-11 21:12:57 +0000 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2022-05-11 21:13:22 +0000 | kadobanana | (~mud@user/kadoban) |
| 2022-05-11 21:19:12 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 21:20:14 +0000 | <tomsmeding> | [exa]: > Note that, in order to meet the laws given below, the intuition is that a monad must have no monadic state, but may have monadic context. |
| 2022-05-11 21:20:18 +0000 | <tomsmeding> | that doesn't sound hopeful |
| 2022-05-11 21:20:42 +0000 | <geekosaur> | doesn't state inply the ability to "teleport" that state around? |
| 2022-05-11 21:22:04 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 21:22:34 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 21:24:53 +0000 | WhateverRabbit | (~rabbit@206.81.18.26) (Quit: WeeChat 2.8) |
| 2022-05-11 21:26:24 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-11 21:29:34 +0000 | <tomsmeding> | [exa]: to make an implementation of MonadUnliftIO for 'StateT IO s', you eventually need to conjure a 'forall a. (s -> IO (a, s)) -> IO a' out of thin air |
| 2022-05-11 21:30:35 +0000 | <tomsmeding> | while you do have an initial state at that point, so you can apply the 's -> IO (a, s)' to a sensible state, but you cannot do anything with the resulting state -- and you need to give a resulting state back at the end of withRunInIO |
| 2022-05-11 21:31:02 +0000 | <tomsmeding> | which makes sense: to express State in IO, you need to store the state _somewhere_ |
| 2022-05-11 21:31:08 +0000 | <tomsmeding> | so I guess IORef is the only option |
| 2022-05-11 21:34:20 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-11 21:34:57 +0000 | kenran | (~kenran@200116b82b7b15001c85fb2857230cf5.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-05-11 21:36:28 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 21:40:00 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 21:44:09 +0000 | <[exa]> | ok good, now battling the foralls |
| 2022-05-11 21:44:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-05-11 21:46:18 +0000 | <[exa]> | the teleport for just RWST IO seems to work as https://paste.tomsmeding.com/Jk5saqQp but kinda struggling to make it polymorphic |
| 2022-05-11 21:47:11 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 2022-05-11 21:47:13 +0000 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) (Ping timeout: 260 seconds) |
| 2022-05-11 21:48:43 +0000 | <EvanR> | what's this teleport thing, is this a technical term |
| 2022-05-11 21:49:09 +0000 | <[exa]> | the current half-borked state with actual transformer is https://paste.tomsmeding.com/vPGggCey |
| 2022-05-11 21:49:33 +0000 | <[exa]> | EvanR: geekosaur calls it teleport, it's a teleport! :] |
| 2022-05-11 21:50:01 +0000 | <[exa]> | tomsmeding: thanks for the intuition with the storage needed, that's helpful |
| 2022-05-11 21:50:04 +0000 | <geekosaur> | veryinformal version of what tomsmeding said |
| 2022-05-11 21:50:26 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 21:51:07 +0000 | <EvanR> | How do the Heisenberg compensators work? "They work very well thanks for asking" |
| 2022-05-11 21:51:29 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 21:52:11 +0000 | alp_ | (~alp@user/alp) |
| 2022-05-11 21:52:49 +0000 | <EvanR> | (mangled paraphrase) |
| 2022-05-11 21:53:12 +0000 | <[exa]> | EvanR: we're teleporting state through IO |
| 2022-05-11 21:54:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 21:55:39 +0000 | slac91684 | (~slack1256@186.11.61.142) |
| 2022-05-11 21:56:51 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-11 21:57:23 +0000 | <EvanR> | sounds evocative of object programming |
| 2022-05-11 21:57:25 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 21:57:38 +0000 | slack1256 | (~slack1256@191.125.227.220) (Ping timeout: 252 seconds) |
| 2022-05-11 21:57:43 +0000 | <Bulby[m]> | 🤣 |
| 2022-05-11 21:58:07 +0000 | <[exa]> | ah it was missing a lift |
| 2022-05-11 21:58:14 +0000 | <[exa]> | sufficient kind of teleport |
| 2022-05-11 21:58:28 +0000 | sleym | (~sleym@user/sleym) (Quit: sleym) |
| 2022-05-11 21:58:59 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 22:02:02 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 252 seconds) |
| 2022-05-11 22:04:12 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 22:04:44 +0000 | n3t | (n3t@s45.mydevil.net) (Read error: Connection reset by peer) |
| 2022-05-11 22:05:02 +0000 | n3t | (n3t@s45.mydevil.net) |
| 2022-05-11 22:05:23 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2022-05-11 22:05:23 +0000 | maerwald | (~maerwald@user/maerwald) |
| 2022-05-11 22:07:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-11 22:08:07 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-11 22:09:11 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-05-11 22:10:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 22:11:10 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 22:11:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-11 22:11:59 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2022-05-11 22:15:29 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-11 22:18:12 +0000 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 248 seconds) |
| 2022-05-11 22:19:55 +0000 | joo-_ | (~joo-_@87-49-45-5-mobile.dk.customer.tdc.net) |
| 2022-05-11 22:19:55 +0000 | joo-_ | (~joo-_@87-49-45-5-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-05-11 22:19:55 +0000 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-05-11 22:24:08 +0000 | <raehik> | Why does GHCi error with "couldn't match a lifted type with an unlifted type" when I write a Word# expression? Or even a literal |
| 2022-05-11 22:24:11 +0000 | <raehik> | > 1## |
| 2022-05-11 22:24:13 +0000 | <lambdabot> | error: |
| 2022-05-11 22:24:13 +0000 | <lambdabot> | • Couldn't match a lifted type with an unlifted type |
| 2022-05-11 22:24:14 +0000 | <lambdabot> | When matching types |
| 2022-05-11 22:25:08 +0000 | <raehik> | I can apparently work around it by wrapping with W# :: Word# -> Word . but I'm very very fuzzy on the details here |
| 2022-05-11 22:25:12 +0000 | <raehik> | > W# 1## |
| 2022-05-11 22:25:14 +0000 | <lambdabot> | error: |
| 2022-05-11 22:25:14 +0000 | <lambdabot> | Data constructor not in scope: W# :: GHC.Prim.Word# -> t |
| 2022-05-11 22:27:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-05-11 22:28:47 +0000 | <raehik> | Also confuses me that I have to use "W# (f x y)" rather than "W# $ f x y". guess that's to do with $ and levities or sth |
| 2022-05-11 22:30:38 +0000 | marquis_andras | (~marquis_a@110-175-153-86.static.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2022-05-11 22:30:49 +0000 | <geekosaur> | yes |
| 2022-05-11 22:30:54 +0000 | marquis_andras | (~marquis_a@110-175-153-86.static.tpgi.com.au) |
| 2022-05-11 22:31:08 +0000 | <geekosaur> | with respect to ghci, try -fno-it |
| 2022-05-11 22:31:30 +0000 | <geekosaur> | (ghci by default binds expressions to `it`, but its type is lifted) |
| 2022-05-11 22:32:51 +0000 | <geekosaur> | mm, that might not be enough if it goes to print it because `print` isn't levity polymorphic in its argument |
| 2022-05-11 22:33:10 +0000 | <raehik> | yeah, I'm getting the same error. thx for -fno-it, I didn't know that was how ghci worked |
| 2022-05-11 22:33:11 +0000 | <geekosaur> | probably also why lambdabot doesn't like it |
| 2022-05-11 22:33:58 +0000 | <geekosaur> | levity polymorphism is still a work in progress, I think |
| 2022-05-11 22:34:00 +0000 | <raehik> | is this just because avg Haskell programmers don't use unlifted types at the interpreter? |
| 2022-05-11 22:34:14 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 22:36:22 +0000 | <sm> | https://haskell-links.org has a simple UI now |
| 2022-05-11 22:37:11 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 22:37:22 +0000 | <geekosaur> | @let {-# OPTIONS_GHC -fprint-explicit-runtime-reps #-} |
| 2022-05-11 22:37:23 +0000 | <lambdabot> | Defined. |
| 2022-05-11 22:37:30 +0000 | <geekosaur> | :t ($) |
| 2022-05-11 22:37:31 +0000 | <lambdabot> | (a -> b) -> a -> b |
| 2022-05-11 22:37:47 +0000 | <geekosaur> | hm |
| 2022-05-11 22:37:55 +0000 | <geekosaur> | :t print |
| 2022-05-11 22:37:57 +0000 | <lambdabot> | Show a => a -> IO () |
| 2022-05-11 22:38:31 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 246 seconds) |
| 2022-05-11 22:38:57 +0000 | <geekosaur> | mm, iirc you can't have levity polymorphic Show either. but I don;t think that option "took" because ($) is partially levity polymorphic |
| 2022-05-11 22:40:55 +0000 | <geekosaur> | "No variable may have a levity-polymorphic type." |
| 2022-05-11 22:40:59 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-05-11 22:41:07 +0000 | <geekosaur> | :t undefined |
| 2022-05-11 22:41:08 +0000 | <lambdabot> | a |
| 2022-05-11 22:41:09 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-11 22:41:22 +0000 | <geekosaur> | right, so lb doesn't handle levity at all |
| 2022-05-11 22:41:46 +0000 | <geekosaur> | and yahb is still out to lunch apparently |
| 2022-05-11 22:42:02 +0000 | <geekosaur> | % :set -fprint-explicit-runtime-reps |
| 2022-05-11 22:42:07 +0000 | <geekosaur> | feh |
| 2022-05-11 22:43:01 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-05-11 22:45:12 +0000 | <EvanR> | you can't always throw $ at the problem |
| 2022-05-11 22:46:05 +0000 | ojsaki | (~ojsaki@84.64.137.140) (Ping timeout: 256 seconds) |
| 2022-05-11 22:46:30 +0000 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-11 22:47:09 +0000 | jao | (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-11 22:50:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 22:50:40 +0000 | dextaa490 | (~dextaa@user/dextaa) |
| 2022-05-11 22:50:44 +0000 | dextaa49 | (~dextaa@user/dextaa) (Ping timeout: 248 seconds) |
| 2022-05-11 22:50:44 +0000 | dextaa490 | dextaa49 |
| 2022-05-11 22:53:03 +0000 | <hpc> | i just realized certain types of continuation passing style are literal technical debt |
| 2022-05-11 22:53:09 +0000 | <hpc> | because it can have a value of ($100) |
| 2022-05-11 22:53:46 +0000 | <hpc> | https://ux.stackexchange.com/a/1875 :P |
| 2022-05-11 22:53:50 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 2022-05-11 22:54:25 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-11 22:56:48 +0000 | <EvanR> | negativity shouldn't be surprising or attention grabbing. It's part of nature. You can't have shadow without light, or something |
| 2022-05-11 22:56:53 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-05-11 22:58:04 +0000 | <hpc> | there's probably a joke in there about higher-ranked types and having forall in a negative position too :D |
| 2022-05-11 22:58:17 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 22:58:33 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-11 22:58:58 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-11 22:59:33 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-11 22:59:53 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-11 23:00:05 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) |
| 2022-05-11 23:01:10 +0000 | dsrt^ | (~dsrt@128-092-160-234.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-05-11 23:01:28 +0000 | causal | (~user@50.35.83.177) |
| 2022-05-11 23:01:49 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 23:03:20 +0000 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 248 seconds) |
| 2022-05-11 23:04:35 +0000 | dsrt^ | (~dsrt@128-092-160-234.biz.spectrum.com) |
| 2022-05-11 23:04:44 +0000 | yauhsien | (~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-05-11 23:08:03 +0000 | bahamas | (~lucian@84.232.141.55) |
| 2022-05-11 23:11:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 23:12:07 +0000 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-11 23:12:28 +0000 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 246 seconds) |
| 2022-05-11 23:17:14 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-05-11 23:18:50 +0000 | mmhat | (~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5) |
| 2022-05-11 23:19:44 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-11 23:20:27 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 23:23:06 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-11 23:25:37 +0000 | Guest052 | (~Guest0@cpe-24-165-41-186.hawaii.res.rr.com) |
| 2022-05-11 23:25:46 +0000 | dsrt^ | (~dsrt@128-092-160-234.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2022-05-11 23:26:15 +0000 | Guest052 | (~Guest0@cpe-24-165-41-186.hawaii.res.rr.com) (Client Quit) |
| 2022-05-11 23:27:49 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-11 23:31:45 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-11 23:32:26 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Quit: leaving) |
| 2022-05-11 23:32:43 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-05-11 23:34:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-05-11 23:34:26 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 23:34:47 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-11 23:39:23 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:64b4:113a:8a62:5026) (Ping timeout: 252 seconds) |
| 2022-05-11 23:41:03 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-05-11 23:43:05 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-11 23:44:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 23:45:35 +0000 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-05-11 23:45:58 +0000 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-05-11 23:46:45 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds) |
| 2022-05-11 23:48:08 +0000 | mbuf | (~Shakthi@27.58.139.1) |
| 2022-05-11 23:48:11 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds) |
| 2022-05-11 23:48:20 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-11 23:51:19 +0000 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2022-05-11 23:55:04 +0000 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-11 23:56:10 +0000 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |