Newest at the top
| 2026-02-04 12:14:56 +0100 | <[exa]> | gentauro: I was trying to do similar some 10 years ago, the outcome is that converting any existing functional programming system to this behavior is either impossible or basically you end up with something like the compiled schemes or Rust |
| 2026-02-04 12:13:25 +0100 | gentauro | anyway, back to "old-school" coding |
| 2026-02-04 12:12:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-02-04 12:12:44 +0100 | <gentauro> | like I say, they are so many "complex and hard" topics that I really would like this to succeed, just to see the outcome :o |
| 2026-02-04 12:11:40 +0100 | <gentauro> | [exa]: but both Haskell and OCaml have garbage collectors. They seem to go the `C/C++/Rust` way -> https://speakez.tech/blog/gaining-closure/ |
| 2026-02-04 12:08:34 +0100 | <[exa]> | (or ocaml, depending on which direction you take) |
| 2026-02-04 12:06:26 +0100 | <[exa]> | doesn't it kinda become haskell by then? |
| 2026-02-04 11:59:26 +0100 | <gentauro> | … and Oracle :) |
| 2026-02-04 11:55:14 +0100 | <gentauro> | [exa]: could be. However, I would love to see F# removing all dependencies to MS, a bit like Java did with the openJDK |
| 2026-02-04 11:54:06 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-04 11:44:01 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-04 11:43:43 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2026-02-04 11:39:50 +0100 | qqq | (~qqq@185.54.21.178) |
| 2026-02-04 11:38:57 +0100 | trickard_ | trickard |
| 2026-02-04 11:37:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-04 11:32:04 +0100 | AlexNoo_ | AlexNoo |
| 2026-02-04 11:31:43 +0100 | qqq | (~qqq@185.54.21.178) (Ping timeout: 244 seconds) |
| 2026-02-04 11:25:29 +0100 | <[exa]> | gentauro: given the amount of "complete" code they have on githubs I'd say this might be a case for poc||gtfo |
| 2026-02-04 11:22:05 +0100 | <gentauro> | I mean, all the things that he mentions are "extremely hard" to do on its own. |
| 2026-02-04 11:21:32 +0100 | <gentauro> | [exa]: if you search for "// F* specification for verified memory operation" it seems that he also will add somekind of `liquid F#/F*` support? https://speakez.tech/blog/doubling-down/ |
| 2026-02-04 11:14:25 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-04 11:07:49 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:05:18 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:05:16 +0100 | AlexZenon | (~alzenon@85.174.181.199) |
| 2026-02-04 11:04:54 +0100 | AlexNoo__ | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:04:19 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:03:33 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:03:07 +0100 | AlexNoo | (~AlexNoo@178.34.150.239) (Ping timeout: 246 seconds) |
| 2026-02-04 11:01:49 +0100 | AlexZenon | (~alzenon@178.34.150.239) (Ping timeout: 264 seconds) |
| 2026-02-04 11:00:25 +0100 | AlexNoo__ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 10:59:39 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 10:51:40 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) (Ping timeout: 255 seconds) |
| 2026-02-04 10:37:02 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-04 10:32:34 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 10:32:04 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) fp |
| 2026-02-04 10:31:53 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 10:29:45 +0100 | qqq | (~qqq@185.54.21.178) |
| 2026-02-04 10:21:56 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 10:21:43 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 10:20:01 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-04 10:19:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-02-04 10:18:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-02-04 10:15:19 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-04 10:09:34 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) (Ping timeout: 246 seconds) |
| 2026-02-04 10:06:07 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 10:05:53 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 10:05:27 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) fp |
| 2026-02-04 10:02:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-04 09:57:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-04 09:53:05 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |