24 5 / 2009

"All of the features given so far - rich data types, pattern matching, type inference, nested functions - you could imagine could exist in a kind of “super C” language."