> Just a quick point, which I'm sure you realise, but static typing > gives you guarantees about the runnability of a program that dynamic > typing breaks...
Which, presumably, is why he wants T-Rex which gives strong typing and extensible records and comes from the same great source (MP Jones) that brought us constructor classes, functional dependencies, etc. -- Alastair Reid _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users