What is an integer? (was: Re: [xml-dev] XML Quiz)

Roger L Costello <[email protected]> Sun, 26 Mar 2023 17:53:29 +0000
Newsgroups gmane.text.xml.devel
Message-ID <SA9PR09MB595255A3B9396D0F7725D2FFC88A9@SA9PR09MB5952.namprd09.prod.outlook.com>
Michael Sperberg-McQueen wrote:

> nothing in our machines ever contains an integer
> (or for that matter a string of characters), since
> integers are abstract objects and machines are
> physical objects.  Our machines only ever contain
> and operate on representations of things like integers.
> It is convenient to exploit metonymy and allow ourselves
> to speak of a particular field of bits as "being" an integer
> rather than "representing" an integer, but that is
> just a manner of speaking, not a coherent account of
> programming-language semantics.

Oh, that is wicked cool!

Awesome post Michael. Thank you!

For my benefit:

[Definition] Metonymy: the substitution of the name of an attribute for that of the thing meant.


_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: [email protected]
subscribe: [email protected]
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php