[Haskell-cafe] A question on existential types and Church encoding

wren ng thornton wren at freegeek.org
Sun May 30 07:08:34 EDT 2010

Jason Dagit wrote:
> In Church's λ-calc the types are ignored, 

Not so. Church-style lambda calculus is the one where types matter; 
Curry-style is the one that ignores types and evaluates as if it were 
the untyped lambda calculus.

Church encodings are based on the untyped LC rather than Church's 
simply-typed LC however, which is why they don't typecheck with 

Live well,

More information about the Haskell-Cafe mailing list