On Wed, Apr 3, 2013 at 5:26 PM, Dean Thompson <deansherthomp...@gmail.com>wrote:
> The Rust team refers to this as an "effect system". They originally had > one, but that one proved unworkable and was deleted. They continue to > regard it as desirable but difficult to get right, and as a potential > future. Here's some > history<http://irclog.gr/#search/irc.mozilla.org/rust/%22effect%20system%22>. > They would certainly welcome serious proposals or demos, although almost > certainly continuing to hold it out for post-1.0. They would think in terms > of first researching the most successful effect systems in other languages. > > Dean > Disciple is a strict-by-default Haskell dialect with region typing, mutability in the type system, and effect typing, so maybe it could be one place to look. http://disciple.ouroborus.net/ -- Your ship was destroyed in a monadic eruption.
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev