Newest at the top
| 2026-04-09 19:16:13 +0000 | <EvanR> | that might explain a lot of confusing expositions I've seen |
| 2026-04-09 19:15:25 +0000 | <EvanR> | you claim call by value is synonymous with eager evaluation |
| 2026-04-09 19:14:53 +0000 | <tomsmeding> | call by value is |
| 2026-04-09 19:14:53 +0000 | <monochrom> | call by value and call by name are. |
| 2026-04-09 19:14:33 +0000 | <EvanR> | are any of these evaluation strategies other than call by need |
| 2026-04-09 19:13:46 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Remote host closed the connection) |
| 2026-04-09 19:13:42 +0000 | acarrico | (~acarrico@2606:1440:605:2500:48b4:afd0:aa39:9b2f) |
| 2026-04-09 19:13:29 +0000 | <tomsmeding> | (I also still have to properly read about CBPV) |
| 2026-04-09 19:13:17 +0000 | <tomsmeding> | isn't CBPV not really an evaluation strategy but more of an IR design |
| 2026-04-09 19:09:00 +0000 | <monochrom> | Yeah the newest one is push-value. I still have to read about it. |
| 2026-04-09 19:08:24 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-04-09 19:08:17 +0000 | <EvanR> | call by value, call by reference, call by name, call by need, call by push-value (??) |
| 2026-04-09 19:07:31 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 19:07:12 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-04-09 19:06:55 +0000 | uli-fem | (~uli-fem@115.128.112.118) (Ping timeout: 264 seconds) |
| 2026-04-09 19:06:40 +0000 | Guest62 | (~Guest62@p200300ca8f313400f8e75d167df70e33.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2026-04-09 19:06:01 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-09 19:05:48 +0000 | <monochrom> | Source: https://youtu.be/SVYBJlCmRxE?si=xnWBiK-4i8tNUkbC (Computerphile channel) |
| 2026-04-09 19:02:29 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 244 seconds) |
| 2026-04-09 19:02:23 +0000 | uli-fem | (~uli-fem@115.128.112.118) |
| 2026-04-09 18:58:13 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 18:56:28 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Remote host closed the connection) |
| 2026-04-09 18:53:53 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 18:53:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-09 18:53:33 +0000 | uli-fem | (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds) |
| 2026-04-09 18:53:30 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 268 seconds) |
| 2026-04-09 18:52:53 +0000 | <tomsmeding> | lol |
| 2026-04-09 18:51:47 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-09 18:49:50 +0000 | <EvanR> | lol |
| 2026-04-09 18:49:47 +0000 | Enrico63 | (~Enrico63@host-212-171-80-94.retail.telecomitalia.it) (Ping timeout: 245 seconds) |
| 2026-04-09 18:49:14 +0000 | uli-fem | (~uli-fem@115.128.112.118) |
| 2026-04-09 18:48:50 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 18:47:28 +0000 | <monochrom> | err s/Nickle/Nickel/ |
| 2026-04-09 18:46:53 +0000 | <monochrom> | It may not be a true story but here it goes. "Europe prefers call by name, so they call me <Swiss pronounciation>. America prefers call by value, so they call me Nickle's Worth." |
| 2026-04-09 18:46:28 +0000 | <gentauro> | whats the name of this operatos -> `>:)`? I think I have seen it in C# :o |
| 2026-04-09 18:44:57 +0000 | <monochrom> | Did you hear of the Niklaus Wirth joke? :) |
| 2026-04-09 18:44:11 +0000 | <monochrom> | They have the common framework of "call by ____" >:) |
| 2026-04-09 18:43:13 +0000 | <EvanR> | call by whatever was always annoying to me for how they don't cleanly distinguish themselves with respect to each other. They were invented at different points in history without an overarching framework. But now they have some kind of old timey feel. Quaint, pastoral xD |
| 2026-04-09 18:42:21 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 246 seconds) |
| 2026-04-09 18:42:14 +0000 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 244 seconds) |
| 2026-04-09 18:38:51 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 246 seconds) |
| 2026-04-09 18:38:24 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-04-09 18:38:03 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 18:37:10 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-04-09 18:35:24 +0000 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 18:34:40 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 18:33:45 +0000 | uli-fem | (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds) |
| 2026-04-09 18:32:54 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 246 seconds) |
| 2026-04-09 18:30:21 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 244 seconds) |
| 2026-04-09 18:29:26 +0000 | uli-fem | (~uli-fem@115.128.112.118) |