Home liberachat/#haskell: Logs Calendar

Logs on 2023-07-01 (liberachat/#haskell)

00:03:14 × kupenske_oplatky quits (~priesvitn@koleje-wifi-0025.koleje.cuni.cz) (Ping timeout: 258 seconds)
00:03:26 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
00:03:32 → iteratee joins (~kyle@162.218.222.207)
00:03:37 × foul_owl quits (~kerry@71.212.137.212) (Quit: WeeChat 2.3)
00:03:52 → driib joins (~driib@vmi931078.contaboserver.net)
00:06:22 × iteratee_ quits (~kyle@162.218.222.207) (Ping timeout: 260 seconds)
00:09:10 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
00:09:40 → driib joins (~driib@vmi931078.contaboserver.net)
00:14:27 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
00:14:52 → driib joins (~driib@vmi931078.contaboserver.net)
00:17:52 × ddellacosta quits (~ddellacos@146.70.168.100) (Ping timeout: 250 seconds)
00:18:33 → ddellacosta joins (~ddellacos@146.70.168.100)
00:21:08 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
00:21:35 → driib joins (~driib@vmi931078.contaboserver.net)
00:29:05 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
00:29:31 → driib joins (~driib@vmi931078.contaboserver.net)
00:38:13 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
00:38:19 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
00:38:40 → driib joins (~driib@vmi931078.contaboserver.net)
00:40:25 → dipper joins (~dipper@117.61.125.236)
00:46:01 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
00:46:28 → driib joins (~driib@vmi931078.contaboserver.net)
00:48:14 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
00:50:34 × bilegeek quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Remote host closed the connection)
00:50:55 → bilegeek joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
00:52:18 × bilegeek quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Max SendQ exceeded)
00:52:43 → bilegeek joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
00:53:26 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
00:54:05 → thegeekinside joins (~thegeekin@189.217.90.138)
00:56:25 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
00:56:51 → driib joins (~driib@vmi931078.contaboserver.net)
00:58:37 → bilegeek_ joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
01:00:50 × bilegeek quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Ping timeout: 260 seconds)
01:01:34 × bilegeek_ quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Read error: Connection reset by peer)
01:01:53 → bilegeek_ joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
01:03:10 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
01:03:25 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
01:03:51 → driib joins (~driib@vmi931078.contaboserver.net)
01:04:26 × mizlan quits (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Remote host closed the connection)
01:05:10 → mizlan joins (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
01:05:59 × bilegeek_ quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Remote host closed the connection)
01:06:18 × jero98772 quits (~jero98772@2800:484:1d7f:5d36::4) (Quit: leaving)
01:06:24 → bilegeek_ joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
01:09:33 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
01:09:58 → driib joins (~driib@vmi931078.contaboserver.net)
01:11:16 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:14:08 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
01:15:53 → j4cc3b joins (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
01:17:24 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:20:59 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
01:21:26 → driib joins (~driib@vmi931078.contaboserver.net)
01:28:38 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
01:29:03 → driib joins (~driib@vmi931078.contaboserver.net)
01:34:42 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
01:35:08 → driib joins (~driib@vmi931078.contaboserver.net)
01:36:26 × ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds)
01:37:55 × shailangsa quits (~shailangs@host86-186-142-69.range86-186.btcentralplus.com) (Ping timeout: 258 seconds)
01:39:47 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
01:40:13 → driib joins (~driib@vmi931078.contaboserver.net)
01:43:01 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656)
01:47:08 × dipper quits (~dipper@117.61.125.236) (Ping timeout: 250 seconds)
01:48:01 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
01:48:28 → driib joins (~driib@vmi931078.contaboserver.net)
01:55:15 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
01:55:42 → driib joins (~driib@vmi931078.contaboserver.net)
02:02:04 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
02:02:23 × bratwurst quits (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 264 seconds)
02:02:29 → driib joins (~driib@vmi931078.contaboserver.net)
02:06:42 → dipper joins (~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c)
02:08:23 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
02:08:33 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
02:08:59 → driib joins (~driib@vmi931078.contaboserver.net)
02:13:38 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
02:14:13 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
02:14:40 → driib joins (~driib@vmi931078.contaboserver.net)
02:15:26 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
02:17:27 × j4cc3b quits (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
02:18:45 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
02:19:01 → connrs joins (~connrs@user/connrs)
02:19:08 × geranim0 quits (~geranim0@modemcable182.140-177-173.mc.videotron.ca) (Ping timeout: 240 seconds)
02:19:18 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
02:19:55 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:19:55 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:19:55 finn_elija is now known as FinnElija
02:21:06 → shailangsa joins (~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
02:21:43 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
02:24:47 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
02:24:50 × td_ quits (~td@i5387093A.versanet.de) (Ping timeout: 250 seconds)
02:25:13 → driib joins (~driib@vmi931078.contaboserver.net)
02:26:52 → td_ joins (~td@i5387090D.versanet.de)
02:28:09 <chromoblob> does GHCJS reuse JS's GC, or reimplement GC?
02:32:41 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
02:33:08 → driib joins (~driib@vmi931078.contaboserver.net)
02:33:28 → j4cc3b joins (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
02:34:33 × j4cc3b quits (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
02:34:45 → j4cc3b joins (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
02:38:11 × j4cc3b quits (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
02:39:09 → j4cc3b joins (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
02:40:09 × j4cc3b quits (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
02:40:27 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
02:40:53 → driib joins (~driib@vmi931078.contaboserver.net)
02:43:14 → nick__ joins (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
02:45:07 → j4cc3b joins (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
02:47:00 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
02:49:14 × nick__ quits (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 260 seconds)
02:50:24 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
02:53:15 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
02:53:16 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
02:53:22 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
02:53:41 → driib joins (~driib@vmi931078.contaboserver.net)
02:54:28 → dibblego joins (~dibblego@116-255-1-157.ip4.superloop.au)
02:54:28 × dibblego quits (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
02:54:28 → dibblego joins (~dibblego@haskell/developer/dibblego)
03:01:43 → thegeekinside joins (~thegeekin@189.217.90.138)
03:04:11 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
03:04:37 → driib joins (~driib@vmi931078.contaboserver.net)
03:05:07 → notzmv joins (~zmv@user/notzmv)
03:08:52 × bilegeek_ quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Read error: Connection reset by peer)
03:08:52 × mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
03:09:13 → bilegeek_ joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
03:11:00 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
03:11:00 → mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com)
03:11:25 → driib joins (~driib@vmi931078.contaboserver.net)
03:12:35 → bilegeek__ joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
03:13:36 → aforemny joins (~aforemny@2001:9e8:6ce2:e000:2ff3:5ab:fcae:4035)
03:14:40 × aforemny_ quits (~aforemny@i59F516D5.versanet.de) (Ping timeout: 250 seconds)
03:14:41 × bilegeek__ quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Read error: Connection reset by peer)
03:15:03 → bilegeek__ joins (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c)
03:15:12 × bilegeek_ quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Ping timeout: 245 seconds)
03:19:06 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
03:19:47 × bilegeek__ quits (~bilegeek@2600:1008:b086:14cf:b61b:e53c:a53f:5c4c) (Ping timeout: 264 seconds)
03:21:04 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
03:21:32 → driib joins (~driib@vmi931078.contaboserver.net)
03:21:54 → Fischmiep joins (~Fischmiep@user/Fischmiep)
03:22:45 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
03:29:07 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
03:29:32 → driib joins (~driib@vmi931078.contaboserver.net)
03:29:50 × iteratee quits (~kyle@162.218.222.207) (Ping timeout: 260 seconds)
03:30:42 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 250 seconds)
03:31:28 × j4cc3b quits (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
03:31:54 → iteratee joins (~kyle@162.218.222.207)
03:32:55 → bratwurst joins (~dfadsva@2604:3d09:207f:f650::a8c)
03:35:03 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
03:37:10 × xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 245 seconds)
03:37:34 → xff0x joins (~xff0x@178.255.149.135)
03:40:35 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
03:40:58 × bratwurst quits (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 258 seconds)
03:41:03 → driib joins (~driib@vmi931078.contaboserver.net)
03:41:48 → thegeekinside joins (~thegeekin@189.217.90.138)
03:44:32 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
03:44:39 → reach joins (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
03:44:52 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
03:48:34 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
03:49:04 → driib joins (~driib@vmi931078.contaboserver.net)
03:51:04 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
03:54:18 → smoge joins (~smoge@2603-7000-4b42-1100-fcba-0ff6-c348-1365.res6.spectrum.com)
03:56:05 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
03:56:34 → driib joins (~driib@vmi931078.contaboserver.net)
03:58:16 × smoge quits (~smoge@2603-7000-4b42-1100-fcba-0ff6-c348-1365.res6.spectrum.com) (Client Quit)
03:59:48 → falafel joins (~falafel@50.224.160.45)
04:00:32 × leah2 quits (~leah@2001:1410:200:eea::1) (Ping timeout: 240 seconds)
04:02:10 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
04:03:02 × RedNifre2 quits (~RedNifre@dslb-088-072-205-088.088.072.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
04:03:12 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 250 seconds)
04:04:05 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
04:04:33 → driib joins (~driib@vmi931078.contaboserver.net)
04:05:06 → xff0x joins (~xff0x@ai098135.d.east.v6connect.net)
04:09:02 × reach quits (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 260 seconds)
04:11:29 × dsrt^ quits (~dsrt@24.125.210.85) (Remote host closed the connection)
04:13:43 → leah2 joins (~leah@vuxu.org)
04:15:06 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
04:15:07 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
04:15:33 → driib joins (~driib@vmi931078.contaboserver.net)
04:15:42 → RedNifre2 joins (~RedNifre@dslb-002-203-026-004.002.203.pools.vodafone-ip.de)
04:20:37 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds)
04:21:10 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
04:21:29 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
04:22:48 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
04:23:16 → driib joins (~driib@vmi931078.contaboserver.net)
04:34:14 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
04:34:21 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
04:34:52 → driib joins (~driib@vmi931078.contaboserver.net)
04:36:34 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
04:41:40 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
04:42:12 → driib joins (~driib@vmi931078.contaboserver.net)
04:45:49 → jargon joins (~jargon@184.101.73.95)
04:49:38 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
04:50:05 → driib joins (~driib@vmi931078.contaboserver.net)
04:50:49 → thegeekinside joins (~thegeekin@189.217.90.138)
04:53:11 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
05:02:48 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:03:16 → driib joins (~driib@vmi931078.contaboserver.net)
05:11:09 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:11:37 → driib joins (~driib@vmi931078.contaboserver.net)
05:19:51 → trev joins (~trev@user/trev)
05:22:08 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:22:34 → driib joins (~driib@vmi931078.contaboserver.net)
05:23:55 × YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds)
05:27:14 → YuutaW joins (~YuutaW@mail.yuuta.moe)
05:28:41 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:29:07 → driib joins (~driib@vmi931078.contaboserver.net)
05:31:52 × falafel quits (~falafel@50.224.160.45) (Ping timeout: 245 seconds)
05:37:04 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:37:30 → driib joins (~driib@vmi931078.contaboserver.net)
05:37:37 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
05:39:04 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
05:43:54 ← stallmanator parts (~stallmana@user/stallmanator) (Leaving...)
05:44:08 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:44:35 → driib joins (~driib@vmi931078.contaboserver.net)
05:50:42 × mizlan quits (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Quit: mizlan)
05:51:13 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:51:44 → driib joins (~driib@vmi931078.contaboserver.net)
05:52:53 → chromoblob joins (~user@37.113.180.121)
05:56:36 → falafel joins (~falafel@50.224.160.45)
05:56:48 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
05:57:14 → driib joins (~driib@vmi931078.contaboserver.net)
05:58:42 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
05:58:58 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 258 seconds)
06:00:19 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
06:02:50 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
06:02:53 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
06:03:17 → driib joins (~driib@vmi931078.contaboserver.net)
06:10:00 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
06:10:26 → driib joins (~driib@vmi931078.contaboserver.net)
06:16:16 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
06:16:43 → driib joins (~driib@vmi931078.contaboserver.net)
06:17:18 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
06:22:47 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
06:23:00 × falafel quits (~falafel@50.224.160.45) (Remote host closed the connection)
06:24:02 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
06:24:31 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
06:24:57 → driib joins (~driib@vmi931078.contaboserver.net)
06:28:36 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:32:11 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
06:32:37 → driib joins (~driib@vmi931078.contaboserver.net)
06:34:50 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
06:37:08 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
06:40:04 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:42:11 × mjt128 quits (~user@2604:3d09:3e79:f200:4e68:3cdc:7f3b:534b) (Remote host closed the connection)
06:42:58 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
06:43:25 → driib joins (~driib@vmi931078.contaboserver.net)
06:45:43 → notzmv joins (~zmv@user/notzmv)
06:54:12 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
06:54:43 → driib joins (~driib@vmi931078.contaboserver.net)
06:56:38 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
06:56:48 × m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
07:01:12 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
07:02:15 → m5zs7k joins (aquares@web10.mydevil.net)
07:02:20 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:02:47 → driib joins (~driib@vmi931078.contaboserver.net)
07:05:46 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
07:06:16 → dfip^ joins (~dfip@24.125.210.85)
07:11:02 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
07:14:31 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:14:38 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Remote host closed the connection)
07:14:58 → driib joins (~driib@vmi931078.contaboserver.net)
07:15:12 × jargon quits (~jargon@184.101.73.95) (Remote host closed the connection)
07:16:11 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
07:20:54 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:21:00 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
07:21:20 → driib joins (~driib@vmi931078.contaboserver.net)
07:25:01 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
07:25:55 → acidjnk joins (~acidjnk@p200300d6e7072f917cbb145f44358b06.dip0.t-ipconnect.de)
07:27:19 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:27:47 → driib joins (~driib@vmi931078.contaboserver.net)
07:29:19 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
07:33:04 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:33:30 → driib joins (~driib@vmi931078.contaboserver.net)
07:35:56 × dipper quits (~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c) (Ping timeout: 240 seconds)
07:37:17 → gurkenglas joins (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de)
07:39:11 → ss4 joins (~wootehfoo@user/wootehfoot)
07:39:24 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:39:50 → driib joins (~driib@vmi931078.contaboserver.net)
07:42:29 → hisa3877 joins (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
07:42:42 × ners[m] quits (~nersnixos@2001:470:69fc:105::3:648b) (Server closed connection)
07:42:57 → ners[m] joins (~nersnixos@2001:470:69fc:105::3:648b)
07:44:23 × hisa387 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 258 seconds)
07:44:23 hisa3877 is now known as hisa387
07:47:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:47:28 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:47:29 × gurkenglas quits (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
07:47:54 → driib joins (~driib@vmi931078.contaboserver.net)
07:49:10 → dipper joins (~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c)
07:49:46 → gurkenglas joins (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
07:51:47 → gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
07:54:50 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
07:55:17 → driib joins (~driib@vmi931078.contaboserver.net)
07:55:27 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
07:56:08 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:58:47 × YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 264 seconds)
08:00:28 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
08:00:38 → titibandit joins (~titibandi@user/titibandit)
08:00:46 → YuutaW joins (~YuutaW@mail.yuuta.moe)
08:01:00 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
08:01:58 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
08:02:26 → driib joins (~driib@vmi931078.contaboserver.net)
08:03:15 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
08:08:40 × ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
08:09:06 → wootehfoot joins (~wootehfoo@user/wootehfoot)
08:09:15 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
08:09:44 → driib joins (~driib@vmi931078.contaboserver.net)
08:15:06 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656)
08:16:38 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
08:19:30 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Ping timeout: 260 seconds)
08:20:00 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
08:20:28 → driib joins (~driib@vmi931078.contaboserver.net)
08:23:56 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
08:23:59 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds)
08:26:11 → dibblego joins (~dibblego@116-255-1-157.ip4.superloop.au)
08:26:12 × dibblego quits (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
08:26:12 → dibblego joins (~dibblego@haskell/developer/dibblego)
08:31:36 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
08:31:44 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
08:32:12 → driib joins (~driib@vmi931078.contaboserver.net)
08:34:40 → emad joins (~emad@156.214.158.69)
08:34:47 → fweht joins (uid404746@id-404746.lymington.irccloud.com)
08:38:00 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds)
08:39:58 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
08:43:29 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
08:43:56 → driib joins (~driib@vmi931078.contaboserver.net)
08:54:50 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
08:55:14 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
08:55:18 → driib joins (~driib@vmi931078.contaboserver.net)
08:56:13 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
08:58:02 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
09:01:04 → dibblego joins (~dibblego@116-255-1-157.ip4.superloop.au)
09:01:05 × dibblego quits (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
09:01:05 → dibblego joins (~dibblego@haskell/developer/dibblego)
09:02:14 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
09:02:41 → driib joins (~driib@vmi931078.contaboserver.net)
09:03:58 × titibandit quits (~titibandi@user/titibandit) (Ping timeout: 260 seconds)
09:04:02 → Pickchea joins (~private@user/pickchea)
09:04:48 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
09:05:14 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:07:07 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
09:07:29 → jtomas joins (~jtomas@90.162.208.36)
09:07:34 → driib joins (~driib@vmi931078.contaboserver.net)
09:08:16 × byte quits (~byte@user/byte) (Quit: Quitting...)
09:08:37 → byte joins (~byte@user/byte)
09:13:32 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
09:15:25 → bhamilton joins (~bhamilton@2-233-89-229.ip217.fastwebnet.it)
09:17:21 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
09:17:48 → driib joins (~driib@vmi931078.contaboserver.net)
09:18:53 → fendor joins (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
09:23:23 → chromoblob joins (~user@37.113.180.121)
09:23:58 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
09:23:59 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
09:24:22 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
09:24:49 → driib joins (~driib@vmi931078.contaboserver.net)
09:26:44 Lord_of_Life_ is now known as Lord_of_Life
09:27:17 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
09:29:25 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
09:29:30 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 260 seconds)
09:29:50 → driib joins (~driib@vmi931078.contaboserver.net)
09:35:40 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
09:36:07 → driib joins (~driib@vmi931078.contaboserver.net)
09:37:43 → wootehfoot joins (~wootehfoo@user/wootehfoot)
09:38:24 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
09:41:13 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
09:41:39 → driib joins (~driib@vmi931078.contaboserver.net)
09:47:11 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
09:47:24 → chromoblob joins (~user@37.113.180.121)
09:49:11 × chromoblob quits (~user@37.113.180.121) (Read error: Connection reset by peer)
09:52:24 → chromoblob joins (~user@37.113.180.121)
09:52:26 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
09:53:38 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
09:54:04 → driib joins (~driib@vmi931078.contaboserver.net)
09:59:55 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
10:00:22 → driib joins (~driib@vmi931078.contaboserver.net)
10:02:25 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
10:03:09 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
10:05:09 → tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
10:06:48 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
10:08:31 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
10:08:59 → driib joins (~driib@vmi931078.contaboserver.net)
10:09:47 → gmg joins (~user@user/gehmehgeh)
10:11:32 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds)
10:13:48 × jtomas quits (~jtomas@90.162.208.36) (Remote host closed the connection)
10:14:05 → jtomas joins (~jtomas@90.162.208.36)
10:14:36 → gehmehgeh joins (~user@user/gehmehgeh)
10:15:15 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
10:15:43 → driib joins (~driib@vmi931078.contaboserver.net)
10:15:48 × jtomas quits (~jtomas@90.162.208.36) (Remote host closed the connection)
10:15:59 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds)
10:16:06 → jtomas joins (~jtomas@90.162.208.36)
10:20:37 × jtomas quits (~jtomas@90.162.208.36) (Ping timeout: 245 seconds)
10:23:56 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
10:24:23 → driib joins (~driib@vmi931078.contaboserver.net)
10:25:46 × bhamilton quits (~bhamilton@2-233-89-229.ip217.fastwebnet.it) (Remote host closed the connection)
10:31:40 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 252 seconds)
10:31:59 → gmg joins (~user@user/gehmehgeh)
10:32:38 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds)
10:32:53 → chromoblob joins (~user@37.113.180.121)
10:33:02 → alexherbo2 joins (~alexherbo@2a02-8440-2440-ac3e-402c-4994-f708-276a.rev.sfr.net)
10:33:59 → hugo joins (znc@verdigris.lysator.liu.se)
10:34:09 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
10:34:36 → driib joins (~driib@vmi931078.contaboserver.net)
10:35:52 <chromoblob> what's the easiest way to parse a small subset of Haskell in Javascript or Purescript?
10:36:58 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds)
10:38:06 <chromoblob> Haskell98 without typeclasses and possibly without laziness
10:40:15 → gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
10:41:02 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds)
10:41:52 <chromoblob> well, parse and implement
10:42:04 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
10:42:31 → driib joins (~driib@vmi931078.contaboserver.net)
10:42:39 <chromoblob> the hardest things seem to be type inference, laziness, type classes and GC
10:42:52 → notzmv joins (~zmv@user/notzmv)
10:43:08 × alexherbo2 quits (~alexherbo@2a02-8440-2440-ac3e-402c-4994-f708-276a.rev.sfr.net) (Remote host closed the connection)
10:45:55 <arahael> chromoblob: There seems to be a worked example here: https://blog.monadfix.com/nau-1-pipeline But it's "from scratch", nothing easy.
10:46:18 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
10:46:59 <hellwolf[m]> one of the easiest could be to follow his foot steps https://youtu.be/3kMvXXGXaws
10:47:06 → geranim0 joins (~geranim0@modemcable182.140-177-173.mc.videotron.ca)
10:47:54 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
10:48:02 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
10:48:22 <chromoblob> arahael: that doesn't seem to be what i am asking, i want to write in PS/JS an implementation of subset of Haskell
10:48:22 → alexherbo2 joins (~alexherbo@2a02-8440-2440-ac3e-b0ca-fff2-26c0-5e91.rev.sfr.net)
10:49:44 <arahael> Oh, like an interpreter.
10:50:16 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
10:50:42 → driib joins (~driib@vmi931078.contaboserver.net)
10:51:39 <chromoblob> well i'd like to generate some JS code and call eval() on it to reuse JIT functionality of host JS implementation
10:51:48 → jtomas joins (~jtomas@90.162.208.36)
10:52:12 <chromoblob> hellwolf[m]: 0:32-0:56 lol
10:55:16 → gmg joins (~user@user/gehmehgeh)
10:55:17 <chromoblob> also reuse GC of host JS for the subset of Haskell i'm implementing
10:56:30 <arahael> chromoblob: If the host is javascript, you could provide it with a JS string and have it eval it directly.
10:59:45 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
11:00:11 → driib joins (~driib@vmi931078.contaboserver.net)
11:00:42 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
11:00:56 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
11:02:08 <chromoblob> i just said that...
11:02:13 × alexherbo2 quits (~alexherbo@2a02-8440-2440-ac3e-b0ca-fff2-26c0-5e91.rev.sfr.net) (Remote host closed the connection)
11:02:59 × Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds)
11:04:36 <arahael> chromoblob: Oh, yeah, indeed. Sorry, it's late for me. I think I had intended to kind of agree with you.
11:10:26 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
11:10:55 → driib joins (~driib@vmi931078.contaboserver.net)
11:16:47 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
11:17:14 → driib joins (~driib@vmi931078.contaboserver.net)
11:17:41 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
11:20:56 → alexherbo2 joins (~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net)
11:22:36 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
11:23:08 <chromoblob> mhm
11:23:26 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
11:23:53 → driib joins (~driib@vmi931078.contaboserver.net)
11:24:00 × kimiamania6 quits (~681cf57f@user/kimiamania) (Ping timeout: 240 seconds)
11:30:36 <ncf> https://wiki.haskell.org/The_JavaScript_Problem
11:30:44 × jtomas quits (~jtomas@90.162.208.36) (Ping timeout: 240 seconds)
11:31:10 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
11:31:37 → driib joins (~driib@vmi931078.contaboserver.net)
11:34:00 → kimiamania6 joins (~681cf57f@user/kimiamania)
11:37:59 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
11:38:28 → driib joins (~driib@vmi931078.contaboserver.net)
11:44:20 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
11:44:46 → driib joins (~driib@vmi931078.contaboserver.net)
11:47:36 → __monty__ joins (~toonn@user/toonn)
11:47:49 → tremon joins (~tremon@83.80.159.219)
11:48:13 <hippoid> i remember seeing a collection of different small haskell games. they might have been all command line games. it was from various programmers, and was like a contest, or event, similar to advent of code. anyone know what i'm talking about and have a link?
11:48:53 → Pickchea joins (~private@user/pickchea)
11:49:09 <__monty__> Yep, you're talking about the first Haskell Tiny Game Jam! https://github.com/haskell-game/tiny-games-hs/
11:50:05 <hippoid> __monty__: thats it!
11:51:10 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
11:51:36 → driib joins (~driib@vmi931078.contaboserver.net)
11:53:05 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
11:55:32 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 250 seconds)
11:57:37 <chromoblob> ncf: i found Fay, thanks
11:59:00 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
11:59:18 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
11:59:27 → driib joins (~driib@vmi931078.contaboserver.net)
12:00:54 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
12:06:57 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
12:07:22 → driib joins (~driib@vmi931078.contaboserver.net)
12:09:46 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
12:13:53 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
12:14:19 → driib joins (~driib@vmi931078.contaboserver.net)
12:14:56 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
12:16:26 × emad quits (~emad@156.214.158.69) (Quit: Leaving)
12:20:41 × alexherbo2 quits (~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net) (Remote host closed the connection)
12:21:01 → alexherbo2 joins (~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net)
12:23:20 → myme joins (~myme@2a01:799:d60:e400:ad99:fa1a:576b:14a8)
12:24:04 → jtomas joins (~jtomas@90.162.208.36)
12:24:36 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
12:25:04 → driib joins (~driib@vmi931078.contaboserver.net)
12:27:07 × alexherbo2 quits (~alexherbo@2a02-8440-2440-4f5e-588d-3814-c04a-8028.rev.sfr.net) (Remote host closed the connection)
12:30:42 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
12:31:07 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
12:31:34 → driib joins (~driib@vmi931078.contaboserver.net)
12:31:47 × jtomas quits (~jtomas@90.162.208.36) (Ping timeout: 264 seconds)
12:33:56 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
12:35:24 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
12:35:52 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
12:38:28 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
12:39:19 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
12:39:44 → driib joins (~driib@vmi931078.contaboserver.net)
12:40:23 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
12:42:01 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
12:46:38 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
12:47:06 → driib joins (~driib@vmi931078.contaboserver.net)
12:47:14 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
12:51:34 → jtomas joins (~jtomas@90.162.208.36)
12:52:35 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
12:53:02 → driib joins (~driib@vmi931078.contaboserver.net)
12:53:54 × geranim0 quits (~geranim0@modemcable182.140-177-173.mc.videotron.ca) (Quit: Leaving)
12:54:08 → geranim0 joins (~geranim0@modemcable182.140-177-173.mc.videotron.ca)
12:59:33 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:00:01 → driib joins (~driib@vmi931078.contaboserver.net)
13:01:47 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
13:04:24 → notzmv joins (~zmv@user/notzmv)
13:06:58 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:07:25 → driib joins (~driib@vmi931078.contaboserver.net)
13:08:02 × jtomas quits (~jtomas@90.162.208.36) (Ping timeout: 260 seconds)
13:11:22 × Pickchea quits (~private@user/pickchea) (Ping timeout: 258 seconds)
13:11:57 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
13:15:32 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
13:17:33 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:17:38 → alexherbo2 joins (~alexherbo@2a02-8440-2440-4f5e-9870-5b3c-af90-bffd.rev.sfr.net)
13:18:03 → driib joins (~driib@vmi931078.contaboserver.net)
13:18:25 × gurkenglas quits (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
13:19:11 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
13:19:34 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
13:20:06 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
13:20:08 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
13:20:36 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
13:23:22 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:23:47 → driib joins (~driib@vmi931078.contaboserver.net)
13:26:51 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
13:27:51 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:30:07 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:30:40 → driib joins (~driib@vmi931078.contaboserver.net)
13:36:29 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:36:56 → driib joins (~driib@vmi931078.contaboserver.net)
13:41:38 × fendor quits (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Ping timeout: 260 seconds)
13:42:36 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:42:42 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 252 seconds)
13:43:02 → driib joins (~driib@vmi931078.contaboserver.net)
13:43:02 → aforemny_ joins (~aforemny@2001:9e8:6cec:3100:d473:753c:6494:4f21)
13:43:13 → chromoblob joins (~user@37.113.180.121)
13:44:26 × aforemny quits (~aforemny@2001:9e8:6ce2:e000:2ff3:5ab:fcae:4035) (Ping timeout: 260 seconds)
13:46:56 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
13:49:43 → Pickchea joins (~private@user/pickchea)
13:50:39 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
13:52:32 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
13:52:45 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:53:10 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
13:53:11 → driib joins (~driib@vmi931078.contaboserver.net)
13:53:32 × ddellacosta quits (~ddellacos@146.70.168.100) (Ping timeout: 245 seconds)
13:58:55 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
13:59:21 → driib joins (~driib@vmi931078.contaboserver.net)
14:06:58 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
14:07:24 → driib joins (~driib@vmi931078.contaboserver.net)
14:10:05 <adeptangel> sadf
14:10:08 × adeptangel quits (cren@tilde.team) (Quit: nyaa~)
14:10:10 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
14:10:45 → adeptangel joins (~adeptange@tilde.guru)
14:13:40 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
14:14:09 → driib joins (~driib@vmi931078.contaboserver.net)
14:16:06 × tabemann quits (~tabemann@2600:1700:7990:24e0:a240:2d56:9095:a1c3) (Remote host closed the connection)
14:16:19 → tabemann joins (~tabemann@2600:1700:7990:24e0:cd08:c5bb:9d2b:dbaa)
14:17:21 → fweht joins (uid404746@id-404746.lymington.irccloud.com)
14:19:21 <Axman6> the well known function for computing sadness (using single precision floating point)
14:19:49 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
14:20:17 → driib joins (~driib@vmi931078.contaboserver.net)
14:20:18 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656)
14:20:36 <int-e> at least there wasn't a 7. https://xkcd.com/1530/
14:20:53 <adeptangel> hello, could somebody help me understand the cause of the type error in this set of defintions? https://paste.tomsmeding.com/KSWyP0lE
14:21:08 <adeptangel> (the program being run is a test suite for these functions)
14:22:17 <int-e> since the return type is Maybe (Int, Int, Int) (a Maybe wrapping a triple), the value should have the shape Just (_, _, _)
14:22:30 <Axman6> int-e: h, hadn't seen that one
14:22:34 <int-e> `.` is for function composition; it has almost nothing to do with tuples.
14:22:35 <Axman6> ha*
14:22:55 <ncf> probably just missing a . between Just and hoursMinutesSeconds ?
14:23:08 <adeptangel> ohh that might be it
14:23:27 <ncf> and then replace the last . with $
14:23:28 <ski> missing brackets. skip the `.'s
14:23:31 <adeptangel> no that doesn't quite work
14:23:42 <int-e> oh that's just a single value... yeah, what ncf is saying
14:23:53 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:24:06 <int-e> adeptangel: maybe the return type is wrong? This looks like it might just be a `Maybe Int`
14:24:29 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Ping timeout: 240 seconds)
14:24:35 <int-e> (with some punctuation problems that ncf has suggested how to fix)
14:24:58 <ski> | otherwise = Just (hoursMinutesSeconds (hoursToSeconds (catchUpTime v1 v2 g)))
14:25:49 <int-e> Let me be offensive and suggest `Just $ hoursMinutesSeconds . hoursToSeconds . catchUpTime v1 v2 $ g` :-P
14:26:06 <ski> that's indeed offensive
14:26:19 <int-e> Anywa,y if in doubt, don't use `$` or `.`
14:27:08 → fendor joins (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
14:29:40 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
14:30:07 → driib joins (~driib@vmi931078.contaboserver.net)
14:30:26 <int-e> ski: I might actually write that... the thing is, I write `Just $` because I want to produce a Maybe, and *then* I start thinking about the expression. And it works that way when reading code too, for me. But I also know that people disagree.
14:32:13 → smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
14:32:14 <ski> mhm
14:33:11 <adeptangel> ski: this version fixes the type error, thanks. I guess . does not do what I thought it did
14:33:12 <ski> (i would have offered a version with `.', but then you did, and i also realized mine would've been the same as ncf's, except no `$')
14:33:35 <ski> what did you thought it did ?
14:34:14 <adeptangel> ski: well, function composition; maybe I should say: function composition does not work like that
14:34:31 <int-e> > let times2 x = 2*x in (succ . times2) 2
14:34:33 <lambdabot> 5
14:35:02 <ski> "does not work like that" -- like what ? .. sorry, i'm not understanding your point there
14:35:12 × Pickchea quits (~private@user/pickchea) (Ping timeout: 245 seconds)
14:35:31 <adeptangel> I just mean, I think I was trying to use . to do something it doesn't do
14:35:32 <ski> perhaps what feels unusual is to have the output of a composition chain be a tuple ?
14:35:57 <adeptangel> that's okay though, right? Legal, even if unusual
14:36:12 <ski> yea, a tuple is just a value, like any other
14:36:13 <int-e> aaargh
14:36:33 <int-e> I didn't read the type of `hoursMinutesSeconds`... that's where the triple comes from
14:36:39 <adeptangel> yeah
14:36:42 ski was wondering
14:37:12 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
14:37:50 <adeptangel> okay so
14:37:51 <ski> (this (having a subcomputation produce a tuple) is one reason why it can sometimes be preferable to pass multiple parameters to a function in a tuple, rather than pass them curriedly)
14:38:04 <int-e> Just hoursMinutesSeconds . hoursToSeconds . catchUpTime v1 v2 g means (((Just hoursMinutesSeconds) . hoursToSeconds) . (catchUpTime v1 v2 g))
14:38:21 <adeptangel> ahhh
14:38:21 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
14:38:29 <int-e> It's hard to say whether you misunderstood `.` or the syntax here.
14:38:40 → ripspin joins (~chatzilla@1.145.168.220)
14:38:44 <adeptangel> Just (hoursMinutesSeconds . hoursToSeconds $ catchUpTime v1 v2 g) works
14:38:52 <ski> (Just . hoursMinutesSeconds . hoursToSeconds . catchUpTime v1 v2) g -- this would have worked, fwiw
14:38:54 <adeptangel> and is closest to what I was trying to do
14:40:13 <ski> (and seeing how the first two parameters of `catchUpTime' seem to be conceptually separated from the last one, writing it like this could make sense, as well)
14:40:21 <adeptangel> int-e: what do you even get from composing (catchUpTime v1 v2 g) with the other functions? Because catchUpTime is fully applied there, so the type of that expression should just be Int, right?
14:40:45 <int-e> > 60*60
14:40:47 <lambdabot> 3600
14:41:01 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
14:41:08 <ski> adeptangel : you get a type error
14:41:16 <adeptangel> int-e: wait I made an arithmetic error didn't I :P
14:41:24 <int-e> adeptangel: several really
14:41:28 → driib joins (~driib@vmi931078.contaboserver.net)
14:41:41 <adeptangel> ski: that makes sense
14:41:53 <ski> (int-e was talking about your original code, explaining how the parser sees it, hopefully making it more clear *why* it is a type error)
14:42:09 <adeptangel> yes that makes it clear, thanks
14:42:37 <int-e> > let f hms = let (hm,s) = hms `divMod` 60; (h,m) = hm `divMod` 60 in (h,m,s) in (f 144, f 9999)
14:42:38 <lambdabot> ((0,2,24),(2,46,39))
14:42:52 <ski> fwiw, i'd probably use `divMod' in `hoursMinutesSeconds'
14:43:01 <ski> yep, like that i suppose
14:44:30 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
14:44:37 → ddellacosta joins (~ddellacos@143.244.47.100)
14:44:55 <int-e> adeptangel: in the code you have, 1200 should be 3600 and the `mod`-s should be `div`. OTOH, the `div`s you have are used to compute remainders, so you could use `mod` there instead.
14:45:34 <ski> > let f hms = mapAccumL divMod hms [60,60] in (f 144,f 9999)
14:45:36 <lambdabot> ((0,[24,2]),(2,[39,46]))
14:45:37 <int-e> But using two `divMod`-s is less error-prone.
14:46:06 <int-e> ski: ...clever but yuck :P
14:46:13 <ski> (:
14:46:19 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
14:47:08 <ski> (i sometimes use that, for quick conversions from large-number-of-seconds, to seconds-minutes-hours-nychthemerons-weeks)
14:47:18 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
14:48:25 <ski> > mapAccumL divMod 25955462 [60,60,24,7] -- e.g.
14:48:27 <lambdabot> (42,[2,51,9,6])
14:48:55 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
14:49:14 <int-e> > snd $ mapAccumL divMod 25955462 [60,60,24,0]
14:49:16 <lambdabot> [2,51,9,*Exception: divide by zero
14:49:19 <int-e> aww
14:49:20 → driib joins (~driib@vmi931078.contaboserver.net)
14:50:36 <ski> well, `mod n 0' ought to be `n', and `divMod n 0' ought to be `(_|_,n)', yeah
14:52:34 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
14:55:31 <Axman6> What is the remainder left when you divide by zero? Well nothing, because you have destroyed the universe
14:56:36 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
14:57:03 → driib joins (~driib@vmi931078.contaboserver.net)
14:58:42 <ski> `mod n d' ought to be some value that's congruent to `n', modulo `d'. when `d = 0', the only such value is `n'
14:59:48 × robertm quits (~robertm@lattice.rojoma.com) (Quit: WeeChat 3.8)
15:00:43 <ski> (one could also consider the equation `d * div n d + mod n d = n', take `d = 0', and imagine a version of `*' that is non-strict in its right operand when the left is zero)
15:01:42 <int-e> tbf I didn't really expect that to work, but it would've been a cute way to fix the awkward order of the numbers in the result
15:02:22 → robertm joins (robertm@lattice.rojoma.com)
15:03:40 <int-e> (from left to right you have the most significant "digit" followed by the rest starting with the least significant. of coure that "digit" is unbounded, contrary to the others)
15:03:43 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
15:04:07 → wootehfoot joins (~wootehfoo@user/wootehfoot)
15:04:09 → driib joins (~driib@vmi931078.contaboserver.net)
15:06:00 → azimut joins (~azimut@gateway/tor-sasl/azimut)
15:08:46 <ski> a function `f' is periodic iff there is some period `p' such that `f (x + p) = f x' (for all `x'). if `p' is the least such period (wrt the divisibility ordering. iow `forall q. p | q <=> forall x. f (x + q) = x', where `p | q' means `exists k : |Z. k * p = q'), then it's called the fundamental/primitive/basic/prime period. the case `p = 0' corresponds to what we'd usually say is not a periodic function `f'
15:09:50 <Axman6> f (x + q) = x not f (x + q) = f(x)?
15:09:51 <ski> so, in terms of `mod n d', choosing `d = 0' (getting answer `n') corresponds to not wrapping around, while other values of `d' wraps around at that bound
15:10:00 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
15:10:14 <ski> er, sorry, that should be `f (x + q) = f x', right
15:10:30 → driib joins (~driib@vmi931078.contaboserver.net)
15:12:06 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
15:15:35 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
15:16:01 → driib joins (~driib@vmi931078.contaboserver.net)
15:17:00 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
15:17:34 × fendor quits (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection)
15:19:14 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
15:21:07 → ystael joins (~ystael@user/ystael)
15:21:46 → eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
15:23:10 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
15:23:44 × driib quits (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
15:23:59 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
15:24:07 → eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd)
15:24:14 → driib joins (~driib@vmi931078.contaboserver.net)
15:26:05 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:26:08 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
15:27:26 × eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd) (Remote host closed the connection)
15:27:42 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd)
15:30:57 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
15:33:28 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
15:33:54 → driib joins (~driib@vmi931078.contaboserver.net)
15:38:37 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:41:34 × phma quits (~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer)
15:42:00 → phma joins (phma@2001:5b0:212a:a5a8:9482:144e:6eb8:2c18)
15:43:31 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
15:43:38 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
15:43:57 → driib joins (~driib@vmi931078.contaboserver.net)
15:46:28 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd) (Remote host closed the connection)
15:47:47 monochrom prefers: What's the remainder of dividng by 0? Well everything! You've created a whole new universe!
15:48:01 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd)
15:49:50 × dipper quits (~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c) (Ping timeout: 260 seconds)
15:50:49 <hpc> apple pies for everyone!
15:50:55 × motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 245 seconds)
15:50:56 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:52:47 <EvanR> absurd :: Int -> a
15:53:16 × alexherbo2 quits (~alexherbo@2a02-8440-2440-4f5e-9870-5b3c-af90-bffd.rev.sfr.net) (Remote host closed the connection)
15:54:42 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
15:55:08 → driib joins (~driib@vmi931078.contaboserver.net)
15:59:20 <adeptangel> hi, me again, could somebody help me locate the type error in these definitions? https://paste.tomsmeding.com/6U6qAity
16:00:22 <davean> he compiler tells you what the type error is, we can only help you fix it
16:00:28 <ncf> fromIntegral lead
16:00:47 <adeptangel> davean: I know what the type error is but I don't know what's causing it
16:01:15 <EvanR> translation of the error: you tried to use `floor' on an Int
16:01:16 <EvanR> but
16:01:18 <EvanR> :t floor
16:01:20 <lambdabot> (RealFrac a, Integral b) => a -> b
16:01:30 <EvanR> Int has no RealFrac support
16:01:31 <davean> What do you even expect that to do? It can only be id
16:01:53 <EvanR> so that's what's causing it
16:01:56 <adeptangel> ncf: thanks that fixed it
16:02:09 <adeptangel> I knew that floor wasn't working because you can't floor an Int
16:02:19 <adeptangel> but I didn't know why its arguments were Int
16:02:25 <EvanR> oh that's what ncf was saying, they were already helping you fix it
16:04:24 <EvanR> to see why it thought the argument was an Int, you'll have to play type checker
16:04:28 <ncf> alternatively, = (faster - slower) * lead `div` 3600
16:04:43 ncf hopes that parenthesises correctly
16:04:52 <EvanR> the checker "knows" that floor $ (fromIntegral (faster - slower)) / 3600.0 * lead is supposed to be an Int
16:05:03 <adeptangel> I think I'm using a faulty formula anyway because this isn't giving the right answer haha
16:05:34 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:05:42 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:06:10 → driib joins (~driib@vmi931078.contaboserver.net)
16:06:22 <EvanR> the argument, (fromIntegral (faster - slower)) / 3600.0 * lead, starts with an unknown type, a
16:06:34 <EvanR> it's a multiplication with lead, an Int
16:06:43 <EvanR> so the result is an Int
16:06:46 <EvanR> a = Int
16:07:15 <adeptangel> that makes sense
16:07:25 <adeptangel> I thought that the division happened first
16:07:43 <monochrom> This also contributes to a type error:
16:07:50 <EvanR> a / b * c = (a / b) * c
16:07:57 <monochrom> @type 1.0 * (undefined :: Int)
16:07:59 <lambdabot> error:
16:07:59 <lambdabot> • No instance for (Fractional Int) arising from the literal ‘1.0’
16:07:59 <lambdabot> • In the first argument of ‘(*)’, namely ‘1.0’
16:08:37 <EvanR> "happens first" is a tricky concept. You actually learned the grouping rules in school math, not the evaluation order
16:08:45 <EvanR> in haskell they are different
16:08:46 <monochrom> Or tl;dr 1.0*(Int) does not make sense.
16:09:22 <monochrom> Well in school math the two are almost identical so they're unified.
16:09:47 <EvanR> (1 / 3) * 0, the zero times happens first xD
16:10:27 <monochrom> Yeah.
16:10:36 <EvanR> when I do it
16:11:25 <monochrom> There are also people who unify "Windows" with "computer", or "Mac" with "computer", because in their simpler world it's that way.
16:12:43 <monochrom> And then there are people who completely don't know what "computer" means because they have only heard of "smart phones" and "tablets".
16:13:05 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:13:06 <adeptangel> I actually thought that the division happened first because it was on the left :S
16:13:30 → driib joins (~driib@vmi931078.contaboserver.net)
16:13:52 <EvanR> because you learn that a + b + c + d = ((a+b)+c)+d, and you "do" (evaluate) "parentheses first"
16:14:27 <adeptangel> what is the difference between grouping and evaluation order, then?
16:14:37 <EvanR> in haskell you have
16:14:50 <monochrom> > const 1 (div 1 0)
16:14:51 <lambdabot> 1
16:14:54 <EvanR> that
16:15:09 <EvanR> so you see it's not always best to do parentheses first
16:15:09 <monochrom> No error. () did not cause div 1 0 to be evaled first.
16:15:26 <monochrom> > if True then 1 else (div 1 0)
16:15:28 <lambdabot> 1
16:15:33 <monochrom> That one neither.
16:15:40 → fendor joins (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
16:15:59 → tackleton joins (~tackleton@user/tackleton)
16:17:16 <adeptangel> ah I see what you mean
16:17:49 <monochrom> Even in C. i<n && a[i]==0. Whole point being to avoid a[i] when i is bad.
16:18:10 <adeptangel> yeah
16:18:24 <adeptangel> that relies on &&'s property of short-circuiting
16:18:36 <EvanR> haskell takes && || from C and applies it to everything xD
16:18:57 <monochrom> && is the first time you realize that some operands should not be evaluated.
16:19:26 <monochrom> Just because you see "foo op bar" you do not eval both foo and bar before asking what op means.
16:19:49 <monochrom> So now "foo op bar" is just describing an expression tree.
16:20:57 <monochrom> Next level is you realize that semantics is separated from syntax. Just because you have learned the syntax doesn't mean you know what the thing means.
16:22:00 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:22:21 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:22:27 → driib joins (~driib@vmi931078.contaboserver.net)
16:23:02 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds)
16:25:25 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
16:26:54 <EvanR> when (not really) "explaining" haskell to someone, by just showing them some code and what it evaluated to, the gears turned for a while until they offered the theory of operation "what is it doing? manipulating syntax?"
16:27:40 <monochrom> Oh! But then one person's semantics is another person's syntax. >:D
16:28:39 <monochrom> I wouldn't mind "semantics = how to manipulate syntax". In fact sometimes I advocate it.
16:29:16 → bratwurst joins (~dfadsva@2604:3d09:207f:f650::a8c)
16:30:34 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:31:01 → driib joins (~driib@vmi931078.contaboserver.net)
16:32:25 → dipper joins (~dipper@117.61.125.236)
16:32:36 → titibandit joins (~titibandi@user/titibandit)
16:34:49 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
16:36:53 <chromoblob> > 1 / 0
16:36:55 <lambdabot> Infinity
16:37:05 <chromoblob> > -1 / 0
16:37:07 <lambdabot> -Infinity
16:37:59 <chromoblob> > read "Infinity" :: Float
16:38:00 <lambdabot> Infinity
16:38:08 <chromoblob> > read "+Infinity" :: Float
16:38:10 <lambdabot> *Exception: Prelude.read: no parse
16:38:42 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:39:09 → driib joins (~driib@vmi931078.contaboserver.net)
16:39:44 × bratwurst quits (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 246 seconds)
16:45:27 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:45:56 → driib joins (~driib@vmi931078.contaboserver.net)
16:46:18 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
16:46:33 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
16:46:51 × adeptangel quits (~adeptange@tilde.guru) (Quit: Lost terminal)
16:47:41 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
16:51:17 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
16:52:15 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:52:44 → driib joins (~driib@vmi931078.contaboserver.net)
16:57:46 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
16:57:55 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
16:58:46 → motherfsck joins (~motherfsc@user/motherfsck)
16:59:21 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
16:59:48 → driib joins (~driib@vmi931078.contaboserver.net)
17:02:01 → azimut joins (~azimut@gateway/tor-sasl/azimut)
17:02:30 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
17:02:53 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
17:06:55 → nick__ joins (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
17:07:32 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
17:09:22 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
17:09:49 → driib joins (~driib@vmi931078.contaboserver.net)
17:12:40 × dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
17:18:13 × ripspin quits (~chatzilla@1.145.168.220) (Remote host closed the connection)
17:18:27 → dtman34 joins (~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d)
17:19:58 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
17:22:00 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
17:22:28 → driib joins (~driib@vmi931078.contaboserver.net)
17:24:47 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
17:25:33 <monochrom> Haha TIL: In the Rust community, their equivalent of our "cabal script" (i.e., can cargo just take one Rust file and run it?) is only a recent nightly feature.
17:25:56 <monochrom> So yeah, what tooling issue?
17:26:34 × nick__ quits (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 260 seconds)
17:28:02 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:28:13 <glguy> everything's a nightly feature in rust
17:28:35 <monochrom> haha
17:29:00 <sm> I'll cc this, just out: Interview with Senior Rust Developer in 2023 https://www.youtube.com/watch?v=TGfQu0bQTKc
17:29:32 <glguy> I think the model of locking experimental features out of the stable compiler release is an interesting one, in any case
17:29:57 <monochrom> I got distracted by the blue hair "is this Sonic Hedgehog?" :)
17:30:02 <monochrom> Sorry!
17:30:15 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
17:30:36 → nick__ joins (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
17:30:37 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
17:30:41 × perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
17:31:03 → perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
17:32:00 → dmenz joins (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a)
17:32:12 <monochrom> I tend to think that keeping experimental features in experimental versions is the normal. Instead, Haskell's position of playing double role as production and research, therefore experimental features go into stable versions, is the exceptional and interesting one.
17:33:58 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
17:34:24 → driib joins (~driib@vmi931078.contaboserver.net)
17:36:36 <EvanR> interesting is such a versatile word
17:37:24 × nick__ quits (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 258 seconds)
17:38:13 × perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
17:38:29 → perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
17:38:32 <EvanR> running a single rust file like a script. interesting
17:41:29 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
17:41:55 → driib joins (~driib@vmi931078.contaboserver.net)
17:45:42 → nick__ joins (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
17:50:15 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
17:50:42 → driib joins (~driib@vmi931078.contaboserver.net)
17:52:12 × nick__ quits (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 240 seconds)
17:58:28 × perrierjouet quits (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
18:00:10 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
18:00:42 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
18:00:58 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
18:01:12 → perrierjouet joins (~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
18:01:26 → driib joins (~driib@vmi931078.contaboserver.net)
18:06:59 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
18:07:25 → driib joins (~driib@vmi931078.contaboserver.net)
18:07:36 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
18:07:43 → titiband1t joins (~titibandi@user/titibandit)
18:08:00 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
18:08:42 → nick__ joins (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1)
18:10:56 <dolio> Not Sonic. Dankey Kang.
18:12:21 <monochrom> oh heh
18:12:45 <Nosrep> so dank
18:13:14 <monochrom> Oh haha TIL the Dankey Kang meme.
18:13:26 × dtman34 quits (~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d) (Ping timeout: 258 seconds)
18:13:30 <monochrom> Well played!
18:14:00 × nick__ quits (~nick@2600:8807:9084:7800:dcc2:a785:d432:e1d1) (Ping timeout: 240 seconds)
18:15:37 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
18:16:04 → driib joins (~driib@vmi931078.contaboserver.net)
18:16:55 × titiband1t quits (~titibandi@user/titibandit) (Remote host closed the connection)
18:21:03 → dtman34 joins (~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d)
18:23:03 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
18:24:00 → alexherbo2 joins (~alexherbo@2a02-8440-2440-c475-c5b5-e1e1-b3cc-0b91.rev.sfr.net)
18:25:26 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
18:25:54 → driib joins (~driib@vmi931078.contaboserver.net)
18:30:19 → gurkenglas joins (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
18:31:38 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
18:32:41 × bjobjo quits (~bjobjo@user/bjobjo) (Quit: leaving)
18:32:45 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
18:33:15 → driib joins (~driib@vmi931078.contaboserver.net)
18:36:02 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
18:38:07 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:38:29 × alexherbo2 quits (~alexherbo@2a02-8440-2440-c475-c5b5-e1e1-b3cc-0b91.rev.sfr.net) (Remote host closed the connection)
18:39:05 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
18:39:36 → driib joins (~driib@vmi931078.contaboserver.net)
18:41:17 → bratwurst joins (~dfadsva@2604:3d09:207f:f650::a8c)
18:41:48 → alexherbo2 joins (~alexherbo@2a02-8440-2440-c475-7cbc-cfde-ddc0-de49.rev.sfr.net)
18:42:16 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
18:43:45 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:46:24 → fweht joins (uid404746@id-404746.lymington.irccloud.com)
18:47:24 → bollu joins (~bollu@159.65.151.13)
18:48:28 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
18:50:21 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
18:50:47 → driib joins (~driib@vmi931078.contaboserver.net)
18:52:42 × dtman34 quits (~dtman34@2601:447:d000:93c9:67d8:dd42:3a5c:896d) (Ping timeout: 245 seconds)
18:55:57 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
18:56:36 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:01:25 × phma quits (phma@2001:5b0:212a:a5a8:9482:144e:6eb8:2c18) (Read error: Connection reset by peer)
19:03:34 → dtman34 joins (~dtman34@2601:447:d000:93c9:94a4:4b7f:6fb4:16e2)
19:03:38 × driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
19:04:05 → driib joins (~driib@vmi931078.contaboserver.net)
19:06:27 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
19:08:07 → hisa3875 joins (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
19:09:02 × alexherbo2 quits (~alexherbo@2a02-8440-2440-c475-7cbc-cfde-ddc0-de49.rev.sfr.net) (Remote host closed the connection)
19:09:47 × hisa387 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 245 seconds)
19:09:48 hisa3875 is now known as hisa387
19:10:20 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
19:10:56 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
19:11:49 → alexherbo2 joins (~alexherbo@2a02-8440-2440-c475-a995-56ed-05f5-1e78.rev.sfr.net)
19:15:04 × trev quits (~trev@user/trev) (Quit: trev)
19:15:53 → Pickchea joins (~private@user/pickchea)
19:21:47 → Sgeo joins (~Sgeo@user/sgeo)
19:22:38 → phma joins (~phma@host-67-44-208-144.hnremote.net)
19:24:26 × gurkenglas quits (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
19:26:18 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:33:44 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
19:39:35 × connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer)
19:40:59 × ystael quits (~ystael@user/ystael) (Ping timeout: 240 seconds)
19:45:31 → gurkenglas joins (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
19:45:55 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
19:55:16 × dtman34 quits (~dtman34@2601:447:d000:93c9:94a4:4b7f:6fb4:16e2) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
19:56:47 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
19:59:21 → connrs joins (~connrs@user/connrs)
20:00:44 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
20:02:01 × fendor quits (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection)
20:02:20 → fendor joins (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
20:03:37 × motherfsck quits (~motherfsc@user/motherfsck) (Read error: Connection reset by peer)
20:05:53 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
20:07:29 → connrs joins (~connrs@user/connrs)
20:08:49 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds)
20:15:35 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
20:17:21 → michalz joins (~michalz@185.246.207.218)
20:19:47 → motherfsck joins (~motherfsc@user/motherfsck)
20:24:35 × alexherbo2 quits (~alexherbo@2a02-8440-2440-c475-a995-56ed-05f5-1e78.rev.sfr.net) (Remote host closed the connection)
20:39:46 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:41:58 <bratwurst> hi. i'm trying to single step through the slot machine example from reactive-banana. i've started ghci with 'cabal v2-repl' and then ':l doc/examples/SlotMachine.hs'
20:42:24 <bratwurst> however it says "main is not in scope". what am i doing wrong?
20:43:12 <bratwurst> i get a lot of warnings but it says "ok. 22 modules loaded"
20:43:14 → mechap joins (~mechap@user/mechap)
20:45:57 <bratwurst> ok i tried making a copy of the file named "Main.hs" and put a module header in it and loaded that. works fine now
20:47:16 <bratwurst> is there a simpler thing to do?
20:53:38 <hpc> run "ghci doc/examples/SlotMachine.hs" instead?
20:54:23 <geekosaur> betting they need to do some `cabal install --lib` for that to work
20:54:46 × phma quits (~phma@host-67-44-208-144.hnremote.net) (Read error: Connection reset by peer)
20:56:29 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
20:57:05 → phma joins (~phma@2001:5b0:211f:cfc8:7811:e29d:8e4:daa2)
21:17:34 × gurkenglas quits (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de) (Ping timeout: 250 seconds)
21:18:58 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
21:19:17 → alexherbo2 joins (~alexherbo@2a02-8440-2440-c475-1079-7fb6-9707-eeef.rev.sfr.net)
21:21:34 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
21:26:14 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
21:29:19 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
21:29:52 × troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
21:30:09 → troydm joins (~troydm@user/troydm)
21:31:15 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
21:34:26 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
21:39:12 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
21:39:52 × fendor quits (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
21:40:47 → justsomeguy joins (~justsomeg@user/justsomeguy)
21:42:43 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
21:43:30 → gurkenglas joins (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de)
21:45:46 <bratwurst> hpc: don't i need cabal to set up all the things?
21:47:02 <bratwurst> i tried it. cabal sets up load paths that ghci alone doesn't
21:47:35 <geekosaur> that was why I mentioned cabal install --lib. but honestly it's usually a way to make a mess
21:48:00 <geekosaur> but especially for older stuff whose documentation expects cabal version 1, sometimes you need it
21:48:16 <hippoid> i'm trying to use the ExifTool package. it works in my nix development env, but I don't know how to specify to cabal2nix that the cabal executable requires exiftool
21:48:44 <hippoid> this is what i have so far: https://github.com/idrisr/picoctf/tree/min-example
21:49:16 <hippoid> how do i tell nix, cabal, or cabal2nix lol how to include exiftool
21:49:42 × michalz quits (~michalz@185.246.207.218) (Remote host closed the connection)
21:49:43 <bratwurst> geekosaur: i experimented with 'cabal install --lib'. it didn't make a difference. i'm fine with the work-around i mentioned
21:54:27 × biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer)
21:54:30 <geekosaur> you probably have an environment file you need to remove now, in that case…
21:54:52 <geekosaur> ghci will tell you about it when you start it (if it doesn't, you did `--lib` wrong which may be for the best)
21:55:17 × alexherbo2 quits (~alexherbo@2a02-8440-2440-c475-1079-7fb6-9707-eeef.rev.sfr.net) (Remote host closed the connection)
21:58:43 <bratwurst> geekosaur: i see no errors so possibly i did 'cabal install --lib' wrong
21:59:03 <geekosaur> it wouldn't be an error, just a note that it's loading a package environment from a file
21:59:26 → biberu joins (~biberu@user/biberu)
22:03:38 <bratwurst> ok. i tried quitting my ghci session, running 'cabal install --lib', then running 'cabal v2-repl'. i did this twice, once loading "doc/examples/SlotMachine.hs" and once using
22:04:00 <bratwurst> 'doc/examples/Main.hs'
22:04:25 <geekosaur> did you tell it what to install?
22:06:25 <bratwurst> says it wrote an sdist, resolving dependencies, which there are none, then up to date and exit
22:07:08 <geekosaur> just `cabal install --lib` by itself won't do anything useful. I'd expect you to need to do `cabal install --lib reactive-banana` for that to be available to ghci. although if you're going to do that, I'd add `--package-env=.`
22:07:59 <geekosaur> that way you don't pollute the global environment, which is what leads to messes once you start doing that with multiple packages that may have different dependencies
22:12:51 <ddellacosta> hippoid: try adding exiftool to haskellDevTools on line 10?
22:14:37 <ddellacosta> hippoid: oh nevermind, I misunderstood
22:15:37 <hippoid> it's working fine in the dev env :>
22:15:47 <ddellacosta> isn't it always lol
22:18:01 <geekosaur> that's why modern dev is to wrap up the dev env in a docker container and ship it 😛
22:19:24 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:20:00 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
22:20:30 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
22:20:36 <hippoid> that's why they promised me if i learned nix
22:20:44 <hippoid> s/why/what
22:22:00 <chromoblob> i have an idea which feels very cool, it is that the value that didn't fit in any patterns of a case expression is equal to the exception value that gets raised (possibly with some annotation about where it happened)
22:22:43 <chromoblob> i think that this one and the undefined/error are the only two categories of exceptions
22:23:59 <EvanR> I know I've seen at least one other category of exception, but yeah that would be cool when it made sense
22:24:06 <chromoblob> you annotate by enclosing parts of code with functions that catch, change and rethrow
22:24:17 <chromoblob> EvanR: which?
22:24:38 <EvanR> there's an entire list in Control.Exception
22:24:52 <EvanR> plus all the ones not really documented, i.e. in Network
22:26:35 <EvanR> you can also create your own exception types or entire hierarchy of exception types
22:30:21 <chromoblob> yeah, AsyncException seems to be other, but it is about the choice to not model possibility of execution made by language in some cases (in cases of memory shortage or killing a thread)
22:30:37 → azimut_ joins (~azimut@gateway/tor-sasl/azimut)
22:30:40 <chromoblob> which i won't have (hopefully) in my language
22:31:25 <EvanR> are you talking about checked exceptions, advertising the interaction of functions with exceptions in a way that a type checker understands
22:31:51 → nick__ joins (~nick@2600:100d:b15a:c23a:dcf3:b3ff:ae67:3ee3)
22:31:52 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
22:31:58 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
22:34:24 × geranim0 quits (~geranim0@modemcable182.140-177-173.mc.videotron.ca) (Remote host closed the connection)
22:35:28 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
22:36:13 <chromoblob> ooh checked exceptions are cool
22:38:26 <chromoblob> EvanR: no i mean the program will always know precisely when it will and will not run out of memory
22:38:36 → dibblego joins (~dibblego@116-255-1-157.ip4.superloop.au)
22:38:36 × dibblego quits (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
22:38:36 → dibblego joins (~dibblego@haskell/developer/dibblego)
22:38:52 <EvanR> alright, I'm keeping up, I swear
22:42:30 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
22:42:49 × phma quits (~phma@2001:5b0:211f:cfc8:7811:e29d:8e4:daa2) (Read error: Connection reset by peer)
22:42:58 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
22:43:17 → phma joins (~phma@host-67-44-208-121.hnremote.net)
22:50:30 × shailangsa quits (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Remote host closed the connection)
22:50:43 → alexherbo2 joins (~alexherbo@127.244.204.77.rev.sfr.net)
22:52:53 → pavonia joins (~user@user/siracusa)
22:54:26 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
22:56:59 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds)
22:57:40 × phma quits (~phma@host-67-44-208-121.hnremote.net) (Ping timeout: 250 seconds)
22:58:44 → phma joins (phma@2001:5b0:211f:cfc8:7811:e29d:8e4:daa2)
23:00:38 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
23:01:43 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
23:04:38 × AkechiShiro quits (~licht@user/akechishiro) (Quit: WeeChat 3.8)
23:05:17 × alexherbo2 quits (~alexherbo@127.244.204.77.rev.sfr.net) (Remote host closed the connection)
23:06:52 × gurkenglas quits (~gurkengla@dynamic-046-114-179-109.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
23:07:42 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
23:10:01 <chromoblob> consumer error and producer error
23:12:38 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
23:12:55 → connrs joins (~connrs@user/connrs)
23:14:42 × Inst_ quits (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
23:19:22 × azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
23:19:48 → azimut joins (~azimut@gateway/tor-sasl/azimut)
23:21:40 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
23:26:45 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
23:29:27 <EvanR> If you're designing the type system from scratch, go ahead and make it so the only errors are type errors
23:29:30 × connrs quits (~connrs@user/connrs) (Ping timeout: 240 seconds)
23:30:20 <EvanR> at least make sure there's a good reason to aim for the runtime errors that there are
23:30:30 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds)
23:31:02 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
23:31:49 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
23:31:55 → connrs joins (~connrs@user/connrs)
23:32:07 → dibblego joins (~dibblego@116-255-1-157.ip4.superloop.au)
23:32:07 × dibblego quits (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
23:32:07 → dibblego joins (~dibblego@haskell/developer/dibblego)
23:32:27 <EvanR> if you managed to stop unforeseen out of memory errors, keep going xD
23:33:09 → shailangsa joins (~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
23:34:46 → reach joins (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
23:39:57 → mauke_ joins (~mauke@user/mauke)
23:39:58 → actioninja6 joins (~actioninj@user/actioninja)
23:41:26 × actioninja quits (~actioninj@user/actioninja) (Ping timeout: 250 seconds)
23:41:26 actioninja6 is now known as actioninja
23:42:40 → dtman34 joins (~dtman34@2601:447:d000:93c9:6f54:cf51:938d:ead5)
23:43:00 × mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds)
23:43:00 mauke_ is now known as mauke
23:43:18 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
23:43:59 × sudden quits (~cat@user/sudden) (Ping timeout: 240 seconds)
23:45:02 × reach quits (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 260 seconds)
23:45:12 → sudden joins (~cat@user/sudden)
23:45:18 × hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection)
23:46:10 <chromoblob> EvanR: "make it so the only errors are type errors" that would make most real programs uncompileable into my language, so no
23:48:26 <ski> i guess you could claim that failures (e.g. failure to get next character (file ended), failure to open file, &c.) are not errors
23:48:57 <chromoblob> the *failure* of program to handle the *failure* is an error though
23:49:39 <chromoblob> it is a consumer error
23:50:39 <chromoblob> wait, you could turn all consumer error into producer errors by adding the case _ -> undefined
23:51:13 <chromoblob> so even this distinction is blurry
23:52:30 <chromoblob> and vice versa by replacing undefined by a hidden constructor
23:52:49 <chromoblob> hmm, bottom is hidden constructor
23:54:58 <chromoblob> could have total and non-total computation in same language by having NonTotal :: * -> *
23:55:22 × nick__ quits (~nick@2600:100d:b15a:c23a:dcf3:b3ff:ae67:3ee3) (Ping timeout: 258 seconds)
23:56:41 <chromoblob> it is also a monad lol
23:57:18 → azimut joins (~azimut@gateway/tor-sasl/azimut)
23:58:01 <chromoblob> new wonders every day

All times are in UTC on 2023-07-01.