On 06-Oct-1999, Frank A. Christoph <[EMAIL PROTECTED]> wrote:
> Kevin Atkinson wrote:
> > Ok here is my partial list.
> >
> > - 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
>
> What is the significance of dynamic typing being "built in"?
Well, instances of `Typeable' should be derived automatically by the compiler.
Furthermore that should be the _only_ way of creating instances of `Typeable';
the current approach in Hugs/ghc is unsafe in that if the user creates an
invalid instance of `Typeable' then the result may be a crash at runtime.
(ObMercuryPlug: Note that Mercury doesn't have those problems ;-)
Furthermore there should be support for dynamic type class casts.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
