What is Expressiveness in a Computer Language

[Gabriel Dos Reis]

rossberg at ps.uni-sb.de writes:

[...]

| > and even C is typesafe unless you use unsafe constructs.
| 
| Tautology. Every language is "safe unless you use unsafe constructs".
| (Unfortunately, you can hardly write interesting programs in any safe
| subset of C.)

Fortunately, some people do, as living job.  

I must confess I'm sympathetic to Bob Harper's view expressed in

  http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00298.html

-- Gaby