[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: another take on hackers and painters
>>>>> "Shriram" == Shriram Krishnamurthi <sk@cs.brown.edu> writes:
Shriram> On the other hand, in a language with a good static type system, I
Shriram> think programmers run into these restrictions far less often than they
Shriram> might think. A sufficiently crafty programmer will recognize when
Shriram> they are hitting the language's type restrictions, and will then be
Shriram> able to provide a lovely critique of the type system along with the
Shriram> application that is shackled by it. There are surprisingly few such
Shriram> critiques, and the ratio of critiques to impassioned pleas for freedom
Shriram> grows vanishingly small.
Depends on what qualifies as a "critique" in your book. There are
many, many research papers on extensions of Hindley-Milner directly
motivated by applications not typable within it. Prominent examples
are type classes (motivated the numeric tower, I believe), the various
OO/subtyping extensions to ML, Cayenne (printf), many, many extensions
to type classes, the CML type system, etc., etc., etc., etc., etc.,
etc.
Or am I misunderstanding you?
--
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla