S.D.Mechveliani wrote:
> 
> This is on our wishes for Haskell-2.
> 
> Fergus Henderson,  Joergen Froejk Kjaersgaard  wrote on Haskell-2:
> 
> 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.
> 
> K> I agree. What I was trying to say was that most of the "core" language
> K> is as it should be. What we are talking about now are "higher level"
> K> features.
> 
>   Haskell, please, remain functional.
> 
>   Remember you are called Haskell after Curry

I'm *not' in favour of non-functional features in Haskell. Destructive
update must be referentially transparent as well as monadic IO. No
matter what we do to Haskell it must remain a pure, non-strict and type
safe functional language. We need to interface better to the
non-functional world and to generalize our language to make it even more
powerful, especially to make it easier to write extendible programs.

-- 

Joergen Froejk Kjaersgaard <[EMAIL PROTECTED]>
Systems Engineer, Informaticon
...Linux - for freedom of choice... www.linux.org


Reply via email to