[Haskell-cafe] Re: A different Maybe maybe

Joachim Breitner wrote in article <1173306728.4661.2.camel@otto.ehbuehl.net> in gmane.comp.lang.haskell.cafe:

[Also on http://www.joachim-breitner.de/blog/archives/229-A-different-Maybe-maybe.htm...]

This is known as the Church encoding of algebraic data types. In this generality, it seems to be first described by Corrado Böhm and Alessandro Berarducci (1985) in "Automatic synthesis of typed L-programs on term algebras", Theoretical Computer Science 39:135-154. -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig Web 2.0 is a commemorative coin minted in celebration of the end of the dot-com crash. Like all commemorative coins, it has no actual value. -- Michael Swaine, Dr.Dobb's J., March 2006