Features — returns 0 20 0 documentation returns.readthedocs.io - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from returns.readthedocs.io Daily Mail and Mail on Sunday newspapers.
Even though Rust and Haskell are quite different languages, they are also surprisingly alike. If you know Rust, you have a head start with Haskell, and vice versa.
Monads and GATs in nightly Rust
By Michael Snoyman, December 7, 2020
Share this
This blog post was entirely inspired by reading the GATs on Nightly! Reddit post by /u/C5H5N5O. I just decided to take things a little bit too far, and thought a blog post on it would be fun. I want to be clear from the start: I m introducing some advanced concepts in this post that rely on unstable features in Rust. I m not advocating their usage
at all. I m just exploring what may and may not be possible with GATs.
Rust shares many similarities with Haskell at the type system level. Both have types, generic types, associated types, and traits/type classes (which are basically equivalent). However, Haskell has one important additional feature that is lacking in Rust: Higher Kinded Types (HKTs). This isn t an accidental limitation in Rust, or some gap that should be filled in. It s an intentional design decision, at least as far as I know. But as a result, some things until now can t really be impl