Newest at the top
| 2025-05-12 05:28:34 +0200 | <EvanR> | or else evaluating fix f necessarily freezes |
| 2025-05-12 05:28:03 +0200 | <EvanR> | true or false, to have a working fixed point construct for recursion, you need some kind of lazy evaluation |
| 2025-05-12 05:27:43 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-12 05:27:18 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-12 05:22:59 +0200 | <monochrom> | :) |
| 2025-05-12 05:18:32 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-12 05:02:25 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-05-12 05:01:10 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) Taneb |
| 2025-05-12 05:00:54 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-05-12 05:00:00 +0200 | Taneb0 | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2025-05-12 04:56:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-12 04:40:15 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-05-12 04:37:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-12 04:20:45 +0200 | td_ | (~td@i53870921.versanet.de) td_ |
| 2025-05-12 04:19:23 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-12 04:19:18 +0200 | td_ | (~td@i53870935.versanet.de) (Ping timeout: 272 seconds) |
| 2025-05-12 04:16:37 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-12 04:16:37 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-12 04:16:37 +0200 | tavare | (~tavare@150.129.88.189) tavare |
| 2025-05-12 04:13:24 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-12 04:13:00 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-12 04:07:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-12 03:56:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-12 03:54:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-12 03:53:23 +0200 | <EvanR> | I'm wrong, since the environment would have first class functions with their own environment in a closure |
| 2025-05-12 03:50:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-12 03:49:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-12 03:49:14 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-05-12 03:48:44 +0200 | hughjfch1 | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-05-12 03:38:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-12 03:11:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:42e0:bce1:22f1:2695) (Ping timeout: 276 seconds) |
| 2025-05-12 03:06:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-12 03:05:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-12 03:01:11 +0200 | siliconcritters | (~siliconcr@syn-068-188-168-151.res.spectrum.com) (Quit: siliconcritters) |
| 2025-05-12 02:45:55 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-12 02:42:05 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-05-12 02:39:31 +0200 | <EvanR> | so ghc must do none of the above |
| 2025-05-12 02:38:31 +0200 | <EvanR> | it seems to me that environment is real solution only if stuff in the environment doesn't have free variables, like in eager evaluation |
| 2025-05-12 02:35:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:42e0:bce1:22f1:2695) |
| 2025-05-12 02:34:34 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-12 02:32:29 +0200 | <monochrom> | I think Scheme hygienic macros use the alpha-convert way. |
| 2025-05-12 02:32:23 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-12 02:31:57 +0200 | <monochrom> | The pros do one of. They do one of: numbering, environment, alpha-convert lambdas to fresh vars before substitute (e.g., rewrite (\x y -> x + y) to (\uuid1934 uuid3141 -> uuid1934 + uuid3141)) |
| 2025-05-12 02:28:55 +0200 | <monochrom> | The mistake happens if you really do what you tell beginners: substitute. :) |
| 2025-05-12 02:27:33 +0200 | <monochrom> | Environment is also a way to be invulnerable. |
| 2025-05-12 02:21:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-12 02:21:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d755:12f8:638d:5cf9) (Client Quit) |
| 2025-05-12 02:18:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d755:12f8:638d:5cf9) |
| 2025-05-12 02:18:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9d68:c704:b1b0:2e99) (Ping timeout: 260 seconds) |
| 2025-05-12 02:09:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |