3 ms·
Why wouldn't a Monad trait work? You mean you couldn't express it in Rust, even with HKTs? Or you mean that it wouldn't be useful?
by bad_user 6y ago
Why wouldn't a Monad trait work?
You mean you couldn't express it in Rust, even with HKTs? Or you mean that it wouldn't be useful?
- steveklabnik 6y agoBoth. See here for more https://twitter.com/withoutboats/status/1027702538563477505 https://twitter.com/withoutboats/status/1027702538563477505 There have been some people working on these problems, take https://varkor.github.io/blog/2018/11/10/monadic-do-notation-in-rust-part-i.html https://varkor.github.io/blog/2018/11/10/monadic-do-notation... for example. This is why I say "not clear" and not "impossible" or something. We just don't know.
- deleted 6y ago[deleted]
- Quekid5 6y agoIt's basically a research-level problem given the other constraints of Rust. (Which is fine. Trade-offs and all that.)