[Oberon] Functional programming and Oberon

[Douglas G Danforth]

On 12/17/2016 5:35 AM, Richard Hable wrote:
> There is no generic Object type in Oberon (and Trankvila); for good
> reasons! Using such a "garbage" type takes away the advantages of static
> typing.
>
> And in both solutions a lot of type casts at runtime would be necessary.
A quick skim of what you wrote seemed reasonable.  But then on a closer 
look I ask
"what is a static type?"  Something is either a type or its not. There 
is no concept of "static" or
"dynamic" associated with "TYPE".  Instances of a type can indeed be 
static or dynamic but the "TYPE"
is not.
What "advantage" do you mean by "static typing?"  Your comments make no 
sense.

-- 
Danforth of the Greenwood

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20161217/e30774d5/attachment.html>