Lambda the Ultimate

inactiveTopic The Constructor Calculus
started 7/14/2002; 8:04:02 AM - last post 7/14/2002; 8:04:02 AM
Ehud Lamm - The Constructor Calculus  blueArrow
7/14/2002; 8:04:02 AM (reads: 1119, responses: 0)
The Constructor Calculus
(via comp.lang.functional)

The constructor calculus is a variant of the lambda-calculus that supports generic programming of functions for mapping, folding, equality, addition, etc. based on fresh approach to data types, their constructors, and pattern-matching. (more)

The paper gives a nice intro to generic programming. I haven't had the time to reach any conclusions about the work prsented.

Posted to LC by Ehud Lamm on 7/14/02; 8:06:45 AM