Newest at the top
2024-10-22 08:33:47 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
2024-10-22 08:33:04 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
2024-10-22 08:29:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-22 08:27:28 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 245 seconds) |
2024-10-22 08:24:37 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-22 08:20:59 +0200 | nek0 | (~nek0@user/nek0) nek0 |
2024-10-22 08:07:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-22 08:02:48 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
2024-10-22 08:02:12 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2024-10-22 07:59:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-22 07:57:00 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
2024-10-22 07:54:50 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-22 07:51:56 +0200 | euleritian | (~euleritia@dynamic-176-006-140-151.176.6.pool.telefonica.de) |
2024-10-22 07:51:46 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:5d8:3261:6875:6bbe) (Quit: WeeChat 4.4.2) |
2024-10-22 07:51:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2024-10-22 07:51:05 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-22 07:49:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
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) |