## User login## Navigation |
## Data Types a la CarteData Types a la Carte. Wouter Swierstra.
This new Functional Pearl has been mentioned twice in comments (1, 2), and has now also appeared with comments on Phil Wadler's blog. Obviously it's time to put it on the front page. |
## 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

11 hours 28 min ago

13 hours 59 min ago

14 hours 25 min ago

2 days 17 hours ago

3 days 5 hours ago

3 days 5 hours ago

3 days 5 hours ago

3 days 6 hours ago

3 days 6 hours ago

3 days 6 hours ago