Extensible records in Haskell

Alastair Reid alastair@reid-consulting-uk.ltd.uk
06 Nov 2002 14:51:35 +0000

> 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