[PRL] Benjamin Pierce: Types Considered Harmful

[Dave Herman]

What a disappointment! The title gave me hope for an actual reflection 
on types, but it pretty much amounts to:

     - we've been working on these lens things for a while
     - we couldn't figure out a reasonable all-static type system
     - so we added contracts (just like everyone else does)

Where's the beef?

The weirdest part was when he claimed that one of the big issues people 
have with type systems is performance. Does anyone actually say this? A 
couple weeks ago Steve Yegge argued against what he saw as the principal 
complaint about *dynamic* types, and it was also performance. Everyone's 
beating on the same straw man!

Dave

Mitchell Wand wrote:
> http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl