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

Jason Dagit dagit at codersbase.com
Sun May 30 15:33:19 EDT 2010


On Sun, May 30, 2010 at 4:08 AM, wren ng thornton <wren at freegeek.org> wrote:

> 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
> Hindley--Milner.
>

Oh I see.  Thanks for that correction.

Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100530/c4837711/attachment.html


More information about the Haskell-Cafe mailing list