On Mon, 12 Dec 2011 11:40:03 -0500 Terry Reedy email@example.com wrote:
On 12/12/2011 4:00 AM, Masklinn wrote:
On 2011-12-12, at 09:55 , Terry Reedy wrote:
On 12/12/2011 12:59 AM, Mike Meyer wrote:
By the same token, have you asked anyone why C/Java/etc. have static typing and name locations? It's an equally valid question.
C was designed for writing a computing machine operating system with mutable sequential memory slots numbered from 0 to 2**n - 1.
On the other hand, there are very few typed assemblies.
The question of typing is somewhat orthogonal to that of naming value objects versus storage locations. There are strong stactic typed named value languages like ML. They even require different operators for int and float arithmetic, just like assembler.
Yup. You can also find dynamically typed named locations languages, like BCPL (though "untyped" might be more descriptive). It also has different operators for int and float arithmetic, because the locations don't have type information, so it has to come from the operator.