4 ms·
The impulse for making static typing less partial and more complete causes type systems to become overly complicated and exotic as witnessed by such concepts as
by dfranke 16y ago
The impulse for making static typing less partial and more complete causes type systems to become overly complicated and exotic as witnessed by such concepts as "phantom types" and "wobbly types".
"Modern type theory is hard. Let's go shopping."
- _delirium 16y agoI doubt that Eric Meijer, one of the co-authors of the Haskell 98 spec, personally finds modern type theory too complex to deal with. He seems to be proposing that it's not necessarily a positive language feature to expose a very complex type system to the programmer (or at least, to make it mandatory).
- kenjackson 16y agoIf I was having a type theory argument there are few people in the world I'd rather have on my side. Few people understand the bridge between type theory and language design so well. His joint paper on type classes should be required reading in PL courses: http://research.microsoft.com/en-us/um/people/emeijer/Papers/TypeClasses.pdf http://research.microsoft.com/en-us/um/people/emeijer/Papers...
- dfranke 16y agoI agree with this comment: http://lambda-the-ultimate.org/node/834#comment-7653 http://lambda-the-ultimate.org/node/834#comment-7653 I suspect that the objectionable paragraph was written by Drayton, that the note atop the introduction is not at all overstated, and that that paragraph would not have made it into a more polished version of the paper.