[Haskell-cafe] type metaphysics

David Menendez dave at zednenem.com
Mon Feb 2 16:37:24 EST 2009


On Mon, Feb 2, 2009 at 3:25 PM, Ketil Malde <ketil at malde.org> wrote:
> Gregg Reynolds <dev at mobileink.com> 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>


More information about the Haskell-Cafe mailing list