Re: On definition of static vs. dynamic typing




"Matthias Kaeppler" <void@xxxxxxxx> wrote in message
news:drtm84$te6$01$1@xxxxxxxxxxxxxxxxxxxx
Peter Ammon wrote:

"A language is called statically typed, if it does not use dynamic type
checks."


No. A language is statically typed if the types are known at compile
time. A language can be statically typed and yet not use any type
checking.

Can you provide an example of a statically typed language which doesn't
perform any type checking?

I'm developping a language which only has 1 type, and so it in the
definition provided earlier in this thread, this language would be
"statically type" and it does not perform type checking (since I already
know what the type of all expressions will be anyway).

- Oliver


.