What is Expressiveness in a Computer Language
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