[Haskell-cafe] Church Encoding Function

Joachim Breitner mail at joachim-breitner.de
Sat Mar 10 09:43:41 EST 2007


some more ideas following from the last post. I noticed how the function
Data.Maybe.maybe converts a Haskell Maybe into a Church encoded Maybe.
Also, the if construct, interpreted as a function, converts a Bool into
a church encoded Bool.

If lists are encoded as forall b. (a -> b -> b) -> b -> b, then foldr,
with the right order of arguments, converts a haskell [] to a Church
encoded List.

Is there a name for these functions? “Characteristic Church Encoding
Functions” maybe? Are there more than these:

Maybe -- maybe
Bool -- ifthenelse
List -- foldr
(,) -- uncurry

Just a short idea while waiting at the airport...


Joachim "nomeata" Breitner
  mail: mail at joachim-breitner.de | ICQ# 74513189 | GPG-Key: 4743206C
  JID: joachimbreitner at amessage.de | http://www.joachim-breitner.de/
  Debian Developer: nomeata at debian.org

More information about the Haskell-Cafe mailing list