Specific denotations for pure types
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
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