Eugene Kirpichov wrote: > Or you can use an effect system (however that doesn't give you the > opportunity of overriding IO functions, but I think that providing > such an opportunity with the means you suggest (splitting IO into many > sub-monads) is not going to be usable in the large scale) > > By the way, I am surprised that there seems to not exist any > non-purely-academic language at all that supports effect systems! > (except for Java's checked exceptions being a poor analogue). The only > language with an effect system *and* a compiler that I know of is DDC, > but it seems to be purely experimental.
What about ATS (http://www.ats-lang.org/)? Ben _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe