With our combined efforts we can keep this site #rustpage
I really thought this post was going to go down the monadic route where all resource allocation is expressed in types. Has such a thing been explored in Rust? On the surface it feels like the type system is powerful enough to express it
Rust can't express a generic monad type, so doing so is a bit more difficult than it would be in, say, Haskell.
