Re: Combining mutable objects with const references

rossberg@[EMAIL PROTECTED]
 writes:
> Non-persistence *is* dangerous - think subtle aliasing bugs. That is,
> unless you have a linear type system that prevents them. In contrast
> to your speculation, such a type system is far from trivial,
> especially in a language with first-class functions. Clean seems to be
> the only practical language that implements something along these
> lines (if you do not count Haskell's monadic approach).

Disciple has attracted a fair amount of interest.  It's a Haskell
dialect with effects typing:  http://www.haskell.org/haskellwiki/DDC