Alex Ferguson wrote:
>
> Kevin Atkinson, replying to me...
>
> > > > - True ad-doc polymorphism
> > > > - Built in dynamic typing system
> > > > - State Encapsulation
> > > > - A solution to the abilities arising from multi parameter type classes.
> > > > - Syntactic sugar for supporting OO programming styles
...
> > I take it what you really want me to do is just shut up and leave and
> > to stop trying to change the Haskell language into something you think
> > its not.
>
> No, I want you to try and change it into something that it might
> plausibly become. Your 'partial' list would appear, from a initial
> inspection, to leave little left of either type safety or referential
> transparency.
Could explain how they could. There is a very nice paper written up on
True ad-hoc polymorphism. By a build in build in dynamic type system I
mean being able to safely recover types from an existential collection
using a runtime check. I can not see how State encapsulation will
weaken any type system. And a better solution to MPC is the one thing I
think we all agree on.
> Either you, or someone of a like agenda, have a very
> large number of technical tricks up your sleeve, or those will go
> down like the proverbial lead balloon at the next (first?) committee
> meeting on Haskell II, I would predict with a degree of confidence
> you're at liberty to not share. It's not clear from the above agenda,
> though, that it wouldn't be easier to define (C++)++ (the second ++ being
> lazy evaluation, HOFs, partial ap., GC). Which don't get me wrong,
> would be an entirely good thing, IMO.
God NO, I like C++ because it is powerful but adding more features on an
already ugly (but powerful languge) will make matters worse my making it
more powerful but so ugly with so many pitfalls that no one will want to
use it.
Haskell on the other hand is a modern language which is not based on
something which came out of the 70's (C) which got it popularity because
it was easy to implement and good for system programming as it has
virtual no type safety.
--
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/
