Monads and GATs in nightly Rust
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 ty...