2024/09/06

2024-09-06 00:00:12 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds)
2024-09-06 00:00:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 00:01:14 +0200oo_miguel(~Thunderbi@78.10.207.45) (Ping timeout: 260 seconds)
2024-09-06 00:02:24 +0200athan(~athan@2600:382:3a29:3ae2:2541:beb:5d67:8d9c) (Ping timeout: 260 seconds)
2024-09-06 00:05:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-06 00:08:26 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-09-06 00:10:45 +0200Yumemi(~Yumemi@2001:bc8:47a0:1b14::1) (Quit: .)
2024-09-06 00:10:49 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 245 seconds)
2024-09-06 00:11:05 +0200Yumemi(~Yumemi@chamoin.net)
2024-09-06 00:11:58 +0200piele(~piele@tbonesteak.creativeserver.net) (Remote host closed the connection)
2024-09-06 00:13:11 +0200piele(~piele@tbonesteak.creativeserver.net)
2024-09-06 00:16:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 00:16:20 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2)
2024-09-06 00:16:20 +0200ChanServ+v yahb2
2024-09-06 00:18:02 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-06 00:18:53 +0200krei-se(~krei-se@p57af29f0.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-09-06 00:18:53 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 00:21:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-06 00:21:23 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-06 00:22:52 +0200pavonia(~user@user/siracusa)
2024-09-06 00:23:17 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 00:24:24 +0200mikess(~mikess@user/mikess) (Quit: mikess)
2024-09-06 00:31:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 00:33:28 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Remote host closed the connection)
2024-09-06 00:33:52 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2024-09-06 00:34:46 +0200christiaanb(uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-06 00:36:38 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 00:36:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-06 00:40:51 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 00:41:21 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)
2024-09-06 00:47:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 00:49:42 +0200euleritian(~euleritia@dynamic-176-006-132-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-06 00:49:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-06 00:50:46 +0200krei-se(~krei-se@p57af29f0.dip0.t-ipconnect.de)
2024-09-06 00:52:15 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 00:52:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-06 00:56:43 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 00:59:24 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-06 01:03:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 01:08:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-06 01:08:33 +0200uli-fem(~uli-fem@120.18.170.208)
2024-09-06 01:09:09 +0200uli-fem(~uli-fem@120.18.170.208) (Changing host)
2024-09-06 01:09:09 +0200uli-fem(~uli-fem@user/uli-fem)
2024-09-06 01:12:12 +0200mml(~mml@157-131-53-74.fiber.dynamic.sonic.net)
2024-09-06 01:19:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 01:20:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-06 01:23:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 01:31:05 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-09-06 01:35:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 01:38:18 +0200acidjnk_new(~acidjnk@p200300d6e72cfb86616a3f2ff56a8996.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-09-06 01:39:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 01:42:57 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 01:47:09 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 01:47:56 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-09-06 01:49:03 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-09-06 01:50:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 01:55:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 01:58:54 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-06 02:01:01 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 02:01:14 +0200uli-fem(~uli-fem@user/uli-fem) (Read error: Connection reset by peer)
2024-09-06 02:02:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-09-06 02:05:17 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 02:05:24 +0200uli-fem(~uli-fem@120.18.170.208)
2024-09-06 02:06:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 02:11:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 02:22:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 02:27:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-06 02:31:39 +0200 <Axman6> mauke: Am I missing something in that paper, in the definition of `bookseller` it just ends? Feels like there's lines missing
2024-09-06 02:33:34 +0200 <geekosaur> looks complete to me, the rest is on the first column of the next page
2024-09-06 02:34:14 +0200 <Axman6> ah, runClient is indented, right
2024-09-06 02:34:41 +0200ZharMeny(~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-06 02:35:25 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 02:38:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 02:39:51 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 02:43:24 +0200Guest30(~Guest30@77.100.154.60)
2024-09-06 02:43:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 02:43:42 +0200Guest30(~Guest30@77.100.154.60) (Client Quit)
2024-09-06 02:52:13 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 02:54:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 02:56:49 +0200vglfr(~vglfr@2601:14d:4e01:1370:71d6:bfd8:becf:12cb) (Ping timeout: 260 seconds)
2024-09-06 02:56:51 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 02:58:08 +0200vglfr(~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809)
2024-09-06 02:58:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 03:03:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-06 03:03:36 +0200uli-fem(~uli-fem@120.18.170.208) (Ping timeout: 246 seconds)
2024-09-06 03:06:40 +0200uli-fem(~uli-fem@120.18.170.208)
2024-09-06 03:07:19 +0200vglfr(~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809) (Ping timeout: 260 seconds)
2024-09-06 03:09:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 03:14:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 03:25:14 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 03:25:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 03:29:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-06 03:29:43 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 03:30:19 +0200uli-fem(~uli-fem@120.18.170.208) (Read error: Connection reset by peer)
2024-09-06 03:30:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-06 03:31:55 +0200vglfr(~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809)
2024-09-06 03:35:11 +0200CrunchyFlakes(~CrunchyFl@31.18.102.35) (Read error: Connection reset by peer)
2024-09-06 03:37:38 +0200vglfr(~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809) (Read error: Connection reset by peer)
2024-09-06 03:37:45 +0200CrunchyFlakes(~CrunchyFl@31.18.102.35)
2024-09-06 03:37:57 +0200vglfr(~vglfr@c-73-163-164-68.hsd1.md.comcast.net)
2024-09-06 03:41:04 +0200uli-fem(~uli-fem@120.18.170.208)
2024-09-06 03:41:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 03:43:15 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 03:46:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 03:47:14 +0200spenat_(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (Ping timeout: 255 seconds)
2024-09-06 03:47:51 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 03:50:00 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se)
2024-09-06 03:51:20 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 03:55:47 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 03:57:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 04:02:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 04:02:37 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-06 04:02:57 +0200Mateon1(~Thunderbi@user/meow/Mateon1) (Ping timeout: 248 seconds)
2024-09-06 04:02:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 04:03:23 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-06 04:03:42 +0200petrichor(~znc-user@user/petrichor)
2024-09-06 04:07:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-06 04:08:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-06 04:18:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 04:21:48 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 04:23:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 04:26:23 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 04:32:25 +0200uli-fem(~uli-fem@120.18.170.208) (Changing host)
2024-09-06 04:32:25 +0200uli-fem(~uli-fem@user/uli-fem)
2024-09-06 04:32:48 +0200Mateon1(~Thunderbi@user/meow/Mateon1)
2024-09-06 04:34:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 04:36:27 +0200uli-fem(~uli-fem@user/uli-fem) (Read error: Connection reset by peer)
2024-09-06 04:39:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-06 04:39:52 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 04:39:53 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (Read error: Connection reset by peer)
2024-09-06 04:44:26 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Remote host closed the connection)
2024-09-06 04:45:07 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se)
2024-09-06 04:45:33 +0200SethTisue(sid14912@ilkley.irccloud.com) (Ping timeout: 252 seconds)
2024-09-06 04:45:46 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com)
2024-09-06 04:45:55 +0200integral(sid296274@user/integral) (Ping timeout: 252 seconds)
2024-09-06 04:45:57 +0200uli-fem(~uli-fem@120.18.170.208)
2024-09-06 04:46:04 +0200tnks(sid412124@helmsley.irccloud.com) (Read error: Connection reset by peer)
2024-09-06 04:46:15 +0200tnks(sid412124@id-412124.helmsley.irccloud.com)
2024-09-06 04:46:21 +0200integral(sid296274@user/integral)
2024-09-06 04:50:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 04:53:29 +0200jcarpenter2(~lol@2603:3016:1e01:b960:4840:2ad9:7736:e7f5) (Ping timeout: 260 seconds)
2024-09-06 04:53:33 +0200td_(~td@i53870939.versanet.de) (Ping timeout: 276 seconds)
2024-09-06 04:54:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 04:55:00 +0200td_(~td@i53870938.versanet.de)
2024-09-06 04:55:28 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 04:59:49 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 05:06:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 05:10:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-06 05:13:48 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-09-06 05:13:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-09-06 05:16:08 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-09-06 05:21:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 05:24:58 +0200Mateon1(~Thunderbi@user/meow/Mateon1) (Ping timeout: 245 seconds)
2024-09-06 05:26:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-06 05:28:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-06 05:29:07 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 05:33:49 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 05:37:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 05:38:32 +0200aforemny(~aforemny@2001:9e8:6cfb:d00:89c3:59d4:5ce3:af24)
2024-09-06 05:38:50 +0200uli-fem(~uli-fem@120.18.170.208) (Read error: Connection reset by peer)
2024-09-06 05:39:33 +0200aforemny_(~aforemny@i59F516F7.versanet.de) (Ping timeout: 248 seconds)
2024-09-06 05:42:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 05:44:20 +0200uli-fem(~uli-fem@120.18.170.208)
2024-09-06 05:44:30 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 05:46:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-09-06 05:49:07 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 05:52:17 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 05:53:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 05:56:29 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 05:56:35 +0200Mateon1(~Thunderbi@user/meow/Mateon1)
2024-09-06 05:58:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 06:09:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 06:09:54 +0200uli-fem(~uli-fem@120.18.170.208) (Ping timeout: 260 seconds)
2024-09-06 06:14:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 06:19:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 06:25:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 06:26:13 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 06:27:09 +0200 <haskellbridge> <Bowuigi> thirdofmay18081814goya the magical "|" you were looking for before is called "union type" or "untagged union type". I wouldn't recommend using it and even less inferring it as it is one of the main culprits of TypeScript not behaving that well on type inference
2024-09-06 06:29:38 +0200 <haskellbridge> <Bowuigi> For example, "if x then true else 2" is of type "Bool | Nat" instead of generating an error. The eliminator is in this case "typeof", which is type reflection but at runtime, needing to track more types at runtime rather than just typing a bit more for extra safety
2024-09-06 06:30:29 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 06:30:49 +0200 <haskellbridge> <Bowuigi> More generally, union types are variants on the trivial row theory, that is, the one without labels/tags
2024-09-06 06:35:06 +0200 <haskellbridge> <Bowuigi> They also correspond to "v.any" ("v" is any variant, "any" is the "bottom label") in Leijen's 2004 type system, tho that one is static and explicit so either the context desambiguates (by type) or you do via a type application
2024-09-06 06:39:52 +0200 <haskellbridge> <Bowuigi> And re:typeclasses, the models that I know about are either THIH's, Agda/Gluon's (records marked as instances and mechanisms for autoinferring applications of those) and intersection types via records and "any". Technically you can also just pass the dictionary yourself, which is possible even in the lambda calculus
2024-09-06 06:42:16 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 06:46:55 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 06:47:14 +0200youthlic(~Thunderbi@user/youthlic)
2024-09-06 06:47:33 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-06 06:53:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 06:56:16 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 06:57:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-06 07:00:31 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 07:01:03 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 07:03:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 07:05:37 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 07:07:51 +0200uli-fem(~uli-fem@120.18.170.208)
2024-09-06 07:08:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 07:09:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 07:12:19 +0200uli-fem(~uli-fem@120.18.170.208) (Ping timeout: 260 seconds)
2024-09-06 07:12:26 +0200misterfish(~misterfis@84.53.85.146)
2024-09-06 07:12:29 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 260 seconds)
2024-09-06 07:14:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-06 07:15:39 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2024-09-06 07:20:25 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-06 07:20:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 07:25:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 07:25:58 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 07:31:07 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 07:32:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2024-09-06 07:33:02 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-09-06 07:33:43 +0200euleritian(~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de)
2024-09-06 07:36:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 07:38:55 +0200euphores(~SASL_euph@user/euphores)
2024-09-06 07:40:08 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-09-06 07:43:12 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 276 seconds)
2024-09-06 07:44:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 07:46:31 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 07:47:50 +0200poscat0x04(~poscat@user/poscat)
2024-09-06 07:48:29 +0200poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2024-09-06 07:48:42 +0200acidjnk_new(~acidjnk@p200300d6e72cfb18d599a27a2741de4e.dip0.t-ipconnect.de)
2024-09-06 07:50:57 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 07:55:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 08:00:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-06 08:01:48 +0200michalz(~michalz@185.246.207.215)
2024-09-06 08:08:06 +0200vlad_(~vlad@102.217.157.32) (Ping timeout: 246 seconds)
2024-09-06 08:11:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 08:16:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 08:16:51 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 08:20:44 +0200meejah(~meejah@rutas.meejah.ca) (Ping timeout: 260 seconds)
2024-09-06 08:20:53 +0200meejah(~meejah@rutas.meejah.ca)
2024-09-06 08:21:33 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 08:21:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 08:25:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-06 08:26:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 08:33:37 +0200ouroboros(~ouroboros@user/ouroboros) (Quit: Bye.)
2024-09-06 08:33:37 +0200acro(~acro@user/acro) (Quit: Bye.)
2024-09-06 08:34:16 +0200acro(~acro@user/acro)
2024-09-06 08:36:06 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-09-06 08:36:47 +0200ouroboros(~ouroboros@user/ouroboros)
2024-09-06 08:37:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 08:38:39 +0200igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-09-06 08:41:02 +0200igemnace(~igemnace@user/igemnace)
2024-09-06 08:41:36 +0200rosco(~rosco@175.136.158.234)
2024-09-06 08:42:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-06 08:47:41 +0200misterfish(~misterfis@87.215.131.102)
2024-09-06 08:50:03 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 08:53:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 08:54:25 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 08:55:12 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu)
2024-09-06 08:56:09 +0200Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2024-09-06 08:58:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 08:59:31 +0200EarlPitts(~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-09-06 09:01:48 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-09-06 09:03:42 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-09-06 09:13:23 +0200EarlPitts(~EarlPitts@2E8B7DD6.catv.pool.telekom.hu)
2024-09-06 09:22:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 09:27:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-06 09:34:08 +0200euleritian(~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-06 09:34:33 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-06 09:37:44 +0200ash3en(~Thunderbi@2a01:c23:8d79:dc00:11ac:6af0:ae6:f44d)
2024-09-06 09:38:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 09:39:26 +0200 <tomsmeding> fr33domlover int-e: it is indeed a long-standing open problem https://gitlab.haskell.org/ghc/ghc/-/issues/25238#note_582181
2024-09-06 09:40:06 +0200 <tomsmeding> my summary of the linked issue (after skimming it): the current implementation has problems, but every solution proposed so far is either very hard to implement or suffers from the same or other problems -- or both
2024-09-06 09:40:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-06 09:43:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-06 09:50:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-06 09:52:38 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-09-06 09:53:28 +0200euleritian(~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de)
2024-09-06 09:57:17 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-09-06 09:59:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-06 10:02:36 +0200alexherbo2(~alexherbo@2a02-8440-3411-c6a7-3dd6-8d96-1a80-04a4.rev.sfr.net)
2024-09-06 10:02:46 +0200alexherbo2(~alexherbo@2a02-8440-3411-c6a7-3dd6-8d96-1a80-04a4.rev.sfr.net) (Remote host closed the connection)
2024-09-06 10:03:07 +0200alexherbo2(~alexherbo@2a02-8440-3411-c6a7-3dd6-8d96-1a80-04a4.rev.sfr.net)
2024-09-06 10:08:47 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-09-06 10:16:14 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds)
2024-09-06 10:19:42 +0200uli-fem(~lambdapin@203.221.238.251)
2024-09-06 10:19:46 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-09-06 10:19:50 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-06 10:20:01 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-09-06 10:20:56 +0200oo_miguel(~Thunderbi@78.10.207.45)
2024-09-06 10:23:26 +0200ash3en(~Thunderbi@2a01:c23:8d79:dc00:11ac:6af0:ae6:f44d) (Quit: ash3en)
2024-09-06 10:26:35 +0200__monty__(~toonn@user/toonn)
2024-09-06 10:29:45 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-06 10:29:59 +0200ash3en(~Thunderbi@146.70.124.222)
2024-09-06 10:33:48 +0200sawilagar(~sawilagar@user/sawilagar)
2024-09-06 10:36:01 +0200Smiles(uid551636@id-551636.lymington.irccloud.com)
2024-09-06 10:46:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer)
2024-09-06 10:46:14 +0200comerijn(~merijn@77.242.116.146)
2024-09-06 10:55:55 +0200euleritian(~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-09-06 10:59:42 +0200ubert(~Thunderbi@178.165.164.61.wireless.dyn.drei.com)
2024-09-06 11:01:09 +0200CiaoSen(~Jura@2a05:5800:458:ff00:ca4b:d6ff:fec1:99da)