Newest at the top
| 2024-10-22 07:44:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 07:43:30 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-10-22 07:40:45 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-10-22 07:40:30 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-10-22 07:39:18 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-22 07:34:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-22 07:33:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-22 07:33:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-22 07:31:33 +0200 | rmca | (~rob@188.120.84.50) (Ping timeout: 248 seconds) |
| 2024-10-22 07:27:44 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
| 2024-10-22 07:27:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-22 07:24:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 07:24:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-22 07:23:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-22 07:18:27 +0200 | alp | (~alp@user/alp) alp |
| 2024-10-22 07:18:27 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) (Changing host) |
| 2024-10-22 07:18:02 +0200 | alp | (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) |
| 2024-10-22 07:14:50 +0200 | <haskellbridge> | <Bowuigi> What I did try to write is an effect system based on the Van Laarhoven Free Monad. It worked but you need fancy stuff if you want a reasonable feature set (type lambdas, most importantly, and possibly row concatenation, which can't be compiled efficiently yet) |
| 2024-10-22 07:14:25 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-22 07:14:14 +0200 | hgolden_ | (~hgolden@204.152.216.122) (Ping timeout: 252 seconds) |
| 2024-10-22 07:13:49 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-22 07:13:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-22 07:11:53 +0200 | hgolden__ | (~hgolden@146.70.173.101) hgolden |
| 2024-10-22 07:11:30 +0200 | <haskellbridge> | <Bowuigi> A quick rundown of the features you need for all the stuff I mentioned would be pretty cool ngl, tho some ideas were born in this chat and have no real implementation or even proper semantics. In particular, I really think the specialization should work, but I never tried writing it down |
| 2024-10-22 07:09:11 +0200 | <haskellbridge> | <Bowuigi> Also GHC is heavily optimized to work with ADTs, naive attempts won't achieve the expected performance. The same thing happened when researchers ported Perceus (+extensions) to OCaml |
| 2024-10-22 07:07:48 +0200 | <haskellbridge> | <Bowuigi> System FC/GHC Core might be harder to adapt to though; coercions and all the fancy stuff could become problematic, no idea |
| 2024-10-22 07:06:57 +0200 | <haskellbridge> | <Bowuigi> geekosaur System F fits row types really well tho, like HM and F omega (a few papers use all three and don't complain) |
| 2024-10-22 07:06:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 07:06:00 +0200 | <haskellbridge> | <Bowuigi> Sadly not much free time so far, I have a lot of exams these weeks lol |
| 2024-10-22 07:01:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-22 07:01:09 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-10-22 07:00:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-22 06:55:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-22 06:50:46 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-22 06:48:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 06:41:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-22 06:41:13 +0200 | araujo | (~araujo@45.146.55.99) (Ping timeout: 245 seconds) |
| 2024-10-22 06:40:44 +0200 | Square2 | (~Square4@user/square) Square |
| 2024-10-22 06:38:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-22 06:36:29 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-10-22 06:33:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 06:24:01 +0200 | <Axman6> | Bowuigi: That sounds like a great blog post to me... got any free time? =) |
| 2024-10-22 06:22:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-22 06:21:43 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2024-10-22 06:17:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 06:16:24 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-22 06:07:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-22 06:02:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 06:00:34 +0200 | unlucy | (sid572875@user/unlucy) unlucy |
| 2024-10-22 05:53:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |