Conal Elliott <co...@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. _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
