> 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