4 ms·
F# doesn’t have type classes (yet?) so programming with monads can be quite limited. It would be interesting if F# skipped Haskell style monads and jumped stra
by spooky_deep 1y ago
F# doesn’t have type classes (yet?) so programming with monads can be quite limited.
It would be interesting if F# skipped Haskell style monads and jumped straight to algebraic effects. They seem like a better fit for F# philosophy in any case.
- exceptione 1y agoRight, they have something like computation expressions, but they are not composable. For your second point, I don't know if they could achieve that without type level programming. This is the Box of Pandora the designer of F# tried [0] not to open. ____ 0. https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 https://github.com/fsharp/fslang-suggestions/issues/243#issu...