What is Expressiveness in a Computer Language

[Andreas Rossberg]

Chris F Clark wrote:
> 
> A static
> type system eliminates some set of tags on values by syntactic
> analysis of annotations (types) written with or as part of the program
> and detects some of the disallowed compuatations (staticly) at compile
> time.

Explicit annotations are not a necessary ingredient of a type system, 
nor is "eliminating tags" very relevant to its function.

   - Andreas