[Haskell-cafe] Church Encoding Function
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
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