What is Expressiveness in a Computer Language

Marshall marshall.spight at gmail.com
Wed Jun 21 17:09:06 CEST 2006

Joachim Durchholz wrote:
> On a semantic level, the tag is always there - it's the type (and
> definitely part of an axiomatic definition of the language).
> Tag elimination is "just" an optimization.

I see what you're saying, but the distinction is a bit fine for me.
If the language has no possible mechanism to observe the
it-was-only-eliminated-as-an-optimization tag, in what sense
is it "always there?" E.g. The 'C' programming language.


More information about the Python-list mailing list