Re:From TypeScript to ReScript
by sideeffffect on Thursday January 13, 2022 @08:41PM
(#29929581)
F#'s "Computation expressions" are the same sort of thing as the mentioned Haskell's "do notation" and Scala's "for comprehension". They're just thin syntactic sugar for "callbacks" -- chaining maps/binds/flatmaps/etc. Even though F#'s "Computation expressions" are very cleverly thought out and more general.
https://docs.microsoft.com/en-us/dotnet/fsharp/language-refe...
Async/await for example in C# or Rust is different. This translates the program into transition automata/coroutines.
Don Syme, creator of F#, had a nice thread on the roots of async/await, though it doesn't mention do-notation: https://mobile.twitter.com/dsymetweets/status/14074008179179...
I'm still annoyed that most other languages stole async/await... but not the more general monadic/do notation. Instead we get elvis operators, chaining functions, etc.