Joachim Breitner <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe