Great!
Great!
Posted May 20, 2015 11:58 UTC (Wed) by paulj (subscriber, #341)In reply to: Great! by ibukanov
Parent article: Rust 1.0 released
Ideally this should be expressed by types.
E.g., Monads? Isn't this what they were invented for?
Posted May 20, 2015 13:06 UTC (Wed)
by ibukanov (subscriber, #3942)
[Link]
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/
Great!
[2] - http://www.purescript.org/