u/theindigamerin r/ProgrammingLanguages • Recommends
On “Could a language have automatic future/promise/lazifying of expressions?”
Start watching this presentation by Michael Snoyman around the 3:45 mark.
link to this video
`do` notation makes life much simpler.
Lwt's futures (OCaml) can also be made to made to have similar syntax using syntax extensions.
I think that the key idea is the monadic structure of futures and being able to have special syntax for a chain of bind operations (possibly mixed with normal assignments), not the support for lazy evaluation (OCaml has strict evaluation by default).