Re: Are these all really true ?

anton@complang.tuwien.ac.at (Anton Ertl) writes:


        rfg@monkeys.com (Ronald F. Guilmette) writes:
      |> Gabriela de Vivo (UCV). <gdevivo@conicit.ve> wrote:
      |> >* Strongly type language result in better programs.


      I'll assume that "strongly typed" means "compile-time type-checked".


No, that's the distinction between static and dynamic typing. An
example for a statically, but weakly typed language is C. Examples
for dynamically, but strongly typed languages are Lisp, Prolog,
Smalltalk, various scripting languages, etc. Examples for statically
and strongly typed languages are Ada, SML, etc. I can't think of a
dynamically and weakly typed language right now.


Static typing essentially means that the entire behavior of programs
that are accepted by the type-checker (be it the compiler or the
runtime environment) can be entirely explained in the framework in
which the semantics of the language are defined.


--
-Matthias
--

Return to the comp.compilers page.
Search the comp.compilers archives again.