What is Expressiveness in a Computer Language

[Joachim Durchholz]

Pascal Costanza schrieb:
>> Another observation: type safeness is more of a spectrum than a 
>> clearcut distinction. Even ML and Pascal have ways to circumvent the 
>> type system, and even C is typesafe unless you use unsafe constructs.
>> IOW from a type-theoretic point of view, there is no real difference 
>> between their typesafe and not typesafe languages in the "statically 
>> typed" column; the difference is in the amount of unsafe construct 
>> usage in practial programs.
> 
> It's also relevant how straightforward it is to distinguish between safe 
> and unsafe code, how explicit you have to be when you use unsafe code, 
> how likely it is that you accidentally use unsafe code without being 
> aware of it, what the generally accepted conventions in a language 
> community are, etc. pp.

Fully agreed.