| 2023-09-17 00:06:23 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-17 00:11:57 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2023-09-17 00:13:30 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 00:22:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 00:25:13 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-17 00:25:54 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Quit: Gone.) |
| 2023-09-17 00:28:12 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-09-17 00:29:26 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
| 2023-09-17 00:30:34 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 244 seconds) |
| 2023-09-17 00:32:55 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-09-17 00:36:14 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 00:36:43 +0200 | <dsal> | hpc: That's such a weird thing. |
| 2023-09-17 00:37:17 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 244 seconds) |
| 2023-09-17 00:38:14 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-09-17 00:39:03 +0200 | Jon | (jon@dow.land) (Server closed connection) |
| 2023-09-17 00:39:38 +0200 | Jon | (jon@dow.land) |
| 2023-09-17 00:42:19 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2023-09-17 00:42:26 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-09-17 00:44:51 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 00:46:58 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-17 00:49:12 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-09-17 00:51:00 +0200 | jrm | (~jrm@user/jrm) |
| 2023-09-17 00:54:13 +0200 | polaris^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 2023-09-17 00:56:12 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-17 00:56:13 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-17 00:56:13 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-17 00:59:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 00:59:21 +0200 | shapr | (~user@2600:1700:c640:3100:a03a:3eb3:ec74:8ab2) |
| 2023-09-17 01:01:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-17 01:02:18 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-09-17 01:04:48 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-17 01:07:36 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 01:09:33 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-09-17 01:10:35 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-09-17 01:13:05 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2023-09-17 01:17:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 246 seconds) |
| 2023-09-17 01:17:42 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-09-17 01:21:11 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 01:23:28 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-17 01:23:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-17 01:29:00 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 01:39:31 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-17 01:39:47 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-09-17 01:40:20 +0200 | Square | (~Square@user/square) |
| 2023-09-17 01:41:03 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-09-17 01:42:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 01:43:29 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-17 01:44:23 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 2023-09-17 01:50:34 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 01:53:26 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-17 01:53:38 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-17 01:53:38 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-17 01:53:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-17 01:58:29 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-17 01:58:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-09-17 01:59:48 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-09-17 02:00:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-17 02:04:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 02:06:31 +0200 | <Inst> | okay, i think i'll try to debug this here, now |
| 2023-09-17 02:07:17 +0200 | <institor> | jacking in... |
| 2023-09-17 02:07:59 +0200 | <Inst> | basement is blocking haddock from building documentation, i'm getting really annoyed at vincent hanquez, tbh |
| 2023-09-17 02:08:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-09-17 02:08:27 +0200 | <Inst> | i've heard from others of his antics: i.e, blocking haskell-foundation namespace on github, the long time it took for the crypton fork |
| 2023-09-17 02:09:48 +0200 | <Inst> | on cabal 10 |
| 2023-09-17 02:09:53 +0200 | <Inst> | 3.10, rather |
| 2023-09-17 02:10:33 +0200 | <Inst> | hmmm, okay, this works on cabal 3.6 |
| 2023-09-17 02:11:38 +0200 | <Inst> | and 3.8.1 |
| 2023-09-17 02:11:45 +0200 | <Inst> | maybe i should take this to haskell tooling channels? |
| 2023-09-17 02:11:59 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 02:12:08 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 02:13:25 +0200 | <Inst> | wow, the documentatino i wrote sucks :( |
| 2023-09-17 02:13:29 +0200 | <Inst> | need to learn how to use haddock better |
| 2023-09-17 02:16:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Remote host closed the connection) |
| 2023-09-17 02:18:35 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-17 02:26:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 02:27:11 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-17 02:29:00 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-17 02:30:25 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2023-09-17 02:30:25 +0200 | Me-me | (~me-me@user/me-me) |
| 2023-09-17 02:33:51 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 02:46:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-17 02:46:42 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-17 02:47:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 2023-09-17 02:47:28 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 02:52:07 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 244 seconds) |
| 2023-09-17 02:54:10 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-17 02:55:39 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 02:59:06 +0200 | myme | (~myme@2a01:799:d60:e400:523a:264f:abbd:410) (Ping timeout: 246 seconds) |
| 2023-09-17 03:00:10 +0200 | myme | (~myme@2a01:799:d60:e400:e336:7d0f:f75f:76b1) |
| 2023-09-17 03:05:03 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-17 03:09:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-17 03:10:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 03:11:22 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-17 03:11:36 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-17 03:14:18 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-17 03:17:51 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-17 03:18:22 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 03:28:21 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Read error: Connection reset by peer) |
| 2023-09-17 03:32:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 03:34:20 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-17 03:34:33 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-17 03:39:06 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 03:42:15 +0200 | bilegeek | (~bilegeek@2600:1008:b020:99af:906e:c146:fc6d:5e8c) |
| 2023-09-17 03:42:45 +0200 | otto_s | (~user@p5b0445ec.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-09-17 03:44:30 +0200 | otto_s | (~user@p5de2f957.dip0.t-ipconnect.de) |
| 2023-09-17 03:51:02 +0200 | zmt01 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2023-09-17 03:52:27 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-09-17 03:53:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 03:55:25 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2023-09-17 04:01:36 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 04:02:29 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-17 04:04:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-17 04:04:19 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 04:06:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-17 04:07:10 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-17 04:13:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-17 04:15:03 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 04:22:49 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-17 04:23:29 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 04:30:03 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Server closed connection) |
| 2023-09-17 04:30:16 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2023-09-17 04:30:36 +0200 | mokrates` | (~user@2a04:4540:710a:3500:7929:eb1e:dadd:7209) (Read error: Connection reset by peer) |
| 2023-09-17 04:31:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-17 04:33:19 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-17 04:37:31 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 04:37:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-17 04:39:19 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-17 04:42:15 +0200 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 240 seconds) |
| 2023-09-17 04:44:22 +0200 | td_ | (~td@i5387092E.versanet.de) |
| 2023-09-17 04:45:21 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 04:49:25 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-17 04:49:25 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-17 04:49:25 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-17 04:59:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 05:01:17 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2023-09-17 05:04:31 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Ping timeout: 264 seconds) |
| 2023-09-17 05:04:33 +0200 | aforemny | (~aforemny@2001:9e8:6cce:ff00:a81e:c675:2712:6bbb) |
| 2023-09-17 05:04:59 +0200 | renpose | (~renpose@user/renpose) (Quit: Ping timeout (120 seconds)) |
| 2023-09-17 05:05:03 +0200 | aforemny_ | (~aforemny@i59F516D6.versanet.de) (Ping timeout: 240 seconds) |
| 2023-09-17 05:06:11 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 05:07:27 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 240 seconds) |
| 2023-09-17 05:11:17 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-17 05:19:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 05:26:03 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-17 05:27:29 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 05:33:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-17 05:36:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-17 05:38:43 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-17 05:38:44 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-09-17 05:40:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 05:45:04 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-17 05:46:26 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-17 05:46:32 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 05:48:16 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 05:54:19 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 05:55:19 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 05:59:43 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-17 06:01:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 06:06:15 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-17 06:06:34 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-17 06:09:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 06:18:42 +0200 | <Inst> | also, ummm, can I ask something about Template Haskell? |
| 2023-09-17 06:18:49 +0200 | <Inst> | I have a rough design that's based around traverse |
| 2023-09-17 06:19:19 +0200 | <Inst> | that is to say, I have a sum-of product type, and I need to implement a way to convert the fields of the product type into a new data type |
| 2023-09-17 06:19:41 +0200 | <Inst> | btw thanks c_wraith for clarifications |
| 2023-09-17 06:20:26 +0200 | <Inst> | I can do this adequately well using a printer that converts the product type into a file for copy pasting, but with template haskell, this is not viable? |
| 2023-09-17 06:22:15 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 06:24:36 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 06:25:27 +0200 | <c_wraith> | Inst: you can do quite a lot from TH, but I really have no idea what you're asking for. Like - what data do you have, what are you doing with it, why are you doing it at compile time, etc |
| 2023-09-17 06:27:57 +0200 | <Inst> | c_wraith: I'm trying to work on extending file-embed into an asset file management library, possibly with reimplementation |
| 2023-09-17 06:28:38 +0200 | <c_wraith> | so... you want to parse some sort of manifest and embed everything it lists as an appropriate structure? |
| 2023-09-17 06:28:49 +0200 | <Inst> | https://paste.tomsmeding.com/BsZRGiY0 |
| 2023-09-17 06:29:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-17 06:29:18 +0200 | <Inst> | yeah, I'd rather build a list literal |
| 2023-09-17 06:29:27 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-17 06:29:40 +0200 | <Inst> | then it can be fed to the IOActions part of the library which'll traverse a function into it returning a list of results, which the end user presumably can employ |
| 2023-09-17 06:30:17 +0200 | <c_wraith> | I'm not sure this is really the route to take. It'll destroy compile performance. |
| 2023-09-17 06:30:19 +0200 | <Inst> | i somehow get the feeling that it might be better |
| 2023-09-17 06:30:33 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 06:30:34 +0200 | <c_wraith> | compilation time is super-linear in the module size |
| 2023-09-17 06:30:48 +0200 | <Inst> | there's an alternative module that produces literals without TH |
| 2023-09-17 06:31:01 +0200 | <c_wraith> | if you embed megabytes of data into a module, that's going to be a real performance hit |
| 2023-09-17 06:31:42 +0200 | <Inst> | since we know that reify is limited, is this an unsurpassable Haskell limitation? |
| 2023-09-17 06:32:28 +0200 | <Inst> | the overall design is build manifest, process manifest in program, but the manifest design is intended to be open |
| 2023-09-17 06:32:40 +0200 | <Inst> | one idea i've had is to add a zip / tar format and use that instead |
| 2023-09-17 06:37:06 +0200 | <Inst> | thank you for the useful input :) |
| 2023-09-17 06:37:38 +0200 | <EvanR> | concat a binary blob on the end of the EXE and then FFI load/parse it at runtime! |
| 2023-09-17 06:38:13 +0200 | <EvanR> | (might not need FFI) |
| 2023-09-17 06:38:48 +0200 | <EvanR> | concat the Show output blob on the end of the EXE and read it at runtime! |
| 2023-09-17 06:41:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-17 06:42:22 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) |
| 2023-09-17 06:43:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 06:45:03 +0200 | krjt | (~krjst@2604:a880:800:c1::16b:8001) (Server closed connection) |
| 2023-09-17 06:46:19 +0200 | krjt | (~krjst@2604:a880:800:c1::16b:8001) |
| 2023-09-17 06:47:48 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-17 06:50:38 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 06:51:47 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::c) |
| 2023-09-17 06:53:26 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-17 06:54:51 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-09-17 06:56:05 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-17 06:56:24 +0200 | <Inst> | the problem is that I have a polymorphically typed item, hmmm, what to do with it, ugh |
| 2023-09-17 06:56:25 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::c) (Quit: WeeChat 4.0.4) |
| 2023-09-17 06:57:01 +0200 | <Inst> | maybe just reify it then extract the name from the literal and hope it works? TH being weakly typed is a pain |
| 2023-09-17 07:00:07 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 244 seconds) |
| 2023-09-17 07:01:23 +0200 | <EvanR> | TH is strongly typed |
| 2023-09-17 07:03:44 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 07:04:17 +0200 | <EvanR> | but the pain part is probably real |
| 2023-09-17 07:06:09 +0200 | <Inst> | okay, and reify gives me a stage error, gah |
| 2023-09-17 07:06:43 +0200 | <Inst> | it's like, I can identify useful libs missing in ecosystem, but it's always a good reason it hasn't been done |
| 2023-09-17 07:06:59 +0200 | <c_wraith> | stage errors are easy enough to work around.. you just need more files. |
| 2023-09-17 07:07:38 +0200 | <Inst> | i'm trying to pattern match against a data structure |
| 2023-09-17 07:07:55 +0200 | <Inst> | and then change the data structure to a new data structure with a TH literal added |
| 2023-09-17 07:08:25 +0200 | <c_wraith> | you can't *change* a data type with template haskell. |
| 2023-09-17 07:09:02 +0200 | <Inst> | I mean, say, you have (3,4), you can transform it into (3,3,4,4) as a literal in TH |
| 2023-09-17 07:10:12 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 07:10:35 +0200 | <Inst> | here, I'm trying to do ``` DataConstructor assetID filePathOfEmbed ``` and convert it to ``` DataConstructor2 assetId byteStringLiteralOfFile``` |
| 2023-09-17 07:10:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-17 07:15:32 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-17 07:15:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-17 07:16:18 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::c) |
| 2023-09-17 07:16:29 +0200 | <Inst> | i think the code goes to hell because it's polymorphic, ugh |
| 2023-09-17 07:16:57 +0200 | <Inst> | Could not deduce (Language.Haskell.TH.Syntax.Lift assetId) |
| 2023-09-17 07:17:00 +0200 | <Inst> | should i add this as a constraint? |
| 2023-09-17 07:17:15 +0200 | <Inst> | but what does it mean to the end user? Can you derive an instance of Lift and have it be ergonomic? |
| 2023-09-17 07:18:03 +0200 | <glguy> | They can often be hand made and there is template haskell solutions |
| 2023-09-17 07:18:37 +0200 | <glguy> | But most types won't have an instance without intervention |
| 2023-09-17 07:19:54 +0200 | bilegeek | (~bilegeek@2600:1008:b020:99af:906e:c146:fc6d:5e8c) (Quit: Leaving) |
| 2023-09-17 07:20:11 +0200 | <Inst> | so staging overload is the best option? |
| 2023-09-17 07:21:25 +0200 | <glguy> | I don't know what that is |
| 2023-09-17 07:23:22 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 07:27:51 +0200 | chomwitt | (~chomwitt@ppp-94-68-188-69.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-09-17 07:30:03 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) (Server closed connection) |
| 2023-09-17 07:30:36 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 2023-09-17 07:31:12 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2023-09-17 07:31:40 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 07:32:03 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2023-09-17 07:34:28 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-17 07:35:38 +0200 | <Inst> | well, i can't get staging to work either, like, the error is: |
| 2023-09-17 07:35:50 +0200 | <Inst> | extractName a = 'a |
| 2023-09-17 07:35:51 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-17 07:36:14 +0200 | <Inst> | "Stage error: the non-top-level quoted name 'a must be used at the same level it's bound" |
| 2023-09-17 07:36:38 +0200 | <Inst> | that's pretty much screwed, isn't it? |
| 2023-09-17 07:37:11 +0200 | hyiltiz2 | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 07:39:24 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::c) (Ping timeout: 240 seconds) |
| 2023-09-17 07:43:51 +0200 | <EvanR> | check your staging --scott manley |
| 2023-09-17 07:44:11 +0200 | <EvanR> | TH is rocket science |
| 2023-09-17 07:44:33 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 07:46:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 07:51:02 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 07:56:44 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-17 08:00:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 08:03:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-09-17 08:03:58 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-17 08:05:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 08:07:25 +0200 | <Inst> | pun appreciated :) |
| 2023-09-17 08:11:07 +0200 | <phma> | I just edited the README and ran "stack run" and got this: |
| 2023-09-17 08:11:37 +0200 | <phma> | WringTwistree-0.1.0.0: unregistering (local file changes: README.md) |
| 2023-09-17 08:11:42 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 08:12:21 +0200 | <phma> | followed by some rebuilding lines. Why, since README.md is not a source file? |
| 2023-09-17 08:17:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 08:20:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-17 08:20:15 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-17 08:24:39 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 08:32:05 +0200 | <glguy> | phma: maybe it wasn't in the correct section of the cabal file |
| 2023-09-17 08:33:13 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 08:34:36 +0200 | mmhat | (~mmh@p200300f1c7178aa3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-17 08:34:41 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E001D5A577F9869F8BE.dsl.pool.telekom.hu) |
| 2023-09-17 08:35:08 +0200 | mmhat | (~mmh@p200300f1c7178aa3ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-17 08:35:27 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-17 08:37:43 +0200 | <Inst> | okay, this is a really stupid override, but [p|myterm|] seems to work |
| 2023-09-17 08:39:52 +0200 | chomwitt | (~chomwitt@ppp-2-85-137-223.home.otenet.gr) |
| 2023-09-17 08:41:08 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-17 08:43:00 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-09-17 08:46:02 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 08:46:56 +0200 | acidjnk | (~acidjnk@p200300d6e7072f64a1f46512fe78b272.dip0.t-ipconnect.de) |
| 2023-09-17 08:52:44 +0200 | <phma> | glguy: it's in extra-source-files in both package.yaml and WringTwistree.cabal |
| 2023-09-17 08:53:32 +0200 | <glguy> | Then it needs to move to extra-doc-files: |
| 2023-09-17 08:54:35 +0200 | shapr | (~user@2600:1700:c640:3100:a03a:3eb3:ec74:8ab2) (Ping timeout: 240 seconds) |
| 2023-09-17 08:54:39 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 08:59:00 +0200 | <phma> | that fixed it |
| 2023-09-17 09:07:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 252 seconds) |
| 2023-09-17 09:15:13 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 09:19:04 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-09-17 09:23:07 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2023-09-17 09:29:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 09:29:46 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 09:30:51 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) |
| 2023-09-17 09:36:29 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 09:37:15 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-17 09:37:45 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 09:37:55 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-17 09:39:14 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 09:41:52 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-17 09:43:56 +0200 | <Inst> | okay, rigged it up to work with a Lift constraint, but let's look at the absolute basic case |
| 2023-09-17 09:44:06 +0200 | <Inst> | [p|myterm|] doesn't work |
| 2023-09-17 09:44:09 +0200 | <Inst> | because it's name shadowing |
| 2023-09-17 09:44:33 +0200 | <Inst> | myMkName :: a -> Q Name |
| 2023-09-17 09:44:39 +0200 | <Inst> | myMkName a = pure 'a |
| 2023-09-17 09:44:57 +0200 | <Inst> | obviously this causes a staging error |
| 2023-09-17 09:46:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-17 09:48:19 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 264 seconds) |
| 2023-09-17 09:49:47 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-09-17 09:50:38 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 09:57:03 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-17 09:58:04 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 09:59:43 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-09-17 10:02:12 +0200 | <[exa]> | Inst: why don't you go the usual way and just link the binary blob to your executable? |
| 2023-09-17 10:02:36 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-09-17 10:03:11 +0200 | <[exa]> | like, dragging the binary data through the whole compilation pipeline is a valiant effort but from the software engineering pov it should be more of an exceptional necessity than a good practice |
| 2023-09-17 10:04:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Remote host closed the connection) |
| 2023-09-17 10:05:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 10:06:13 +0200 | <Inst> | does cabal have an option for this? |
| 2023-09-17 10:07:51 +0200 | <[exa]> | Inst: no idea but I can't see why it wouldn't work. Manually you run: `ld -r -b binary -o yourblob.o yourblob`, and `nm yourblob.o` gives you symbols _binary_yourbob_start, _binary_yourblob_end and _binary_yourblob_size which you can FFI pretty much normally |
| 2023-09-17 10:08:05 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-09-17 10:08:30 +0200 | <arahael> | Inst: I've gotten rather intrigued - My haskell is far too simplistic to help, (and besides, exa's looking like they're doing a good job as it is), but mind giving me a bit of that backstory as I missed the start of the convo. |
| 2023-09-17 10:08:33 +0200 | <Inst> | i mean what i'm doing right now is to attempt to build a user-friendly library for file management in Haskell |
| 2023-09-17 10:08:34 +0200 | <[exa]> | and it is pretty fast and moreless configurable by packaging maintainers, as opposed to whatever supersmart system hidden deep in TH |
| 2023-09-17 10:09:06 +0200 | <[exa]> | Inst: user-friendliness is a myth. Make it computer friendly, users shall follow |
| 2023-09-17 10:09:21 +0200 | <Inst> | it was originally supposed to support web downloads as an alternative to keeping the file with your assets |
| 2023-09-17 10:09:50 +0200 | <[exa]> | would it start a web download from TH? |
| 2023-09-17 10:10:38 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-17 10:10:46 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-17 10:11:12 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 252 seconds) |
| 2023-09-17 10:11:32 +0200 | <Inst> | nope, the TH is supposed to be in quarantine, and only an option |
| 2023-09-17 10:11:45 +0200 | <Inst> | the other interface is based off ummm, directly generating literals to a file |
| 2023-09-17 10:11:52 +0200 | <Inst> | for hot copy paste action |
| 2023-09-17 10:11:53 +0200 | Inst | facepalms |
| 2023-09-17 10:13:06 +0200 | <Inst> | i stuffed the web side of this once i discovered that i had to deal with 2394829342 different exceptions, and going with http-conduit meant that I had to learn a ton of other http exceptions |
| 2023-09-17 10:13:14 +0200 | <Inst> | any work in IO etc implies having to learn an exception system ;_; |
| 2023-09-17 10:14:18 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-17 10:15:38 +0200 | <[exa]> | Inst: that's also available somewhere in binutils tbh, you can literally ask binutils to translate your binary blob into a C header |
| 2023-09-17 10:15:47 +0200 | <[exa]> | for haskell you just change the header/footer of that |
| 2023-09-17 10:18:33 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 10:20:40 +0200 | <Inst> | yeah, i'll have to consider that in the future, but rather, more like a TH way to automate the packaging |
| 2023-09-17 10:20:41 +0200 | <Inst> | ugh |
| 2023-09-17 10:20:43 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2023-09-17 10:20:59 +0200 | <Inst> | actually, this is a bad idea |
| 2023-09-17 10:21:11 +0200 | <Inst> | TH runs first, then the compiler, and I'd need TH to link the stuff together |
| 2023-09-17 10:22:00 +0200 | <Inst> | anyways, this entire project has left a horrible taste in my mouth, i'll go beggar anyone who offers to provide a solution for the mkNmae a = pure 'a problem, but I guess I'd rather figure out how to flatparse a cabal file now |
| 2023-09-17 10:27:47 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-17 10:28:39 +0200 | <Inst> | at least, end of the day, I realized that IO is a pain in the ass if you're being honest about it no matter what |
| 2023-09-17 10:28:42 +0200 | <Inst> | Haskell is just liable to hide it |
| 2023-09-17 10:28:48 +0200 | <Inst> | *less liable |
| 2023-09-17 10:29:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-17 10:32:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 10:33:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-17 10:36:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 2023-09-17 10:39:03 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Server closed connection) |
| 2023-09-17 10:39:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 10:39:26 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-09-17 10:40:00 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 10:40:05 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-09-17 10:40:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Ping timeout: 240 seconds) |
| 2023-09-17 10:42:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-17 10:43:42 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-09-17 10:43:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-17 10:44:03 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-17 10:45:00 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-17 10:45:32 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 10:46:33 +0200 | topoipat | (~user@157.97.134.228) |
| 2023-09-17 10:49:08 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-09-17 10:49:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-17 10:49:46 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 10:52:34 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-17 10:52:57 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-17 10:53:08 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 10:56:46 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2023-09-17 11:00:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 11:01:19 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-17 11:09:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-17 11:13:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-17 11:13:51 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 11:16:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 11:18:00 +0200 | _0xa | (~user@user/0xa/x-3134607) (Remote host closed the connection) |
| 2023-09-17 11:18:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-17 11:19:24 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-17 11:21:18 +0200 | <probie> | Most IO actions can fail for a huge number of reasons. No language can change that, at best they can make it more tolerable. |
| 2023-09-17 11:21:53 +0200 | <int-e> | . o O ( rocks fall, everyone dies ) |
| 2023-09-17 11:22:21 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 11:22:30 +0200 | <int-e> | . o O ( E_ROCKFAL in C. ) |
| 2023-09-17 11:22:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-17 11:22:58 +0200 | <int-e> | err, no underscore :-/ |
| 2023-09-17 11:25:30 +0200 | Guest25 | (~Guest99@host-2-102-81-159.as13285.net) |
| 2023-09-17 11:26:09 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-09-17 11:26:15 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-17 11:35:43 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 11:40:00 +0200 | Guest|84 | (~Guest|84@adsl-178-38-222-58.adslplus.ch) |
| 2023-09-17 11:40:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 2023-09-17 11:42:59 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 11:53:28 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-17 11:56:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 11:56:44 +0200 | remexre | (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 2023-09-17 11:56:56 +0200 | remexre | (~remexre@user/remexre) |
| 2023-09-17 12:00:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-17 12:02:23 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 12:03:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 12:03:13 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-09-17 12:06:27 +0200 | topoipat` | (~user@185.216.231.226) |
| 2023-09-17 12:08:21 +0200 | topoipat | (~user@157.97.134.228) (Ping timeout: 252 seconds) |
| 2023-09-17 12:09:27 +0200 | chomwitt | (~chomwitt@ppp-2-85-137-223.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-09-17 12:16:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 12:16:56 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-17 12:19:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-17 12:22:27 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-17 12:23:01 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 12:26:37 +0200 | chomwitt | (~chomwitt@ppp-94-67-236-45.home.otenet.gr) |
| 2023-09-17 12:36:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 12:37:27 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-09-17 12:43:15 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 12:47:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-09-17 12:53:01 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) |
| 2023-09-17 12:56:15 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 12:56:47 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-09-17 12:57:34 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-17 12:58:04 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-17 12:58:37 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-17 12:59:05 +0200 | kmein | (~weechat@user/kmein) |
| 2023-09-17 13:01:28 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-17 13:04:19 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 13:13:00 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 240 seconds) |
| 2023-09-17 13:17:17 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 13:17:45 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-17 13:22:05 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 240 seconds) |
| 2023-09-17 13:22:25 +0200 | vglfr | (~vglfr@88.154.35.73) |
| 2023-09-17 13:24:21 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-17 13:24:50 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 13:26:26 +0200 | leah2 | (~leah@vuxu.org) |
| 2023-09-17 13:26:35 +0200 | Guest|84 | (~Guest|84@adsl-178-38-222-58.adslplus.ch) (Ping timeout: 240 seconds) |
| 2023-09-17 13:27:36 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 2023-09-17 13:28:37 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 13:31:04 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 13:34:19 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 13:35:04 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 245 seconds) |
| 2023-09-17 13:36:11 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-09-17 13:36:39 +0200 | hyiltiz2 | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 13:37:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 13:38:35 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-09-17 13:38:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-17 13:40:27 +0200 | <ph88> | does someone know a function that combines `all` and `catMaybes` [Maybe a] -> [a] only when all of them are Just ? |
| 2023-09-17 13:40:30 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 13:40:49 +0200 | vglfr | (~vglfr@88.154.35.73) (Read error: Connection reset by peer) |
| 2023-09-17 13:41:41 +0200 | <Rembane> | ph88: `all isJust`? |
| 2023-09-17 13:42:49 +0200 | <ph88> | Rembane, doesn't that return a Bool ? |
| 2023-09-17 13:43:13 +0200 | <ph88> | i got the type signature wrong by the way [Maybe a] -> Maybe [a] |
| 2023-09-17 13:43:28 +0200 | <tomsmeding> | :t sequence |
| 2023-09-17 13:43:29 +0200 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2023-09-17 13:43:58 +0200 | libertyprime | (~libertypr@203.96.203.44) (Remote host closed the connection) |
| 2023-09-17 13:44:09 +0200 | <tomsmeding> | :t sequence @[] @Maybe |
| 2023-09-17 13:44:10 +0200 | <lambdabot> | error: |
| 2023-09-17 13:44:11 +0200 | <lambdabot> | Pattern syntax in expression context: sequence@[] |
| 2023-09-17 13:44:11 +0200 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2023-09-17 13:44:16 +0200 | <tomsmeding> | % :t sequence @[] @Maybe |
| 2023-09-17 13:44:16 +0200 | <yahb2> | sequence @[] @Maybe :: Monad Maybe => [Maybe a] -> Maybe [a] |
| 2023-09-17 13:44:26 +0200 | <tomsmeding> | dat 'Monad Maybe' constraint lol? |
| 2023-09-17 13:44:39 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 245 seconds) |
| 2023-09-17 13:44:48 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 13:45:01 +0200 | <hpc> | you never know :P |
| 2023-09-17 13:45:01 +0200 | <tomsmeding> | wonder why that doesn't get eliminated |
| 2023-09-17 13:45:06 +0200 | <Rembane> | ph88: It does, I got confused by the types. Sorry. |
| 2023-09-17 13:45:09 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 13:45:56 +0200 | <tomsmeding> | sequence, also known as 'traverse id' |
| 2023-09-17 13:46:02 +0200 | <tomsmeding> | ph88: it was traverse all along |
| 2023-09-17 13:46:06 +0200 | <ph88> | thanks guys :)) |
| 2023-09-17 13:48:35 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-17 13:48:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 13:49:57 +0200 | <Rembane> | Sidenote, Hoogle is very useful in this case: https://hoogle.haskell.org/?hoogle=%5BMaybe%20a%5D%20-%3E%20Maybe%20%5Ba%5D |
| 2023-09-17 13:56:28 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 13:58:31 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 14:00:22 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-17 14:00:29 +0200 | hughjfch1 | (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 245 seconds) |
| 2023-09-17 14:03:59 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 14:05:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-17 14:12:03 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Server closed connection) |
| 2023-09-17 14:12:11 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-17 14:14:07 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2023-09-17 14:14:37 +0200 | aaronv | (~aaronv@user/aaronv) (Quit: Leaving) |
| 2023-09-17 14:16:58 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 14:17:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds) |
| 2023-09-17 14:18:10 +0200 | XuMEPA | (~XuMEPA@185.235.133.138) |
| 2023-09-17 14:19:18 +0200 | Guest25 | (~Guest99@host-2-102-81-159.as13285.net) (Ping timeout: 245 seconds) |
| 2023-09-17 14:19:37 +0200 | <XuMEPA> | Hello. I have a question. How to correct install haskell on debian 12 bookworm? |
| 2023-09-17 14:20:34 +0200 | <XuMEPA> | No instaruction for debian 12 on this (https://downloads.haskell.org/debian/) page |
| 2023-09-17 14:20:48 +0200 | <Rembane> | XuMEPA: ghcup is one of the better methods: https://www.haskell.org/ghcup/ |
| 2023-09-17 14:21:04 +0200 | <XuMEPA> | Thx I will try |
| 2023-09-17 14:21:44 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-09-17 14:21:44 +0200 | <Rembane> | XuMEPA: Good luck! |
| 2023-09-17 14:24:07 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) |
| 2023-09-17 14:24:37 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-17 14:24:46 +0200 | <juri_> | apt install ghc cabal-install? |
| 2023-09-17 14:24:56 +0200 | <juri_> | it's what i use. works for me. |
| 2023-09-17 14:25:56 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 14:31:15 +0200 | <[exa]> | XuMEPA: if you don't care much about version, the method of juri_ works best |
| 2023-09-17 14:31:33 +0200 | <[exa]> | XuMEPA: if you need new ones (you likely don't), go for ghcup |
| 2023-09-17 14:32:12 +0200 | <[exa]> | XuMEPA: and a viable alternative is to simply download the binary builds and link them into your ~/.local/bin, works for me reliably since ever |
| 2023-09-17 14:36:19 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 264 seconds) |
| 2023-09-17 14:36:32 +0200 | vglfr | (~vglfr@37.73.24.173) |
| 2023-09-17 14:36:56 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2023-09-17 14:40:59 +0200 | <XuMEPA> | I already install ghcup and for now it works fine for me. Thx guys for help. I even don't try from start to install from apt-get because i always want to use repos from developers/communitys. And there is no repo for bookworm. |
| 2023-09-17 14:42:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 14:42:48 +0200 | topoipat` | (~user@185.216.231.226) (Remote host closed the connection) |
| 2023-09-17 14:44:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 14:45:24 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-09-17 14:45:34 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-09-17 14:48:46 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 14:49:38 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 14:52:26 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 14:52:30 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 14:56:16 +0200 | Guest99 | (~Guest99@host-2-102-81-159.as13285.net) |
| 2023-09-17 14:56:18 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-17 14:57:14 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-17 14:58:40 +0200 | <tomsmeding> | XuMEPA: the haskell community has mostly decided to maintain ghcup instead of a particular apt repository |
| 2023-09-17 14:59:36 +0200 | <tomsmeding> | I mean, there is no topic on which _everyone_ agrees, and this is one of them, but ghcup is definitely quite popular these days |
| 2023-09-17 15:00:31 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 15:05:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 15:05:14 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 258 seconds) |
| 2023-09-17 15:05:28 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-17 15:05:35 +0200 | vglfr | (~vglfr@37.73.24.173) (Ping timeout: 240 seconds) |
| 2023-09-17 15:07:55 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
| 2023-09-17 15:09:55 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-17 15:11:21 +0200 | Guest99 | (~Guest99@host-2-102-81-159.as13285.net) (Quit: Client closed) |
| 2023-09-17 15:11:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-17 15:14:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-17 15:14:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-17 15:16:28 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 15:18:34 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 15:19:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-17 15:21:59 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-17 15:22:08 +0200 | `2jt | (~jtomas@90.162.208.36) |
| 2023-09-17 15:23:11 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 15:23:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 15:25:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 15:29:14 +0200 | acidjnk | (~acidjnk@p200300d6e7072f64a1f46512fe78b272.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-17 15:33:34 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 15:34:12 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 15:37:27 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 15:38:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 15:42:25 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 15:43:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-17 15:53:54 +0200 | son0p | (~ff@186.114.32.184) |
| 2023-09-17 15:56:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 15:57:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-17 16:00:22 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 16:02:48 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-17 16:02:49 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-17 16:02:49 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-17 16:02:49 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-17 16:02:55 +0200 | <Inst> | can I ask about the story regarding strict tuples? |
| 2023-09-17 16:04:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 246 seconds) |
| 2023-09-17 16:04:16 +0200 | <Inst> | as in, why don't we have them? |
| 2023-09-17 16:04:26 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 16:05:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 16:06:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-17 16:14:15 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Ping timeout: 240 seconds) |
| 2023-09-17 16:16:32 +0200 | <fendor> | I was playing around with Codensity and the free monad. I've read a couple of times, that it should be faster, asymptotically speaking, to use Codensity (Free f) over Free f, but in some trivial examples, this was not observable. |
| 2023-09-17 16:16:53 +0200 | acidjnk | (~acidjnk@p200300d6e7072f64a1f46512fe78b272.dip0.t-ipconnect.de) |
| 2023-09-17 16:16:57 +0200 | <fendor> | In what situations should it be faster to use Codensity (Free f) over Free f? |
| 2023-09-17 16:18:36 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 16:18:55 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 16:18:57 +0200 | son0p | (~ff@186.114.32.184) (Quit: Bye) |
| 2023-09-17 16:23:09 +0200 | <ncf> | in the same kind of situation where dlists are faster than lists |
| 2023-09-17 16:23:51 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 16:24:56 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 16:31:50 +0200 | <[Leary]> | fendor: See the docs and implementation of: https://hackage.haskell.org/package/free-5.2/docs/Control-Monad-Free-Church.html (which is a refinement of the Codensity approach). |
| 2023-09-17 16:33:07 +0200 | <fendor> | hm, ok thanks! |
| 2023-09-17 16:36:50 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 16:37:46 +0200 | son0p | (~ff@186.114.32.184) |
| 2023-09-17 16:38:43 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds) |
| 2023-09-17 16:39:31 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-17 16:41:12 +0200 | privacy | (~privacy@47.219.84.6) (Remote host closed the connection) |
| 2023-09-17 16:41:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-09-17 16:43:34 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-17 16:46:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 16:47:24 +0200 | heath3 | heath |
| 2023-09-17 16:48:26 +0200 | heath | (~heath@user/heath) (Quit: WeeChat 1.7) |
| 2023-09-17 16:48:28 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-17 16:49:18 +0200 | <tomsmeding> | Inst: I mean, you can always define them yourself, right? |
| 2023-09-17 16:52:45 +0200 | lex_ | (~alex@188.26.233.194) |
| 2023-09-17 16:53:29 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 16:56:52 +0200 | lex_ | (~alex@188.26.233.194) (Ping timeout: 244 seconds) |
| 2023-09-17 16:57:59 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-09-17 16:59:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 17:01:41 +0200 | shapr | (~user@2600:1700:c640:3100:92d4:865c:539c:4357) |
| 2023-09-17 17:02:07 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 264 seconds) |
| 2023-09-17 17:03:16 +0200 | <sm> | Inst I'd bet they're on hackage somewhere |
| 2023-09-17 17:05:26 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 17:05:55 +0200 | <Inst> | defining them yourself: unergonomic, hackage version, unsure as to whether it's maintained or the level of quality |
| 2023-09-17 17:06:06 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 17:06:33 +0200 | <Inst> | also tuples are pretty fundamental, the syntax matters |
| 2023-09-17 17:06:34 +0200 | <Inst> | https://hackage.haskell.org/package/strict-0.5/docs/Data-Strict-Tuple.html |
| 2023-09-17 17:09:53 +0200 | mechap | (~mechap@user/mechap) |
| 2023-09-17 17:11:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 17:12:18 +0200 | jrm | (~jrm@user/jrm) |
| 2023-09-17 17:12:32 +0200 | <[exa]> | Inst: y tho |
| 2023-09-17 17:12:58 +0200 | <Inst> | control laziness? |
| 2023-09-17 17:14:00 +0200 | <[exa]> | no, use tuples for anything that bears semantics |
| 2023-09-17 17:14:44 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 17:14:50 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-17 17:16:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 17:19:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-17 17:19:10 +0200 | <fendor> | [Leary], interestingly, the church encoding is even a tad slower than codensity in some handwavy benchmark |
| 2023-09-17 17:20:04 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 245 seconds) |
| 2023-09-17 17:22:55 +0200 | <fendor> | perhaps I am not measuring the construction time and the evaluation overhead introduced by the indirection is the main difference |
| 2023-09-17 17:23:19 +0200 | <fendor> | benchmarking is hard :( |
| 2023-09-17 17:24:46 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-17 17:27:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 17:27:53 +0200 | <[Leary]> | The refinement is of the type itself, not the performance of its operations. Both Codensity and C.M.F.Church.F are asymptotic improvements over naive Free, but that says nothing about the constants involved. It's a complete tossup what's faster at small n, and even for large n it's still a tossup what's faster between the linear options. |
| 2023-09-17 17:28:27 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-09-17 17:28:57 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
| 2023-09-17 17:29:15 +0200 | <[Leary]> | And it depends how you use the values you construct too. |
| 2023-09-17 17:29:26 +0200 | <fendor> | Oh, I thought both should be faster when you do a lot of >>= operations because a naive Free implementation of >>= needs to traverse the whole structure |
| 2023-09-17 17:30:23 +0200 | <[Leary]> | They should, that's what I mean by large n. |
| 2023-09-17 17:30:55 +0200 | <fendor> | laziness might work in Free's >>= favour, right? |
| 2023-09-17 17:31:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-17 17:31:34 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-09-17 17:32:30 +0200 | <fendor> | I can imagine it might also depend a lot on how big the term is on the left hand side of >>= |
| 2023-09-17 17:33:00 +0200 | danza | (~francesco@rm-19-8-93.service.infuturo.it) |
| 2023-09-17 17:33:17 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-09-17 17:35:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-17 17:36:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-17 17:40:47 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 17:42:30 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 17:43:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 17:47:37 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 17:48:14 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 17:48:27 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 17:49:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 17:52:22 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-17 17:57:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-09-17 18:01:29 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 18:02:00 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 252 seconds) |
| 2023-09-17 18:03:20 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-09-17 18:03:40 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-17 18:08:29 +0200 | XuMEPA | (~XuMEPA@185.235.133.138) (Remote host closed the connection) |
| 2023-09-17 18:09:05 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-09-17 18:09:12 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 18:09:55 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-17 18:13:21 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-17 18:13:44 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-09-17 18:15:39 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) |
| 2023-09-17 18:19:51 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-09-17 18:19:55 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-09-17 18:21:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-17 18:22:20 +0200 | <justsomeguy> | I'm trying to set up a project that uses amazonka, but I'm cofused about how to add the library to my stack.yaml file. Where do I put extra-deps? |
| 2023-09-17 18:22:23 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 18:22:27 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) |
| 2023-09-17 18:22:36 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-17 18:22:38 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 18:26:16 +0200 | <justsomeguy> | (Also, I'm just a little shocked at how much of a leap it is from writing Haskell for homework to using it for real -- looking at this example program there are so many new things! Four language extensions, lens, conduit, monad transformers...) |
| 2023-09-17 18:26:57 +0200 | <danza> | maybe you want to edit package.yml (or yaml) rather than stack.yaml? |
| 2023-09-17 18:28:54 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 18:29:14 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-09-17 18:29:23 +0200 | <danza> | about extensions, lens, conduit and transformers: maybe the example you are copying from is a bit too advanced. Experienced haskellers can get an advantage by all those tools, but as a starter one could get lost by the complex types and behavior that come with them |
| 2023-09-17 18:29:44 +0200 | privacy | (~privacy@47.219.84.6) (Remote host closed the connection) |
| 2023-09-17 18:31:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-17 18:31:47 +0200 | <justsomeguy> | Right, I agree, but there aren't any simple examples in that repo. |
| 2023-09-17 18:32:39 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 18:32:49 +0200 | <justsomeguy> | At some point I hope to make a few and send a PR. I have a bunch of aws-cli bash scripts / boto3 script / terraform that I can translate to Haskell once I figure out how to install the library. |
| 2023-09-17 18:33:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Remote host closed the connection) |
| 2023-09-17 18:33:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 2023-09-17 18:33:41 +0200 | <justsomeguy> | Taking a coffee break, back in a few... |
| 2023-09-17 18:34:18 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-09-17 18:35:42 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) |
| 2023-09-17 18:40:43 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) (Ping timeout: 244 seconds) |
| 2023-09-17 18:42:47 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 18:43:27 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2023-09-17 18:45:03 +0200 | danza | (~francesco@rm-19-8-93.service.infuturo.it) (Ping timeout: 240 seconds) |
| 2023-09-17 18:46:08 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 18:46:58 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-17 18:47:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-17 18:48:41 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 18:49:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-17 18:50:07 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 264 seconds) |
| 2023-09-17 18:50:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-17 19:01:09 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-17 19:01:12 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) |
| 2023-09-17 19:02:05 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 19:03:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 19:03:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-17 19:09:27 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 19:10:31 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 19:12:55 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 264 seconds) |
| 2023-09-17 19:13:49 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-17 19:15:19 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-17 19:18:03 +0200 | raoul | (~raoul@95.179.203.88) (Server closed connection) |
| 2023-09-17 19:18:23 +0200 | raoul | (~raoul@95.179.203.88) |
| 2023-09-17 19:20:07 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 264 seconds) |
| 2023-09-17 19:20:42 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-17 19:23:07 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 255 seconds) |
| 2023-09-17 19:30:05 +0200 | Simikando | (~Simikando@bband-dyn153.95-103-186.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-09-17 19:30:42 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 19:31:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-09-17 19:36:36 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-17 19:42:59 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Ping timeout: 245 seconds) |
| 2023-09-17 19:44:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 19:44:16 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 19:44:17 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-17 19:44:45 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-17 19:48:50 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-17 19:51:16 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 19:59:22 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-17 20:01:15 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-09-17 20:05:02 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 255 seconds) |
| 2023-09-17 20:05:36 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-17 20:07:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-17 20:09:05 +0200 | chomwitt | (~chomwitt@ppp-94-67-236-45.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-09-17 20:12:00 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 20:13:14 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-17 20:15:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 20:16:49 +0200 | danza | (~francesco@rm-19-8-93.service.infuturo.it) |
| 2023-09-17 20:17:44 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-17 20:19:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 20:20:35 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-09-17 20:22:03 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-09-17 20:22:50 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 2023-09-17 20:24:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 20:25:51 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds) |
| 2023-09-17 20:29:09 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-17 20:30:36 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-09-17 20:32:16 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 20:33:35 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 20:37:09 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-09-17 20:37:32 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-09-17 20:38:12 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2023-09-17 20:40:35 +0200 | danza | (~francesco@rm-19-8-93.service.infuturo.it) (Ping timeout: 240 seconds) |
| 2023-09-17 20:45:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-17 20:47:18 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds) |
| 2023-09-17 20:48:39 +0200 | chomwitt | (~chomwitt@athedsl-25022.home.otenet.gr) |
| 2023-09-17 20:54:09 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2023-09-17 20:54:48 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 20:55:59 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-09-17 20:57:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-17 20:57:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-17 21:00:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 21:01:22 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-09-17 21:05:59 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-17 21:08:24 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 245 seconds) |
| 2023-09-17 21:09:03 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-17 21:12:37 +0200 | `2jt | (~jtomas@90.162.208.36) (Quit: Leaving) |
| 2023-09-17 21:14:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-17 21:15:32 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) |
| 2023-09-17 21:16:03 +0200 | danza | (~francesco@rm-19-8-93.service.infuturo.it) |
| 2023-09-17 21:19:07 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) |
| 2023-09-17 21:20:35 +0200 | danza | (~francesco@rm-19-8-93.service.infuturo.it) (Ping timeout: 240 seconds) |
| 2023-09-17 21:21:05 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Ping timeout: 240 seconds) |
| 2023-09-17 21:26:07 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2023-09-17 21:27:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-17 21:27:19 +0200 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 2023-09-17 21:27:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-17 21:27:59 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (K-Lined) |
| 2023-09-17 21:28:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-17 21:29:42 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-17 21:33:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-17 21:37:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-17 21:38:07 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-09-17 21:51:04 +0200 | <ph88> | anyone know a best approach to implement the second function? https://bpa.st/ETVA i was thinking about foldl, but i think that iterates too many times needlessly. Perhaps an auxilary function with recursion would be better |
| 2023-09-17 21:53:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-17 21:53:34 +0200 | <monochrom> | :type mapM |
| 2023-09-17 21:53:41 +0200 | <monochrom> | @type mapM |
| 2023-09-17 21:53:42 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2023-09-17 21:53:59 +0200 | <monochrom> | Let m = Either e :) |
| 2023-09-17 21:56:39 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E001D5A577F9869F8BE.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-09-17 21:57:03 +0200 | user2 | (~user@162.255.84.96) (Server closed connection) |
| 2023-09-17 21:57:26 +0200 | user2 | (~user@162.255.84.96) |
| 2023-09-17 22:00:53 +0200 | <[Leary]> | "the answer is always traverse" |
| 2023-09-17 22:02:44 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-17 22:08:43 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-09-17 22:09:50 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-17 22:11:08 +0200 | <ph88> | thank you :) |
| 2023-09-17 22:11:12 +0200 | Guest|82 | (~Guest|82@vpn-fn-225.net.ed.ac.uk) |
| 2023-09-17 22:12:41 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-17 22:14:25 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-17 22:14:35 +0200 | Guest|82 | (~Guest|82@vpn-fn-225.net.ed.ac.uk) (Client Quit) |
| 2023-09-17 22:27:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-09-17 22:31:00 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-17 22:33:18 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-17 22:34:08 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-17 22:34:25 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-17 22:34:25 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-17 22:34:25 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-17 22:35:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-17 22:41:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-17 22:41:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-17 22:41:46 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) () |
| 2023-09-17 22:43:50 +0200 | Friendship | (~Friendshi@181.230.235.244) |
| 2023-09-17 22:46:44 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-09-17 22:47:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-17 22:49:40 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-17 22:50:47 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2023-09-17 22:51:29 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-17 22:53:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) (Remote host closed the connection) |
| 2023-09-17 22:57:16 +0200 | <jackdk> | @tell justsomeguy what are you trying to do with amazonka? perhaps there's a simpler way. |
| 2023-09-17 22:57:17 +0200 | <lambdabot> | Consider it noted. |
| 2023-09-17 22:57:23 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-17 22:59:03 +0200 | acidjnk | (~acidjnk@p200300d6e7072f64a1f46512fe78b272.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-17 23:01:23 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-17 23:02:47 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-17 23:06:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-17 23:14:12 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-09-17 23:19:18 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-17 23:22:25 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-17 23:24:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc1e:e117:6bc5:9aa3) |
| 2023-09-17 23:28:07 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-09-17 23:35:54 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-17 23:36:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-17 23:43:59 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-c970-1295-69c1-54c4.res6.spectrum.com) (Quit: WeeChat 4.0.4) |
| 2023-09-17 23:44:14 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::b) |
| 2023-09-17 23:49:43 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 23:50:33 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-17 23:50:45 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::b) (Quit: WeeChat 4.0.4) |
| 2023-09-17 23:50:59 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::b) |
| 2023-09-17 23:51:30 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-09-17 23:51:54 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-17 23:53:39 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-09-17 23:53:49 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) |
| 2023-09-17 23:56:19 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |