What is Expressiveness in a Computer Language

[Joachim Durchholz]

Matthias Blume schrieb:
> Perhaps better: A language is statically typed if its definition
> includes (or ever better: is based on) a static type system, i.e., a
> static semantics with typing judgments derivable by typing rules.
> Usually typing judgmets associate program phrases ("expressions") with
> types given a typing environment.

This is defining a single term ("statically typed") using three 
undefined terms ("typing judgements", "typing rules", "typing environment").

Regards,
Jo