Newest at the top
| 2026-04-14 14:38:05 +0000 | <janus> | there is a hackathon in cdmx called 'WeirdUI' and typescript and react are outlawed. because they are too normal |
| 2026-04-14 14:36:37 +0000 | <janus> | then you end up with these massive tooling issues like ghc ecosystem has, where you have to make sure that hls, c library and ghc all line up... |
| 2026-04-14 14:35:28 +0000 | <janus> | by iterating super fast and somehow tying the language to new runtime versions, it's like the whole advantage of ' owning the platform' disappears |
| 2026-04-14 14:34:12 +0000 | <janus> | why do i need .NET core? I really don't get it. |
| 2026-04-14 14:33:39 +0000 | <janus> | but that is like the best thing about microsoft! the backwards compat! |
| 2026-04-14 14:33:27 +0000 | <janus> | but every time i mention .NET framework to .NET people they look at me like i am crazy |
| 2026-04-14 14:33:09 +0000 | <janus> | gentauro: the most appealing thing to me about F# is that you could make a compiled program for .NET Framework and have it run out of the box on the Windows versions of the last , i dunno, 25 years? |
| 2026-04-14 14:33:05 +0000 | <humasect> | oh..caml? |
| 2026-04-14 14:30:26 +0000 | <comerijn> | That still sounds wrong, but less so :p |
| 2026-04-14 14:30:19 +0000 | <comerijn> | i.e. "code quotations" (of both typed and untyped lambda calculus) |
| 2026-04-14 14:30:03 +0000 | <comerijn> | __monty__: I think you're skipping the pre-parentheses |
| 2026-04-14 14:29:37 +0000 | tromp | (~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-14 14:24:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-14 14:24:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-14 14:22:49 +0000 | <lortabac> | TIL Alonzo Church invented F# in 1936 |
| 2026-04-14 14:18:39 +0000 | <__monty__> | Typed and untyped lambda calculus came out of F#? That doesn't sound right. |
| 2026-04-14 14:16:06 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-04-14 14:15:56 +0000 | misterfish | (~misterfis@31.161.39.137) (Client Quit) |
| 2026-04-14 14:15:16 +0000 | misterfish | (~misterfis@31.161.39.137) misterfish |
| 2026-04-14 14:14:11 +0000 | <janus> | this world is too small :O |
| 2026-04-14 14:07:20 +0000 | <[exa]> | (btw lol, I see the blog of tomas :D he's sitting literally in the office next to mine :D :D ) |
| 2026-04-14 14:06:55 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 264 seconds) |
| 2026-04-14 14:06:53 +0000 | <[exa]> | (me included tbh) |
| 2026-04-14 14:06:45 +0000 | <[exa]> | yeah some folks are actually a little sensitive to the whole .NET blob |
| 2026-04-14 14:02:25 +0000 | <gentauro> | F# gets a lot of "bad publi" (cos of MS ownership) but it's actually a pretty good language |
| 2026-04-14 14:02:02 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-14 14:01:10 +0000 | <gentauro> | oh yeah, and the type-providers (they was afterwards mimiced by Idris, David Christensen) |
| 2026-04-14 14:00:41 +0000 | <gentauro> | some good stuff has actually came out of F# (missing module functors though): computation expressions (monadic syntax), code quoatations (typed and untyped lambda calculus), units of measure (tag primitive types). He also had a brilliant collaborator that made some novel and groundbreaking research: https://tomasp.net/coeffects/ |
| 2026-04-14 13:58:38 +0000 | <[exa]> | oh cool then |
| 2026-04-14 13:58:32 +0000 | <gentauro> | yeah |
| 2026-04-14 13:58:26 +0000 | <[exa]> | the rest is F# right? |
| 2026-04-14 13:58:01 +0000 | <gentauro> | it seems like it didn't went their way, so they ended up portin OCaml to .NET and, the rest is history :) |
| 2026-04-14 13:57:58 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-04-14 13:57:37 +0000 | <gentauro> | [exa]: Don Syme was hired by MS to do his PhD thesis on how to "port" Haskell to the .NET platform working together with Cambridge University |
| 2026-04-14 13:51:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-14 13:46:50 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-14 13:46:36 +0000 | <[exa]> | (who's don syme) |
| 2026-04-14 13:46:14 +0000 | <[exa]> | yeah the count of the green threads isn't a big issue, the resource exhaustion that happens if each of the threads starts nibbling is the issue |
| 2026-04-14 13:45:17 +0000 | <gentauro> | and lets not talk Erlang/Elixir |
| 2026-04-14 13:45:04 +0000 | <gentauro> | but he showed how F# easily could handle a mil green-threads |
| 2026-04-14 13:44:44 +0000 | <gentauro> | [exa]: I recall Don Syme had a MS blog post (his blog is gone since he was "moved" to GitHub Next) |
| 2026-04-14 13:43:20 +0000 | <[exa]> | like, can the usual kernel keep 1M TCP connections open? |
| 2026-04-14 13:41:04 +0000 | xff0x | (~xff0x@2405:6580:b080:900:763c:362b:b9c4:6a52) |
| 2026-04-14 13:40:16 +0000 | <gentauro> | thx :) |
| 2026-04-14 13:37:58 +0000 | xff0x | (~xff0x@2405:6580:b080:900:763c:362b:b9c4:6a52) (Ping timeout: 268 seconds) |
| 2026-04-14 13:35:03 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-14 13:34:41 +0000 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2026-04-14 13:32:11 +0000 | <[exa]> | gentauro: 1M is possible for sure, even more I'd say; the main concern is that at that point I don't really see an engineeringly correct use-case for that |
| 2026-04-14 13:25:32 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-14 13:25:27 +0000 | Digit | (~user@user/digit) Digit |