2025/05/15

Newest at the top

2025-05-15 11:18:00 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-15 11:08:26 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-15 11:03:25 +0200Square2(~Square@user/square) (Ping timeout: 252 seconds)
2025-05-15 11:03:19 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-15 11:00:50 +0200Square(~Square4@user/square) Square
2025-05-15 10:58:41 +0200Square2(~Square@user/square) Square
2025-05-15 10:52:12 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-15 10:47:50 +0200hellwolfthrowing random references
2025-05-15 10:47:17 +0200 <hellwolf> Kind in a typed land
2025-05-15 10:46:09 +0200acidjnk(~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-15 10:46:02 +0200 <yahb2> <no output>
2025-05-15 10:46:02 +0200 <tomsmeding> % data Strange = Strange Type
2025-05-15 10:45:25 +0200 <hellwolf> no on expected the type-in-type inquisition.
2025-05-15 10:44:02 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-15 10:39:29 +0200 <yahb2> Maybe :: * -> *
2025-05-15 10:39:28 +0200 <tomsmeding> % :k Maybe
2025-05-15 10:37:19 +0200 <yin> is it normal that the more i experiment with haskell, the more i want the type system to have a type system?
2025-05-15 10:36:59 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-15 10:24:06 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-15 10:20:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-15 10:19:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-15 10:17:45 +0200octorez(~octorez@194.32.120.60) (Quit: Client closed)
2025-05-15 10:16:33 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-15 10:08:10 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-15 10:06:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-15 10:03:10 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-05-15 09:57:30 +0200chele(~chele@user/chele) chele
2025-05-15 09:47:45 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-15 09:47:28 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-15 09:42:17 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-05-15 09:41:18 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-05-15 09:33:23 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-15 09:33:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-15 09:32:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-15 09:29:55 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-15 09:29:51 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-15 09:27:09 +0200octorez(~octorez@194.32.120.60)
2025-05-15 09:18:47 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-15 09:17:22 +0200euleritian(~euleritia@37.4.249.248)
2025-05-15 09:16:51 +0200euleritian(~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-15 09:06:10 +0200 <EvanR> will be reading this
2025-05-15 09:05:54 +0200 <EvanR> oh nice
2025-05-15 09:04:20 +0200acidjnk(~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) acidjnk
2025-05-15 09:04:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-15 09:02:48 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-15 09:00:47 +0200 <monochrom> err this is more direct: https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#letrec
2025-05-15 09:00:42 +0200caconym7(~caconym@user/caconym) caconym
2025-05-15 09:00:29 +0200 <monochrom> My https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#rec does that. I think you can translate it to SECD form.
2025-05-15 09:00:03 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-15 08:59:38 +0200 <monochrom> Err technically not a self-reference. The patch is only good for one level of recursive call. But that's enough because the recursive call has to go through your function application code again where you can patch again for One More Turn.