I assumed it was not sufficient because of the level of advocacy for
dynamic types in the earlier discussion.

To me, if it is in both hugs and GHC, it is, de facto, Haskell.
de jure as well.

-Alex-


On Fri, 26 Mar 1999, Fergus Henderson wrote:

> On 25-Mar-1999, S. Alexander Jacobson <[EMAIL PROTECTED]> wrote:
> > Also, and more blue sky, is there a plan to more directly support
> > the more advanced stuff posted to this list:
> ...
> > * dependent types or dynamic types
> 
> Are you aware of the dynamic type support in Hugs & ghc?
> Have a look at the "Dynamic" section in the Hugs/ghc extension
> libraries documentation.
> 
> This is not quite as builtin as it could/should be, because
> there is no way to do a "derives Typeable".  But apart from that
> it is pretty good, if you just want dynamic typing.
> 
> -- 
> 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.
> 

___________________________________________________________________
S. Alexander Jacobson                   Shop.Com
1-212-697-0184 voice                    The Easiest Way To Shop


Reply via email to