[Haskell-cafe] type metaphysics

Dan Piponi dpiponi at gmail.com
Mon Feb 2 12:01:11 EST 2009


On Mon, Feb 2, 2009 at 8:09 AM, Gregg Reynolds <dev at mobileink.com> wrote:

> Yes, that's my hypothesis:  type constructors take us outside of set
> theory (ZF set theory, at least).  I just can't prove it.

It's "too big" for Set Theory if you insist on representing functions
in type theory as functions in set theory - ie. set(A -> B) =
set(B)^set(A). But if you don't insist on such a constraint there's no
problem with sets.
--
Dan


More information about the Haskell-Cafe mailing list