Specific denotations for pure types

[Achim Schneider]

Conal Elliott <conal at conal.net> wrote:

> Even the denotation of Bool & () are influenced
> by the denotation of Int, since Bool & () expressions can contain Int
> expressions.
>
Now you've lost me... they definitely shouldn't be. Otherwise, I could
be equally well coding in C.

In my mind, there's somewhere the equivalent of

data () = ()

and

data Bool = True | False

, which might, of course, be represented using machine-integers, but
have ADT semantics.

-- 
(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.