The goal of Haskell type system is to have Rust as a library. For example: http://hackage.haskell.org/package/liboleg-2010.1.10.0/docs/System-SafeHandles.html

The goal of Haskell type system is to have Rust as a library. For example: http://hackage.haskell.org/package/liboleg-2010.1.10.0/docs/System-SafeHandles.html http://hackage.haskell.org/package/liboleg-2010.1.10.0/docs/... One can implement linear types and Rust's borrow checker in the Haskell as a DSL. That's main difference - in Haskell, you describe a system where different parts have different properties and use type checked DSLs to express them and type checker to ensure that everything goes along well.