[Haskell-cafe] Chuch encoding of data structures in Haskell

[Ivan Lazar Miljenovic]

Günther Schmidt <gue.schmidt at web.de> writes:

> Hi all,
>
> I'm exploring the use of church encodings of algebraic data types in
> Haskell.
> Since it's hard to imagine being the first to do so I wonder if folks
> here could point me to some references on the subject.
>
> I'm looking for examples of church encodings in Haskell a little bit
> beyond Church Booleans and Church Numerals.

It's not quite practical, but have a look at Paul Bailes' Totally
Functional Programming papers:
http://www.itee.uq.edu.au/~paul/tfp-papers/

Also, Types and Programming Languages by Benjamin Pierce (who keeps
reminding me of M*A*S*H, even though his middle name starts with a C...)
has a decent section on church encodings.

-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com