What is Expressiveness in a Computer Language

[Andreas Rossberg]

Pascal Costanza wrote:
> 
> Consider a simple expression like 'a + b': In a dynamically typed 
> language, all I need to have in mind is that the program will attempt to 
> add two numbers. In a statically typed language, I additionally need to 
> know that there must a guarantee that a and b will always hold numbers.

I'm confused. Are you telling that you just write a+b in your programs 
without trying to ensure that a and b are in fact numbers??

- Andreas