What is Expressiveness in a Computer Language

[Andreas Rossberg]

Rob Thorpe wrote:
> 
> No, that isn't what I said.  What I said was:
> "A language is latently typed if a value has a property - called it's
> type - attached to it, and given it's type it can only represent values
> defined by a certain class."

"it [= a value] [...] can [...] represent values"?

> Easy, any statically typed language is not latently typed.  Values have
> no type associated with them, instead variables have types.

A (static) type system assigns types to (all) *expressions*. This 
includes values as well as variables.

Don't confuse type assignment with type annotation (which many 
mainstream languages enforce for, but also only allow for, variable 
declarations).

- Andreas