ConcurrentML: Improving on Go's concurrency model

6 points by bogdan


carlomonte

what about locality of behaviour ?

lor_louis

Ocaml5's effect system showed me that Events as values (and in general, IO as effects) are probably ready to hit the mainstream. Typed effect systems make writing real-time software easier the inversion of dependency also gets rid of function colouring in an elegant way (at the cost of monomorphisation) and in general, makes Haskell's Idea of Monadic IO easier to use and compose.

iv
Comment removed by moderator pushcx: We're not marking or discussing whether projects use LLMs. https://lobste.rs/c/u67vbw