Re:Async and Await in Rust: a full proposal
by steveklabnik on Sunday July 15, 2018 @08:37PM
(#17537932)
Note also that HKT and do notation are their own separate things; you can have HKT without do notation. That's all HKT stuff, not do notation stuff.
[ Parent
| on HN ]
If you have HKT then isn't do notation a piece of cake? It just desugars into monadic bind and return operators. Or is there something specific to rust that would mess with that?
Re:Async and Await in Rust: a full proposal
by pcwalton on Sunday July 15, 2018 @08:55PM
(#17538003)
Imperative control flow, for one. Think about how you would implement "break" that can break out of multiple nested loops in do-notation…
Re:Async and Await in Rust: a full proposal
by steveklabnik on Sunday July 15, 2018 @08:56PM
(#17538006)
Please see my comment here: https://news.ycombinator.com/item?id=17537878