Static typing

[Marshall Spight]

"Pascal Costanza" <costanza at web.de> wrote in message news:bnbds3$uui$1 at f1node01.rhrz.uni-bonn.de...
>
> Expressive power is not Turing equivalence.

Agreed.

So, does anyone have a formal definition of "expressive power?"
Metrics? Examples? Theoretical foundations?

It seems like a hard concept to pin down. "Make it possible
to write programs that contain as few characters as possible"
strikes me as a really bad definition; it suggests that
bzip2-encoded C++ would be really expressive.


Marshall