Specific denotations for pure types

Achim Schneider barsoap at web.de
Sat Mar 21 15:08:34 EDT 2009

Conal Elliott <conal at conal.net> wrote:

> >
> > yes, but dodgy isn't Bool, it's _a_ Bool.  
> Right.  dodgy is _a_ Bool, and therefore its meaning is an element of
> the meaning of Bool.  If _any_ element of Bool (e.g. dodgy) has a
> machine-dependent meaning, then the meaning of Bool itself much have a
> complex enough structure to contain such an element.
Then, yes, every Haskell type depends on whatever any type depends on,
and the only way for the denotations not to explode into one's face is
to abstract away the fact that an expression forces its context upon
its continuation. "MachineInfo ->" can be added by the denotation of
function application, there's no need to have it inside Bool's

(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