Great!

Posted May 20, 2015 13:06 UTC (Wed) by ibukanov (subscriber, #3942)
In reply to: Great! by paulj
Parent article: Rust 1.0 released

> E.g., Monads?

Yes, ideally Monads as implemented if not as in Koka [1] but at least as in PureScript [2]. Haskell typesystem is not powerful enough to express many useful idioms that are required by a system language or language where one need to interface a lot with code in other languages. But even just supporting kind-2 types and some syntax sugar should help Rust a lot.

[1] - http://research.microsoft.com/en-us/projects/koka/
[2] - http://www.purescript.org/