[Haskell-cafe] Re: better way to do this?

[Ben Franksen]

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