| 2023-06-04 00:00:37 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 00:01:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-06-04 00:02:28 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-06-04 00:05:07 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-06-04 00:05:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 00:08:49 +0200 | machinedgod | (~machinedg@93-136-46-129.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2023-06-04 00:10:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Remote host closed the connection) |
| 2023-06-04 00:12:10 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 265 seconds) |
| 2023-06-04 00:15:17 +0200 | iteratee_ | (~kyle@162.218.222.207) (Ping timeout: 250 seconds) |
| 2023-06-04 00:16:04 +0200 | falafel | (~falafel@2603-8000-d700-115c-2927-3c25-4823-43b5.res6.spectrum.com) |
| 2023-06-04 00:16:33 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-06-04 00:22:47 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-04 00:23:07 +0200 | gurkenglas | (~user@dynamic-046-114-180-171.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-06-04 00:23:17 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-06-04 00:23:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 00:25:40 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-04 00:30:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 00:34:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 00:35:07 +0200 | truckasaurus | (sid457088@id-457088.helmsley.irccloud.com) |
| 2023-06-04 00:41:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 00:42:43 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 256 seconds) |
| 2023-06-04 00:45:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 00:48:26 +0200 | aerc[m] | (~aercmatri@2001:470:69fc:105::3:67b9) |
| 2023-06-04 00:48:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:01:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:04:22 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:06:05 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-06-04 01:07:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-04 01:11:50 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-04 01:11:50 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-04 01:11:50 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 01:14:05 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-04 01:15:58 +0200 | falafel | (~falafel@2603-8000-d700-115c-2927-3c25-4823-43b5.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2023-06-04 01:16:05 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 2023-06-04 01:16:05 +0200 | mauke_ | mauke |
| 2023-06-04 01:22:02 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-04 01:24:16 +0200 | acidjnk | (~acidjnk@p200300d6e7072f45584b05120c40d8b9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-06-04 01:25:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:29:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:30:40 +0200 | boukenshaou | (~Boukensha@223.178.84.62) (Ping timeout: 248 seconds) |
| 2023-06-04 01:31:28 +0200 | vandita | (~vandit@178-164-188-116.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-04 01:33:31 +0200 | vandita | (~vandit@87-97-82-165.pool.digikabel.hu) |
| 2023-06-04 01:34:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:36:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:40:08 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-06-04 01:42:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:42:57 +0200 | hiredman1 | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-06-04 01:42:58 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-06-04 01:44:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 01:47:10 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-06-04 01:47:55 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-04 01:57:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 01:58:41 +0200 | falafel | (~falafel@2603-8000-d700-115c-4e17-c0b2-4915-077f.res6.spectrum.com) |
| 2023-06-04 02:00:36 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:01:55 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-06-04 02:07:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:09:36 +0200 | CiaoSen | (~Jura@145.224.74.19) (Ping timeout: 248 seconds) |
| 2023-06-04 02:10:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:12:33 +0200 | boukenshaou | (~Boukensha@223.178.84.62) |
| 2023-06-04 02:16:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:17:04 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 250 seconds) |
| 2023-06-04 02:25:12 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-04 02:27:28 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:27:37 +0200 | anpad | (~pandeyan@user/anpad) |
| 2023-06-04 02:30:05 +0200 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 246 seconds) |
| 2023-06-04 02:36:31 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-04 02:38:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 02:40:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 02:45:26 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 03:00:50 +0200 | falafel | (~falafel@2603-8000-d700-115c-4e17-c0b2-4915-077f.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2023-06-04 03:01:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 03:01:42 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-06-04 03:04:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 03:10:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 03:10:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-04 03:11:50 +0200 | Guest18 | (~Guest18@host-091-097-060-051.ewe-ip-backbone.de) (Quit: Client closed) |
| 2023-06-04 03:14:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 03:16:46 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-04 03:21:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 03:24:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 03:26:57 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 265 seconds) |
| 2023-06-04 03:31:46 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-06-04 03:34:12 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-06-04 03:37:28 +0200 | ddellacosta | (~ddellacos@143.244.47.72) |
| 2023-06-04 03:42:35 +0200 | <ghostbuster> | what is the name for the syntax where you specify a list as head, plus the rest, ie. myfunc (x:xs) = ... |
| 2023-06-04 03:44:24 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-06-04 03:44:28 +0200 | <yushyin> | pattern matching |
| 2023-06-04 03:45:10 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2023-06-04 03:46:54 +0200 | mang0sicle | (~mango@131.252.68.89) |
| 2023-06-04 03:48:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-04 03:48:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-04 03:48:46 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 03:48:57 +0200 | mango_ | (~mango@131.252.68.91) |
| 2023-06-04 03:49:13 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-06-04 03:49:35 +0200 | mango_ | (~mango@131.252.68.91) (Client Quit) |
| 2023-06-04 03:51:37 +0200 | mang0sicle | (~mango@131.252.68.89) (Ping timeout: 240 seconds) |
| 2023-06-04 03:55:25 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-06-04 04:03:47 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-06-04 04:04:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:06:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:09:17 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-06-04 04:12:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:13:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:14:33 +0200 | boukenshaou | (~Boukensha@223.178.84.62) (Remote host closed the connection) |
| 2023-06-04 04:17:24 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 04:17:40 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-04 04:17:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:19:25 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:21:16 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-06-04 04:22:29 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
| 2023-06-04 04:23:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-04 04:23:24 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-04 04:23:24 +0200 | finn_elija | FinnElija |
| 2023-06-04 04:24:03 +0200 | teo | (~teo@user/teo) |
| 2023-06-04 04:24:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:26:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:27:22 +0200 | vandita | (~vandit@87-97-82-165.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-06-04 04:28:53 +0200 | vandita | (~vandit@87-97-88-241.pool.digikabel.hu) |
| 2023-06-04 04:30:54 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-04 04:31:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 04:34:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 04:40:55 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 250 seconds) |
| 2023-06-04 04:46:07 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 240 seconds) |
| 2023-06-04 04:48:17 +0200 | tessier | (~treed@98.97.63.104) |
| 2023-06-04 04:49:28 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-06-04 04:52:52 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-06-04 04:54:48 +0200 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 250 seconds) |
| 2023-06-04 04:56:42 +0200 | td_ | (~td@i5387091D.versanet.de) |
| 2023-06-04 04:59:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 05:00:02 +0200 | haasn` | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2023-06-04 05:00:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 05:04:43 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-04 05:05:34 +0200 | chromoblob | (~user@37.113.158.8) |
| 2023-06-04 05:08:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 05:14:44 +0200 | falafel | (~falafel@2603-8000-d700-115c-c504-e09d-0095-3fda.res6.spectrum.com) |
| 2023-06-04 05:19:30 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 05:20:22 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2023-06-04 05:20:29 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-06-04 05:20:29 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2023-06-04 05:20:29 +0200 | jinsun_ | jinsun |
| 2023-06-04 05:22:15 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Remote host closed the connection) |
| 2023-06-04 05:27:20 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-04 05:42:37 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 05:47:37 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 05:51:37 +0200 | tessier | (~treed@98.97.63.104) (Ping timeout: 240 seconds) |
| 2023-06-04 05:53:13 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-06-04 05:57:12 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-04 05:58:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:00:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:02:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-06-04 06:06:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:09:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:16:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:20:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:22:24 +0200 | falafel | (~falafel@2603-8000-d700-115c-c504-e09d-0095-3fda.res6.spectrum.com) (Ping timeout: 265 seconds) |
| 2023-06-04 06:28:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:30:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:37:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:38:22 +0200 | trev | (~trev@user/trev) |
| 2023-06-04 06:41:00 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Remote host closed the connection) |
| 2023-06-04 06:41:23 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 06:41:48 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 06:48:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 06:57:00 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 07:00:54 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-04 07:02:52 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-04 07:17:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:19:07 +0200 | vandita | (~vandit@87-97-88-241.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-04 07:21:08 +0200 | vandita | (~vandit@fibhost-66-106-228.fibernet.hu) |
| 2023-06-04 07:23:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 07:27:05 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 2023-06-04 07:27:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:36:04 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-06-04 07:37:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 07:39:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:41:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-04 07:43:45 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2023-06-04 07:48:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 07:52:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 07:54:00 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-04 07:54:14 +0200 | iteratee | (~kyle@162.218.222.207) (Remote host closed the connection) |
| 2023-06-04 08:01:56 +0200 | <freeside> | so, my adventures continue; we previously explored logging with Writer and throwing errors with Either. But Writer is not respected by the gurus. |
| 2023-06-04 08:02:27 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 265 seconds) |
| 2023-06-04 08:04:00 +0200 | <freeside> | Which brings us to packages that try to go further: Data.Validation and Control.Monad.Validate |
| 2023-06-04 08:05:20 +0200 | <freeside> | Data.Validation accumulates errors; it is Applicative but not Monad. |
| 2023-06-04 08:06:04 +0200 | <freeside> | Control.Monad.Validate offers alternatives to throwError and tell; and it is a monad transformer. |
| 2023-06-04 08:06:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:07:20 +0200 | <freeside> | The only question in my mind now is: why isn't monad-validate in stackage? What does it take to get something blessed into LTS? |
| 2023-06-04 08:08:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:14:35 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-04 08:16:48 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-06-04 08:18:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:18:29 +0200 | <Inst> | probie: size of ecosystem, compiler development, etc |
| 2023-06-04 08:21:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:22:42 +0200 | falafel | (~falafel@2603-8000-d700-115c-d336-1d77-aff5-64e4.res6.spectrum.com) |
| 2023-06-04 08:23:10 +0200 | <Inst> | example might be ML; i.e, hasktorch is incomplete, but plodding its way through, tensorflow bindings are stackage only, but only with antique GHCs |
| 2023-06-04 08:27:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:31:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:31:06 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-04 08:32:00 +0200 | <arrowhead> | I am trying to finish my VSCODE + GHCUP integration. I am having this error: https://imgur.com/a/21I9gz0 |
| 2023-06-04 08:32:18 +0200 | <arrowhead> | That Main.hs is from a diligently generated cabal project |
| 2023-06-04 08:38:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:38:55 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-06-04 08:39:39 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:44:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:46:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 08:49:39 +0200 | reverse_ | (~inversed@188.220.172.130) (Ping timeout: 250 seconds) |
| 2023-06-04 08:50:49 +0200 | <probie> | arrowhead: what is in the cabal file? |
| 2023-06-04 08:51:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 08:58:52 +0200 | acidjnk | (~acidjnk@p200300d6e7072f786955850a7a43216e.dip0.t-ipconnect.de) |
| 2023-06-04 09:00:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-04 09:01:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 09:11:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 09:14:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 09:15:59 +0200 | <arrowhead> | It is a fresh cabal init |
| 2023-06-04 09:16:09 +0200 | <arrowhead> | probie: ^ |
| 2023-06-04 09:16:47 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 2023-06-04 09:18:16 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) |
| 2023-06-04 09:22:27 +0200 | <mauke> | that doesn't really answer the question |
| 2023-06-04 09:22:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Remote host closed the connection) |
| 2023-06-04 09:23:01 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 250 seconds) |
| 2023-06-04 09:23:25 +0200 | <freeside> | vs code usually does the right thing if you place all your faith in the extensions |
| 2023-06-04 09:23:36 +0200 | <freeside> | trying to be helpful usually leads to sadness |
| 2023-06-04 09:24:21 +0200 | <arrowhead> | probie: https://paste.tomsmeding.com/uuPfxdCb |
| 2023-06-04 09:24:27 +0200 | <arrowhead> | mauke: apologies |
| 2023-06-04 09:24:49 +0200 | gurkenglas | (~user@dynamic-046-114-183-113.46.114.pool.telefonica.de) |
| 2023-06-04 09:25:01 +0200 | <mauke> | ok, base is in there |
| 2023-06-04 09:26:33 +0200 | <arrowhead> | and cabal build builds fine |
| 2023-06-04 09:26:45 +0200 | <arrowhead> | so I'm inclined to believe the errors VS Code are reporting are bogus somehow |
| 2023-06-04 09:27:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 09:27:54 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-06-04 09:31:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 09:37:33 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-04 09:37:52 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-04 09:38:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 09:39:07 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 09:40:52 +0200 | <arrowhead> | uninstalling and reinstalling the VS Code plugin "Haskell for Visual Studio Code" does not solve the problem |
| 2023-06-04 09:42:34 +0200 | hisa385 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-04 09:44:03 +0200 | reverse | (~inversed@bcdcac82.skybroadband.com) |
| 2023-06-04 09:44:50 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-06-04 09:44:50 +0200 | hisa385 | hisa38 |
| 2023-06-04 09:46:56 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 09:49:11 +0200 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) |
| 2023-06-04 09:49:45 +0200 | falafel | (~falafel@2603-8000-d700-115c-d336-1d77-aff5-64e4.res6.spectrum.com) (Ping timeout: 265 seconds) |
| 2023-06-04 09:50:11 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-04 09:51:38 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-06-04 09:52:07 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-06-04 09:52:16 +0200 | cheater_ | cheater |
| 2023-06-04 09:54:37 +0200 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 240 seconds) |
| 2023-06-04 09:54:45 +0200 | boukenshaou | (~Boukensha@223.178.84.62) |
| 2023-06-04 10:00:30 +0200 | <geekosaur> | I'd wonder about ~/.cache/hie-bios |
| 2023-06-04 10:03:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:03:44 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-04 10:04:02 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-04 10:06:58 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:10:17 +0200 | <freeside> | noob question: If I want to add (Just 1) to (Just 2), I liftA2 (+). What do I do if I want to add (Just (Just 1)) to (Just (Just 2)) ? |
| 2023-06-04 10:11:06 +0200 | <c_wraith> | :t liftA2 (liftA2 (+)) |
| 2023-06-04 10:11:07 +0200 | <lambdabot> | (Applicative f1, Applicative f2, Num c) => f1 (f2 c) -> f1 (f2 c) -> f1 (f2 c) |
| 2023-06-04 10:11:50 +0200 | <freeside> | i should've seen that |
| 2023-06-04 10:11:57 +0200 | <c_wraith> | liftA2 takes and returns a binary operation |
| 2023-06-04 10:12:07 +0200 | <c_wraith> | you can just keep nesting as needed |
| 2023-06-04 10:12:17 +0200 | <freeside> | what if i want to use the (+) <$> (Just 1) <*> (Just 2) form? |
| 2023-06-04 10:12:47 +0200 | <c_wraith> | that gets more awkward and I'd try to avoid it. |
| 2023-06-04 10:12:59 +0200 | <freeside> | is there some punctuation that makes it unnecessary to say (liftA2 (+)) <$> ... ? |
| 2023-06-04 10:13:16 +0200 | <c_wraith> | that already is unnecessary |
| 2023-06-04 10:13:34 +0200 | <freeside> | well, for (liftA2 (+)) <$> (Just (Just 1)) <*> (Just (Just 2)) |
| 2023-06-04 10:13:38 +0200 | <c_wraith> | well, some of those parens are unnecessary |
| 2023-06-04 10:13:52 +0200 | <c_wraith> | operators are always lower-precedence |
| 2023-06-04 10:14:01 +0200 | <freeside> | i expect there is some library that does <$$> <**> |
| 2023-06-04 10:14:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:14:19 +0200 | <geekosaur> | have you asked hoogle? |
| 2023-06-04 10:14:30 +0200 | <c_wraith> | I'm not sure there is much. |
| 2023-06-04 10:14:44 +0200 | <c_wraith> | Because if you really want to do it cleanly, there's Data.Functor.Compose |
| 2023-06-04 10:14:50 +0200 | <freeside> | the likeliest thing is "LambdaHack: A game engine library for tactical squad ASCII roguelike dungeon crawlers" lol |
| 2023-06-04 10:15:20 +0200 | <freeside> | protolude offers <<$>> |
| 2023-06-04 10:15:26 +0200 | <probie> | > getCompose $ (+) <$> Compose (Just (Just 1)) <*> Compose (Just (Just 2)) |
| 2023-06-04 10:15:28 +0200 | <lambdabot> | Just (Just 3) |
| 2023-06-04 10:16:03 +0200 | <geekosaur> | I'd just use the liftA2 version, that's getting pretty unreadable |
| 2023-06-04 10:16:56 +0200 | <freeside> | ah well, just when i thought i could be clever with RWS (Either a b) |
| 2023-06-04 10:17:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:18:37 +0200 | <probie> | both `Compose` and `Identity` bother me, because they're such long names for things that I generally want to ignore |
| 2023-06-04 10:22:07 +0200 | Inst | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-04 10:22:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 10:23:28 +0200 | <freeside> | anyhoo, thanks for the ideas, i have incorporated them into my teach-myself-RWS(T) gist, https://gist.github.com/mengwong/73af81ad600a533f12ef42fc655fed0f if anyone has comments i would be grateful |
| 2023-06-04 10:27:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Ping timeout: 246 seconds) |
| 2023-06-04 10:28:30 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-06-04 10:31:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:32:55 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 10:35:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:37:25 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 10:38:58 +0200 | falafel | (~falafel@2603-8000-d700-115c-7fee-34fa-241b-7017.res6.spectrum.com) |
| 2023-06-04 10:39:11 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-04 10:39:30 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-04 10:41:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:42:11 +0200 | chromoblob | (~user@37.113.158.8) (Ping timeout: 268 seconds) |
| 2023-06-04 10:44:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 10:45:42 +0200 | <ncf> | freeside: the second form should be equivalent to ExceptT String RWS a, if you want to stick to monad transformers |
| 2023-06-04 10:54:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 10:54:36 +0200 | <ncf> | (and then you can rewrite your functions to work equally well with both versions, using mtl-style classes) |
| 2023-06-04 10:54:39 +0200 | boukenshaou | (~Boukensha@223.178.84.62) (Remote host closed the connection) |
| 2023-06-04 10:55:09 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-04 10:55:20 +0200 | falafel | (~falafel@2603-8000-d700-115c-7fee-34fa-241b-7017.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2023-06-04 10:57:39 +0200 | mmhat | (~mmh@p200300f1c70668c9ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-04 10:59:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-06-04 11:00:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-04 11:01:03 +0200 | mu[m] | (~mumixnatu@2001:470:69fc:105::3:52c3) (Remote host closed the connection) |
| 2023-06-04 11:01:34 +0200 | CiaoSen | (~Jura@145.224.74.19) |
| 2023-06-04 11:07:12 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-06-04 11:08:44 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-06-04 11:10:02 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-9cbe-3a69-612d-747d.rev.sfr.net) |
| 2023-06-04 11:11:25 +0200 | mmhat | (~mmh@p200300f1c70668c9ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-06-04 11:11:38 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-9cbe-3a69-612d-747d.rev.sfr.net) |
| 2023-06-04 11:11:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 11:13:05 +0200 | chromoblob | (~user@37.113.158.8) |
| 2023-06-04 11:18:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 11:19:36 +0200 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2023-06-04 11:21:21 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 11:22:49 +0200 | <freeside> | thank you ncf. I was going to look at Effects libraries next |
| 2023-06-04 11:23:48 +0200 | ripspin | (~chatzilla@1.145.135.26) |
| 2023-06-04 11:24:13 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 11:26:09 +0200 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) |
| 2023-06-04 11:31:17 +0200 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2023-06-04 11:31:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 11:32:13 +0200 | vandita | (~vandit@fibhost-66-106-228.fibernet.hu) (Ping timeout: 265 seconds) |
| 2023-06-04 11:33:40 +0200 | vandita | (~vandit@fibhost-66-106-217.fibernet.hu) |
| 2023-06-04 11:43:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-04 11:52:03 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 12:06:08 +0200 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-06-04 12:08:58 +0200 | <freeside> | actually, i am now learning monad-validate, which feels like the next step forward along that progression |
| 2023-06-04 12:11:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 12:11:51 +0200 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 265 seconds) |
| 2023-06-04 12:12:37 +0200 | vandita | (~vandit@fibhost-66-106-217.fibernet.hu) (Ping timeout: 240 seconds) |
| 2023-06-04 12:13:34 +0200 | <Axman6> | probie: you just need type (f . g) x = f (g x) of course! |
| 2023-06-04 12:13:48 +0200 | arrowhead | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) (Remote host closed the connection) |
| 2023-06-04 12:14:46 +0200 | vandita | (~vandit@193-226-238-254.pool.digikabel.hu) |
| 2023-06-04 12:21:54 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-04 12:24:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 12:27:38 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-06-04 12:28:23 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-04 12:28:46 +0200 | <ncf> | this is neat https://hackage.haskell.org/package/monad-validate-1.2.0.1/docs/Control-Monad-Validate-Internal.ht… |
| 2023-06-04 12:28:52 +0200 | phma | (phma@2001:5b0:210b:91a8:aa36:cb59:278d:999d) (Read error: Connection reset by peer) |
| 2023-06-04 12:29:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 12:29:47 +0200 | phma | (~phma@host-67-44-208-65.hnremote.net) |
| 2023-06-04 12:32:38 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 12:34:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 12:35:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 12:35:36 +0200 | <ncf> | lexi-lambda: has this technique (using polymorphism to maintain invariants, like in MonoMaybe) been written about somewhere? is it used anywhere else? (it gives me ST vibes, but this is different) |
| 2023-06-04 12:36:28 +0200 | <freeside> | I just got to the bit where runState / runValidate return (Either e a, s) vs Either e (a, s) and I'm like, hey, I just did that |
| 2023-06-04 12:40:48 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-04 12:43:03 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:e042:36a:f7a2:f7) (Quit: Ping timeout (120 seconds)) |
| 2023-06-04 12:43:21 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-06-04 12:46:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 12:50:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 12:50:31 +0200 | acidjnk | (~acidjnk@p200300d6e7072f786955850a7a43216e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2023-06-04 12:52:08 +0200 | <freeside> | hm, i wonder if there's a version of this Control.Monad.Validate where I can tell to a writer without failing; i suppose that isn't really possible because the interface ultimately presents as Either. |
| 2023-06-04 12:53:54 +0200 | <ncf> | freeside: you might wanna check out monad-chronicle |
| 2023-06-04 12:56:19 +0200 | <freeside> | yeah, I was just wondering if I could ValidateT a monad-logger or something along those lines |
| 2023-06-04 13:00:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:05:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:10:49 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (Remote host closed the connection) |
| 2023-06-04 13:11:36 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-06-04 13:20:00 +0200 | vandita | (~vandit@193-226-238-254.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-06-04 13:20:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:21:17 +0200 | vandita | (~vandit@87-97-2-229.pool.digikabel.hu) |
| 2023-06-04 13:22:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:28:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:32:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:39:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:41:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 13:42:00 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 13:42:47 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-06-04 13:44:14 +0200 | <MangoIV[m]> | There’s a cute ghc proposal by iceland jack which perhaps will make things like that easier |
| 2023-06-04 13:45:06 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-04 13:45:25 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-04 13:48:28 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 13:48:56 +0200 | acidjnk | (~acidjnk@p200300d6e7072f78f06f7de5909d4fa2.dip0.t-ipconnect.de) |
| 2023-06-04 13:51:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 13:51:54 +0200 | <MangoIV[m]> | I can’t find it. If anybody can, I’d also be happy to get the link… 😅 |
| 2023-06-04 13:52:28 +0200 | <[Leary]> | ncf: I haven't seen anything written about this, but it reminds me of embeddings of subtyping relations through parametricity, e.g. <https://gist.github.com/LSLeary/0d3bf054f73c08910a6da2cfb49a4c28>. |
| 2023-06-04 13:53:02 +0200 | RedNifre | (~RedNifre@dslb-002-206-109-067.002.206.pools.vodafone-ip.de) (Quit: distro upgrade) |
| 2023-06-04 13:53:21 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-06-04 13:54:08 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 13:56:42 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 13:59:31 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:02:21 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 14:05:37 +0200 | CiaoSen | (~Jura@145.224.74.19) (Ping timeout: 240 seconds) |
| 2023-06-04 14:05:55 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 14:06:55 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2023-06-04 14:10:35 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-06-04 14:10:50 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-06-04 14:18:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a1e2:300e:8412:6879) |
| 2023-06-04 14:18:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a1e2:300e:8412:6879) (Client Quit) |
| 2023-06-04 14:23:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:23:51 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 14:25:01 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-06-04 14:27:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:32:01 +0200 | ripspin | (~chatzilla@1.145.135.26) (Remote host closed the connection) |
| 2023-06-04 14:36:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:38:13 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-04 14:39:16 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-06-04 14:40:55 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-04 14:42:07 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-06-04 14:43:04 +0200 | img | (~img@user/img) |
| 2023-06-04 14:47:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 14:48:08 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) |
| 2023-06-04 14:49:07 +0200 | vandita | (~vandit@87-97-2-229.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-04 14:51:09 +0200 | vandita | (~vandit@176-241-45-152.pool.digikabel.hu) |
| 2023-06-04 14:55:51 +0200 | jrm | (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 2023-06-04 14:56:11 +0200 | jrm | (~jrm@user/jrm) |
| 2023-06-04 14:56:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 14:57:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 15:06:06 +0200 | <ncf> | [Leary]: diabolical |
| 2023-06-04 15:16:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 15:18:37 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 15:22:25 +0200 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-06-04 15:25:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 15:27:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 15:29:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 15:31:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Ping timeout: 250 seconds) |
| 2023-06-04 15:34:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 15:36:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 15:38:50 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 15:40:16 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 2023-06-04 15:43:10 +0200 | oneeyedalien | (~oneeyedal@125-63-26-107.ip4.superloop.au) |
| 2023-06-04 15:44:23 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-04 15:45:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 15:49:17 +0200 | vandita | (~vandit@176-241-45-152.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-06-04 15:50:31 +0200 | vandita | (~vandit@80-95-82-210.pool.digikabel.hu) |
| 2023-06-04 15:51:30 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 15:56:19 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:03:24 +0200 | oneeyedalien | (~oneeyedal@125-63-26-107.ip4.superloop.au) (Quit: Leaving) |
| 2023-06-04 16:03:25 +0200 | vandita | (~vandit@80-95-82-210.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 16:05:07 +0200 | vandita | (~vandit@79-120-162-143.pool.digikabel.hu) |
| 2023-06-04 16:10:32 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 16:11:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:13:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:13:31 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2023-06-04 16:18:48 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-06-04 16:19:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:20:52 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:21:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-04 16:28:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:31:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:31:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-06-04 16:32:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-04 16:37:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:39:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:44:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:45:57 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2023-06-04 16:47:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-06-04 16:47:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 16:54:07 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 16:55:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 16:57:17 +0200 | AstraGravityGirl | (~astra@186.11.51.21) |
| 2023-06-04 16:59:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:08:57 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-06-04 17:09:37 +0200 | ddellacosta | (~ddellacos@143.244.47.72) (Ping timeout: 240 seconds) |
| 2023-06-04 17:12:49 +0200 | ddellacosta | (~ddellacos@146.70.166.226) |
| 2023-06-04 17:14:28 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 17:15:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:15:44 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-06-04 17:16:12 +0200 | zxrom | (~zxrom@mm-214-30-212-37.vitebsk.dynamic.pppoe.byfly.by) (Quit: Leaving) |
| 2023-06-04 17:17:34 +0200 | ddellacosta | (~ddellacos@146.70.166.226) (Client Quit) |
| 2023-06-04 17:18:05 +0200 | vandita | (~vandit@79-120-162-143.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-06-04 17:18:37 +0200 | ddellacosta | (~ddellacos@146.70.166.226) |
| 2023-06-04 17:19:42 +0200 | vandita | (~vandit@178-164-188-52.pool.digikabel.hu) |
| 2023-06-04 17:20:27 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-04 17:22:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:23:53 +0200 | jero98772 | (~jero98772@190.158.28.80) |
| 2023-06-04 17:28:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:31:42 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 17:41:03 +0200 | Tlsx | (~rscastilh@189-82-108-215.user3p.veloxzone.com.br) |
| 2023-06-04 17:49:58 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 17:50:43 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-04 17:57:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 17:57:48 +0200 | acidjnk | (~acidjnk@p200300d6e7072f78f06f7de5909d4fa2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-04 17:58:27 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-06-04 17:59:43 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-06-04 18:00:01 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-06-04 18:00:28 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:04:45 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) |
| 2023-06-04 18:06:11 +0200 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) |
| 2023-06-04 18:06:11 +0200 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) (Changing host) |
| 2023-06-04 18:06:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 18:07:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 18:10:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:14:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:17:28 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 240 seconds) |
| 2023-06-04 18:17:53 +0200 | yaroot | (~yaroot@p3001131-ipngn7601souka.saitama.ocn.ne.jp) |
| 2023-06-04 18:21:14 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2023-06-04 18:21:16 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 18:22:25 +0200 | econo | (uid147250@user/econo) |
| 2023-06-04 18:23:01 +0200 | zer0bitz__ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 18:23:31 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-06-04 18:25:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:26:14 +0200 | <jade[m]> | what would be the easiest way to convert constructors to a specific string? |
| 2023-06-04 18:26:14 +0200 | <jade[m]> | Essentially `deriving (Show)` but with my own implementation. |
| 2023-06-04 18:26:55 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 18:27:31 +0200 | <c_wraith> | I assume you mean following some rules that you can describe programmatically? TH seems like the only real approach |
| 2023-06-04 18:27:50 +0200 | <c_wraith> | Unless a class is involved, then you can use SYB or Generics or the like |
| 2023-06-04 18:27:53 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-06-04 18:28:16 +0200 | <c_wraith> | (I suppose you can use them anyway, but it's more awkward) |
| 2023-06-04 18:28:33 +0200 | <jade[m]> | mhm yeah I thought about TH |
| 2023-06-04 18:28:54 +0200 | <jade[m]> | but maybe this is an entirely wrong approach to begin with, maybe I should give some context |
| 2023-06-04 18:29:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:30:51 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-04 18:33:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-06-04 18:33:54 +0200 | <jade[m]> | I'm using `blaze-html` and `clay` to write a `style.css` and `index.html`. |
| 2023-06-04 18:33:54 +0200 | <jade[m]> | Both use instances of `IsString` (the specifics shouldn't be too important) to add attributes and selectors in html and css respectively. |
| 2023-06-04 18:33:54 +0200 | <jade[m]> | One approach that I wanted to avoid is the way you'd write each manually, which is that both just write out the strings manually. A slightly better version would define variables of type `IsString s => s` that both the css and html use for atleast *some* safety. |
| 2023-06-04 18:33:54 +0200 | <jade[m]> | I wanted to couple both, so I could use a `withStyle css html` combinator. For the names of classes and such I wanted to use a few ADT that I convert to `abc-def-ghi` syntax for the document, which my question was about |
| 2023-06-04 18:34:21 +0200 | <jade[m]> | thinking about it a bit I think the second approach might be best, and the withStyle combinator could still be implemented |
| 2023-06-04 18:36:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:37:41 +0200 | vandita | (~vandit@178-164-188-52.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 18:39:24 +0200 | vandita | (~vandit@94-21-157-168.pool.digikabel.hu) |
| 2023-06-04 18:39:40 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:42:08 +0200 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-04 18:45:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:47:42 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 18:48:36 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 2023-06-04 18:48:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 18:55:38 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-04 18:56:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 18:56:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2023-06-04 18:58:58 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 18:59:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:02:12 +0200 | zer0bitz__ | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 19:02:27 +0200 | zxrom | (~zxrom@mm-214-30-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-06-04 19:04:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:05:36 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:06:35 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 19:07:17 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-04 19:07:59 +0200 | Guest14 | (~Guest14@186.120.108.65) |
| 2023-06-04 19:08:04 +0200 | <Guest14> | Hello everyone |
| 2023-06-04 19:08:08 +0200 | pharonix71 | (~pharonix7@user/pharonix71) (Ping timeout: 240 seconds) |
| 2023-06-04 19:08:31 +0200 | <Guest14> | I'm having a problem while trying to install the latest version of ghc |
| 2023-06-04 19:08:45 +0200 | <Guest14> | Can you guys help me figure out what is it? |
| 2023-06-04 19:08:58 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 265 seconds) |
| 2023-06-04 19:10:23 +0200 | <geekosaur> | do you have a paste showing the problem? |
| 2023-06-04 19:10:25 +0200 | <geekosaur> | @where paste |
| 2023-06-04 19:10:25 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-06-04 19:10:49 +0200 | <Guest14> | Error: [GHCup-00841] |
| 2023-06-04 19:11:38 +0200 | <tomsmeding> | https://errors.haskell.org/messages/GHCup-00841/ |
| 2023-06-04 19:11:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:11:50 +0200 | <tomsmeding> | Guest14: please post the full error log |
| 2023-06-04 19:11:55 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 19:12:04 +0200 | <tomsmeding> | also the log file in the directory printed at the end |
| 2023-06-04 19:12:16 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 19:15:12 +0200 | <geekosaur> | (thank you, I was trying to find where that was) |
| 2023-06-04 19:15:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:16:31 +0200 | <yushyin> | TIL about the haskell error index, nice. |
| 2023-06-04 19:16:47 +0200 | <geekosaur> | I knew about it but misremembered where it was |
| 2023-06-04 19:17:21 +0200 | tomsmeding | remembered it was errors something haskell something, and guessed right |
| 2023-06-04 19:17:39 +0200 | <tomsmeding> | though this particular code is not terribly helpful :p |
| 2023-06-04 19:18:53 +0200 | <yushyin> | a little more context would be helpful, yes. |
| 2023-06-04 19:19:54 +0200 | <tomsmeding> | ( which process ended prematurely at what stage of installation and with what output :p) |
| 2023-06-04 19:20:43 +0200 | <Guest14> | I think I found the error, I was missing g++. I'm trying to install the latest version again (im using the gcup tui) |
| 2023-06-04 19:20:58 +0200 | <tomsmeding> | are you on linux? |
| 2023-06-04 19:21:06 +0200 | <Guest14> | Yes |
| 2023-06-04 19:21:08 +0200 | <Guest14> | Linux Mint |
| 2023-06-04 19:21:11 +0200 | <tomsmeding> | https://www.haskell.org/ghcup/install/#system-requirements |
| 2023-06-04 19:21:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:23:11 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2023-06-04 19:23:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-06-04 19:25:05 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:25:42 +0200 | <sm> | @where+ errors https://errors.haskell.org the Haskell Error Index |
| 2023-06-04 19:25:42 +0200 | <lambdabot> | It is forever etched in my memory. |
| 2023-06-04 19:27:22 +0200 | <Guest14> | Thank you |
| 2023-06-04 19:27:28 +0200 | Guest14 | (~Guest14@186.120.108.65) (Quit: Client closed) |
| 2023-06-04 19:30:18 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 19:31:50 +0200 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) |
| 2023-06-04 19:31:50 +0200 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) (Changing host) |
| 2023-06-04 19:31:50 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 19:32:22 +0200 | <sm> | now it can also be found via https://haskell-links.org/?q=errors or jumped to via https://haskell-links.org/errors |
| 2023-06-04 19:32:25 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-06-04 19:35:17 +0200 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 19:37:04 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 250 seconds) |
| 2023-06-04 19:37:04 +0200 | coot_ | coot |
| 2023-06-04 19:38:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:41:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:45:17 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 250 seconds) |
| 2023-06-04 19:46:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:49:20 +0200 | <chromoblob> | why are the error numbers so random yet of only 5 digits? |
| 2023-06-04 19:53:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:54:28 +0200 | AstraGravityGirl | (~astra@186.11.51.21) (Ping timeout: 240 seconds) |
| 2023-06-04 19:56:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2023-06-04 19:58:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 19:59:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 19:59:50 +0200 | <int-e> | chromoblob: https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Types/Error/Codes.hs#L65-74 suggests that they *are* random (though that's not actually stated as a requirement). |
| 2023-06-04 20:00:37 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 20:05:39 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 20:07:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:08:41 +0200 | vandita | (~vandit@94-21-157-168.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 20:08:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:10:15 +0200 | vandita | (~vandit@178-164-208-71.pool.digikabel.hu) |
| 2023-06-04 20:14:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:27:09 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-04 20:29:51 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:31:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-04 20:32:28 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 20:36:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:39:51 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:41:31 +0200 | fun-safe-math | (~fun-safe-@c-24-22-79-16.hsd1.wa.comcast.net) |
| 2023-06-04 20:43:20 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 20:46:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:47:08 +0200 | vandita | (~vandit@178-164-208-71.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-06-04 20:48:16 +0200 | vandita | (~vandit@fibhost-67-47-13.fibernet.hu) |
| 2023-06-04 20:49:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:52:08 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-04 20:54:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 20:55:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 20:59:11 +0200 | fun-safe-math | (~fun-safe-@c-24-22-79-16.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2023-06-04 20:59:35 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-04 21:01:52 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-04 21:02:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:03:03 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-04 21:06:08 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-04 21:08:37 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 21:10:45 +0200 | drlkf_ | (~drlkf@192.184.163.34.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 2023-06-04 21:13:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:14:25 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-06-04 21:15:03 +0200 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 2023-06-04 21:16:28 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-04 21:19:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:31:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-04 21:31:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-04 21:31:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 21:36:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:37:05 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 2023-06-04 21:37:57 +0200 | michalz | (~michalz@185.246.207.215) |
| 2023-06-04 21:40:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) (Remote host closed the connection) |
| 2023-06-04 21:41:52 +0200 | vandita | (~vandit@fibhost-67-47-13.fibernet.hu) (Ping timeout: 250 seconds) |
| 2023-06-04 21:43:30 +0200 | vandita | (~vandit@87-97-12-202.pool.digikabel.hu) |
| 2023-06-04 21:43:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d512:b207:c888:476e) |
| 2023-06-04 21:45:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:49:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:51:11 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-04 21:51:24 +0200 | nschoe | (~q@2a01:e0a:8e:a190:43aa:dbe8:a8d9:56e4) |
| 2023-06-04 21:52:49 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-04 21:53:18 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-04 21:53:58 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 2023-06-04 21:55:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 21:55:25 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-04 21:56:41 +0200 | scrungus | (~scrungus@bras-base-aurron9127w-grc-46-70-31-27-241.dsl.bell.ca) |
| 2023-06-04 21:57:24 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-04 21:58:00 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-04 21:58:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 21:59:32 +0200 | biberu | (~biberu@user/biberu) |
| 2023-06-04 21:59:34 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-04 22:01:45 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-06-04 22:02:51 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-04 22:02:52 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 22:03:38 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-06-04 22:04:28 +0200 | biberu | (~biberu@user/biberu) |
| 2023-06-04 22:05:05 +0200 | AstraGravityGirl | (~astra@186.11.51.21) |
| 2023-06-04 22:06:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:09:28 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:12:37 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-06-04 22:12:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-04 22:22:12 +0200 | AstraGravityGirl | (~astra@186.11.51.21) (Remote host closed the connection) |
| 2023-06-04 22:22:47 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2023-06-04 22:23:11 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-04 22:26:06 +0200 | boukenshaou | (~Boukensha@223.178.84.62) |
| 2023-06-04 22:28:13 +0200 | acidjnk | (~acidjnk@p200300d6e7072f782910d7d1b226f26d.dip0.t-ipconnect.de) |
| 2023-06-04 22:28:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:29:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:31:10 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-04 22:32:00 +0200 | gurkenglas | (~user@dynamic-046-114-183-113.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-06-04 22:32:45 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Remote host closed the connection) |
| 2023-06-04 22:33:07 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 22:34:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:34:51 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-04 22:35:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:35:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-04 22:36:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-06-04 22:36:06 +0200 | cheater_ | cheater |
| 2023-06-04 22:41:50 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-04 22:42:22 +0200 | Tlsx | (~rscastilh@189-82-108-215.user3p.veloxzone.com.br) (Remote host closed the connection) |
| 2023-06-04 22:42:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:46:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:52:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 22:52:58 +0200 | Guest24 | (~Guest24@2603-8000-a500-1b03-df0f-77e5-4322-e46f.res6.spectrum.com) |
| 2023-06-04 22:54:00 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:e862:112e:a681:b90f) |
| 2023-06-04 22:54:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 22:54:14 +0200 | mheinzel | (~mheinzel@2a01:c22:a8ca:c500:e14a:606b:6a3c:22fb) |
| 2023-06-04 22:54:16 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:e862:112e:a681:b90f) (Read error: Connection reset by peer) |
| 2023-06-04 22:56:02 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-04 22:56:47 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-04 23:02:06 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-04 23:02:56 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-04 23:03:27 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-06-04 23:06:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-06-04 23:06:53 +0200 | Guest24 | (~Guest24@2603-8000-a500-1b03-df0f-77e5-4322-e46f.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-06-04 23:07:19 +0200 | machinedgod | (~machinedg@93-136-155-38.adsl.net.t-com.hr) |
| 2023-06-04 23:07:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-04 23:09:37 +0200 | <jade[m]> | this blog from Haskell News seems to have a lot of issues https://anurudhp.github.io/blogs/2021/06/23/io-monad-in-cpp.html |
| 2023-06-04 23:10:43 +0200 | <jade[m]> | > -- haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/ab5eaeaa3b479c0cb579b5f4468442c87948…>) |
| 2023-06-04 23:10:44 +0200 | <lambdabot> | <no location info>: error: |
| 2023-06-04 23:10:45 +0200 | <lambdabot> | not an expression: ‘-- haskell... (full message at <https://libera.ems.h... |
| 2023-06-04 23:11:32 +0200 | <jade[m]> | > instance Monad IO where... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/9af38ee961291e1745028a68ac9bae96fede…>) |
| 2023-06-04 23:11:33 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘instance’ |
| 2023-06-04 23:11:48 +0200 | <ncf> | :k IO |
| 2023-06-04 23:11:49 +0200 | <lambdabot> | * -> * |
| 2023-06-04 23:11:58 +0200 | <ncf> | :t unsafePerformIO |
| 2023-06-04 23:11:59 +0200 | <lambdabot> | error: Variable not in scope: unsafePerformIO |
| 2023-06-04 23:12:14 +0200 | <ncf> | anyway, in C++ it definitely is escapable ;) |
| 2023-06-04 23:12:49 +0200 | <EvanR> | nevermind monads in C++, can you even have Functor |
| 2023-06-04 23:12:59 +0200 | <geekosaur> | also if you dig in the internals you will find that >>= is bindIO and there is a runIO |
| 2023-06-04 23:13:48 +0200 | <geekosaur> | (that said, runIO is highly magical and probably doesn't do what you would think) |
| 2023-06-04 23:14:01 +0200 | gurkenglas | (~user@46.114.183.113) |
| 2023-06-04 23:14:37 +0200 | <jade[m]> | jade[m]: > <@jade.256:the-apothecary.club> > instance Monad IO where... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/3a1e4e980784255a49af89598545f6c28ac4…>) |
| 2023-06-04 23:15:25 +0200 | <ncf> | i assume it refers to the seq they defined in the C++ pane... |
| 2023-06-04 23:15:41 +0200 | <jade[m]> | oh that would make a little more sense yeah |
| 2023-06-04 23:15:49 +0200 | <jade[m]> | the problem is that the type matches lol |
| 2023-06-04 23:15:53 +0200 | <geekosaur> | right, I was about to ask if they had a local definition like they presumably have for bind |
| 2023-06-04 23:16:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:16:56 +0200 | <jade[m]> | jade[m]: that made me think they searched hoogle for `IO a -> IO b -> IO b` and it showed `seq` |
| 2023-06-04 23:17:18 +0200 | <jade[m]> | but it would make more sense that it's just an abbreviation of "sequential application" |
| 2023-06-04 23:18:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:19:13 +0200 | <ncf> | i read a blog post today that also used Seq for (>>): https://acatalepsie.fr/posts/overloading-lambda |
| 2023-06-04 23:20:00 +0200 | <jade[m]> | <jade[m]> "> -- haskell..." <- > <@jade.256:the-apothecary.club> > -- haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/633d030db251effcd32690a2307d22f28314…>) |
| 2023-06-04 23:21:16 +0200 | <geekosaur> | (a) your multiple levels of quoting yourself are somewhat obnoxious IRC-side (b) is there some reason there should be one, as opposed to showing a comparison to "standard" IO? |
| 2023-06-04 23:22:59 +0200 | <EvanR> | it doesn't help that lambdabot is responding to the matrix quotes or whatever is going on there |
| 2023-06-04 23:23:03 +0200 | <ncf> | ban matrix users, for their own sake |
| 2023-06-04 23:23:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-04 23:24:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:24:42 +0200 | <ncf> | anyway, you could argue that in C++ IO is basically Identity (if you're willing to assign meaning to this...), which is why `run` is part of the definition |
| 2023-06-04 23:24:56 +0200 | <ncf> | data IO a = IO { run :: a } -- if you will |
| 2023-06-04 23:25:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:25:19 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-04 23:26:06 +0200 | scrungus | (~scrungus@bras-base-aurron9127w-grc-46-70-31-27-241.dsl.bell.ca) (Quit: WeeChat 3.8) |
| 2023-06-04 23:26:56 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Ping timeout: 246 seconds) |
| 2023-06-04 23:27:47 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2023-06-04 23:31:14 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-06-04 23:31:25 +0200 | hippoid | (~hippoid@user/hippoid) |
| 2023-06-04 23:35:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:37:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:39:32 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-06-04 23:42:59 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 23:45:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-04 23:47:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:49:01 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) (Remote host closed the connection) |
| 2023-06-04 23:49:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-04 23:49:24 +0200 | reach | (~reach@2607:fea8:4c0:990:399a:69de:44e1:1e42) |
| 2023-06-04 23:50:05 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-04 23:50:12 +0200 | <monochrom> | newtype Identity a = Identity (IO a) |
| 2023-06-04 23:50:16 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-06-04 23:50:20 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-04 23:51:31 +0200 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-06-04 23:52:48 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-04 23:54:17 +0200 | <hpc> | fun fact: in IO the 'I' stands for Identity |
| 2023-06-04 23:54:30 +0200 | <hpc> | and the 'O' stands for https://hackage.haskell.org/package/base-4.18.0.0/docs/GHC-Base.html#v:O |
| 2023-06-04 23:54:33 +0200 | <hpc> | it's like RWS :P |
| 2023-06-04 23:55:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-04 23:55:25 +0200 | <monochrom> | Heh opague identity |
| 2023-06-04 23:55:39 +0200 | <EvanR> | Idontity |
| 2023-06-04 23:56:25 +0200 | <hpc> | Idon'tity, gotta spell it right |
| 2023-06-04 23:56:27 +0200 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 268 seconds) |
| 2023-06-04 23:56:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-04 23:58:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) |