[Oberon] Functional programming and Oberon

[Richard Hable]

Am 2016-12-18 um 02:53 schrieb Douglas G Danforth:

> What "advantage" do you mean by "static typing?"  Your comments make no
> sense.

Static typing means that the type of a variable is known at compile
time. Thus, the compiler can make sure that only values suitable for the
declared type are assigend to it.

Otherwise, with dynamic typing (using variables with no declared type or
a generic type like "Object"), the compiler accepts assignments of
arbitrary types, and thus typing errors can only be recognized at runtime.

If this does not make sense, look up the difference between static and
dynamic typing in Wikipedia. :)

Richard