Re: [Haskell-cafe] type metaphysics

On Mon, Feb 2, 2009 at 3:25 PM, Ketil Malde wrote:

Gregg Reynolds writes:

...

Just shorthand for something like "data Tcon a = Dcon a", applied to Int. Any data constructor expression using an Int will yield a value of type Tcon Int.

Right. But then the set of values is isomorphic to the set of Ints, right?

Only if you're ignoring non-terminating values. Otherwise, you have to deal with the fact that Tcon Int contains _|_ and DCon _|_. -- Dave Menendez http://www.eyrie.org/~zednenem/