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

From: Mitchell Wand (wand at ccs.neu.edu)
Date: Thu Nov 12 23:15:36 EST 2009

Umm, you mean maybe:

III denotes 3
3 is the denotation of III
III is the notation for 3

--Mitch

On Thu, Nov 12, 2009 at 9:30 PM, Paul Steckler <steck at stecksoft.com> wrote:

> On Fri, Nov 13, 2009 at 10:21 AM, John Clements
> <clements at brinckerhoff.org> wrote:
> > 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.
>
> You might gain some intuition by using "means" instead of "denotes", and
> "meaning" instead of "denotation".
>
> If A denotes/means B, then B is the denotation/meaning of A.
>
> -- Paul
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20091112/5e1f3481/attachment.html>

Posted on the users mailing list.