2025/03/28

Newest at the top

2025-03-28 06:36:40 +0100DigitteknohippieDigit
2025-03-28 06:35:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 06:34:13 +0100Digit(~user@user/digit) (Ping timeout: 268 seconds)
2025-03-28 06:33:37 +0100aetepe(~aetepe@188.119.58.34) (Ping timeout: 244 seconds)
2025-03-28 06:33:06 +0100 <Leary> ski: I'm not familiar with the paper. I pulled that `data Catch` out of my arse, though it may have been inspired by 'A Framework for Higher-Order Effects & Handlers'.
2025-03-28 06:32:48 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-28 06:29:09 +0100aetepe(~aetepe@188.119.58.34) aetepe
2025-03-28 06:27:19 +0100 <ski> mhm
2025-03-28 06:24:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-28 06:24:07 +0100 <EvanR> memory management, or lack there of
2025-03-28 06:23:10 +0100 <ski> you said "it does do the thing everyone thinks linear types are for"
2025-03-28 06:23:01 +0100 <ski> i dunno
2025-03-28 06:22:53 +0100 <EvanR> does it?
2025-03-28 06:22:06 +0100 <ski> EvanR : Ur has uniqueness ?
2025-03-28 06:21:56 +0100 <ski> Leary : `Either e x -> a' a la "Exceptional Syntax" ?
2025-03-28 06:19:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 06:17:39 +0100DigitteknohippieDigit
2025-03-28 06:13:33 +0100LainExperiments(~LainExper@user/LainExperiments) LainExperiments
2025-03-28 06:12:45 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-03-28 06:12:03 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-03-28 06:10:54 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-28 06:10:44 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-03-28 06:08:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 06:08:10 +0100 <haskellbridge> <thirdofmay18081814goya> thanks!
2025-03-28 06:08:08 +0100 <haskellbridge> <thirdofmay18081814goya> jackdk: ah very neat, will check this out too, have not considered any notion of laziness so far
2025-03-28 06:06:30 +0100LainExperiments4(~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
2025-03-28 06:03:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 06:00:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 05:55:35 +0100 <jackdk> thirdofmay18081814goya: Hughes does this for a game tree by generating the infinite tree and then pruning it to N levels, which works because laziness
2025-03-28 05:55:23 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2025-03-28 05:55:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 05:54:24 +0100ChanServ+v haskellbridge
2025-03-28 05:54:24 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-03-28 05:54:07 +0100Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-03-28 05:53:05 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-28 05:51:33 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-28 05:44:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-28 05:40:52 +0100DigitteknohippieDigit
2025-03-28 05:39:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 05:38:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-28 05:36:07 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-28 05:36:06 +0100LainExperiments(~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
2025-03-28 05:34:47 +0100LainExperiments4(~LainExper@user/LainExperiments) LainExperiments
2025-03-28 05:33:14 +0100aetepe(~aetepe@188.119.58.34) (Ping timeout: 260 seconds)
2025-03-28 05:31:30 +0100 <haskellbridge> <thirdofmay18081814goya> i'll check out the partiality monad, thanks!
2025-03-28 05:31:23 +0100aforemny(~aforemny@i577B139C.versanet.de) aforemny
2025-03-28 05:30:48 +0100aforemny_(~aforemny@2001:9e8:6cdb:6d00:dc2e:87c9:d5a9:a75) (Ping timeout: 245 seconds)
2025-03-28 05:30:10 +0100 <EvanR> well, now it's nearly the partiality monad
2025-03-28 05:29:55 +0100LainExperiments(~LainExper@user/LainExperiments) LainExperiments
2025-03-28 05:29:53 +0100 <Leary> `fixMaxDepth :: Int -> (a -> Either a b) -> Maybe b`?