On 17-Feb-1999, S.D.Mechveliani <[EMAIL PROTECTED]> wrote:
> This is on our wishes for Haskell-2.
>
> Fergus Henderson:
>
> H> I think there's lots of other things lacking too, including the ability
> H> to do destructive update (as with the Hugs/ghc ST module, for example),
> H> optional dynamic typing, existential types, unsafePerformIO, a portable
> H> foreign language interface, etc.
...
> Haskell, please, remain functional.
...
> How can people mix in one list `existential types' and
> `destructive update...' ?
I was talking about functional (i.e. referentially transparent) forms
of destructive update, i.e. destructive update at the implementation
level, not at the language semantics level. See the Hugs/ghc
documentation and/or the paper "Lazy Functional State Threads"
<http://acm.org/pubs/citations/proceedings/pldi/178243/p24-launchbury/>
for details.
--
Fergus Henderson <[EMAIL PROTECTED]> | "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh> | but source code lives forever"
PGP: finger [EMAIL PROTECTED] | -- leaked Microsoft memo.
