Specific denotations for pure types

Achim Schneider barsoap at web.de
Fri Mar 20 18:51:18 EDT 2009

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 () = ()


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.

More information about the Haskell-prime mailing list