[Haskell-cafe] type metaphysics
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
> Right. But then the set of values is isomorphic to the set of Ints,
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>
More information about the Haskell-Cafe