3 ms·
> Pretty misleading to write "... I want to demonstrate that monads are feasible in Rust." if that's not actually the case When not taken out of context, I don
by reificator 8y ago
> Pretty misleading to write "... I want to demonstrate that monads are feasible in Rust." if that's not actually the case
When not taken out of context, I don't think it's misleading at all.
> You see, there’s a problem with talking about whether monads would be useful or not, and it’s this: there are a large number of design challenges to overcome to have any hope of implementing them at all — to the best of my knowledge, there currently exists no realistic (that is, practical) design for monads in Rust. In fact, there are so many obstacles that some people express doubt that it’s even possible.
> In general, I don’t think it’s worth talking about the virtue of a language feature if we think there’s no way we could actually implement it. However, I think there are arguments to be made in favour of higher-level abstractions in Rust. Thus, to facilitate discussion, I want to demonstrate that monads are feasible in Rust.