Types Seen Harmful
Benjamin C. Pierce’s presentation slides (in PDF) for his talk on Types Weighed Harmful. The talk begins out discoursing some of the universal advantages and disadvantages of inactive typewriting. But the aim of the talk centers on the problems of working up a type checker for the Boomerang Programming Languague (an offshoot of harmony).
- Boomerang language design as an example of
- the need for very accurate types
- some of the expert problems they bring up
- Contracts as an attractive way of directing some of these issues
Pierce’s work is presently centered making a PL for Bidirectional Programming. A work in progress but it’s interesting to visit the thought process behind language design in existent-time.
