## User login## Navigation |
## Types Considered HarmfulBenjamin 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 (an offshoot of harmony).
Pierce's work is currently centered on creating a PL for Bidirectional Programming. A work in progress but it's interesting to see the thought process behind language design in real-time. |
## Browse archives## Active forum topics- return-type polymorphism of monads done right in a dynamic language
- How can languages help us in terms of achieving correct program design?
- How can middle school algebra help with domain specific languages?
- symbols and loosely coupled concurrent apps part II
- Language combining relational algebra and domain algebra
## New forum topics |

## Recent comments

10 min 40 sec ago

2 hours 42 min ago

3 hours 7 min ago

2 days 6 hours ago

2 days 18 hours ago

2 days 18 hours ago

2 days 18 hours ago

2 days 18 hours ago

2 days 19 hours ago

2 days 19 hours ago