[plt-scheme] Re: [PRL] Denotation: barbarous neologism required

From: peter r douglass (peterd at ccs.neu.edu)
Date: Thu Nov 12 18:46:37 EST 2009

I don't know how the majority in the language community speak, but in 
Stoy's Denotational Semantics, the function is the denotation of the 
program.

--peterd


> Suppose A denotes B.  Do we say that A is the denotation of B or that B 
> is the denotation of A?
> 
> Bizarrely, it appears that most people in the languages community use 
> the latter.  That is: suppose that "(lambda (x) x)" denotes the platonic 
> identity function.  I believe we say that the program is the denotation 
> of the function, rather than that the function is the denotation of the 
> program.


Posted on the users mailing list.