Benjamin C. Pierce's presentation slides (in PDF) for his talk on Types Considered Harmful .
The talk starts out discussing some of the general advantages and disadvantages of static typing. But the aim of the talk centers on the problems of building a type checker for the Boomerang Programming Languague (formerly known as harmony).
- Boomerang language design as an example of
- the need for very precise types
- some of the technical problems they raise
...
Post new comment