[Haskell-cafe] Basic question concerning data constructors

Benja Fallenstein benja.fallenstein at gmail.com
Tue Jan 1 09:52:56 EST 2008


On Dec 31, 2007 7:17 AM,  <ajb at spamcop.net> wrote:
> This declaration states that there's a bijection between the elements of
> Foo and the elements of 2^Foo, which by Cantor's diagonal theorem cannot
> be true for any set.  That's because we only allow computable functions,

Nit the nit: Or (more commonly, I think) all continuous functions.

> and Foo -> Bool is actually an exponential object in the category Hask.

- Benja


More information about the Haskell-Cafe mailing list