[Haskell-cafe] Basic question concerning data constructors
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.
More information about the Haskell-Cafe