[Oberon] Functional programming and Oberon

[Lars]

On Wed, December 28, 2016 3:09 pm, Richard Hable wrote:
> 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.

An object can be statically typed....

And should be..

Do you mean an object that is empty without any fields in some bizarre
language? or an object with a bunch of untyped fields, maybe ruby?