3 ms·
Currently, it's impossible to introduce a generic `Monad` trait (the same with `Functor`) because we're missing Higher-kinded types. Once Rust has such a type s
by TheHydroImpulse 12y ago
Currently, it's impossible to introduce a generic `Monad` trait (the same with `Functor`) because we're missing Higher-kinded types. Once Rust has such a type system extension, it'll be possible to introduce some monadic sugar.
- pcwalton 12y agoNote that you could have monadic sugar via macros today; it'd just be duck-typed, not strongly-typed.