Newest at the top
| 2025-05-15 10:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 10:47:50 +0200 | hellwolf | throwing random references |
| 2025-05-15 10:47:17 +0200 | <hellwolf> | Kind in a typed land |
| 2025-05-15 10:46:09 +0200 | acidjnk | (~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 +0200 | gmg | (~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 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-15 10:24:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 10:20:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 10:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 10:17:45 +0200 | octorez | (~octorez@194.32.120.60) (Quit: Client closed) |
| 2025-05-15 10:16:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 10:08:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-15 10:06:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 10:03:10 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-15 09:57:30 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-15 09:47:45 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-15 09:47:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-15 09:42:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-15 09:41:18 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-15 09:33:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 09:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 09:32:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 09:29:55 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 09:29:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 09:27:09 +0200 | octorez | (~octorez@194.32.120.60) |
| 2025-05-15 09:18:47 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-15 09:17:22 +0200 | euleritian | (~euleritia@37.4.249.248) |
| 2025-05-15 09:16:51 +0200 | euleritian | (~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 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 09:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 09:02:48 +0200 | Frostillicus | (~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 +0200 | caconym7 | (~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 +0200 | caconym7 | (~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. |
| 2025-05-15 08:58:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:54:17 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-15 08:52:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-15 08:51:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:51:32 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-15 08:49:39 +0200 | <monochrom> | EvanR: I know of one more way to support recursive functions. You add one more kind of closures reserved for recursive functions; its environment does not have the self-reference. You add one more case of function application for that new kind of closures, and this is where you patch the environment to add the self-reference. |