On: Idiomatic Monads in Rust

[coldtea]

>*edit: If the main point of the article is to show that 'monads are feasible in rust' shouldn't you not be assuming a bunch of language features exist that don't?8

Except if the main point is "monads are feasible in rust if we add these features".

[blattimwind → coldtea]

Rust really needs to watch out to not further increase the complexity of the basic language.

[leshow → coldtea]

> Except if the main point is "monads are feasible in rust if we add these features".

This is just showing imaginary syntax though, it doesn't speak at all to whether implementing these features is actually possible. Just because you make up some syntax doesn't mean it can actually be done (or how difficult it is etc)