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.
