[Haskell-cafe] Re: A different Maybe maybe

Chung-chieh Shan ccshan at post.harvard.edu
Wed Mar 7 18:35:29 EST 2007

Joachim Breitner <mail at joachim-breitner.de> wrote in article <1173306728.4661.2.camel at otto.ehbuehl.net> in gmane.comp.lang.haskell.cafe:
> [Also on http://www.joachim-breitner.de/blog/archives/229-A-different-Maybe-maybe.html]

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

More information about the Haskell-Cafe mailing list