<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    On 12/17/2016 5:35 AM, Richard Hable wrote:<br>

    <blockquote cite="mid:c29cc9fa-2000-f89f-b4d7-5dff3a7cc876@aon.at"

      type="cite">

      <pre wrap="">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.</pre>

    </blockquote>

    A quick skim of what you wrote seemed reasonable.  But then on a

    closer look I ask<br>

    "what is a static type?"  Something is either a type or its not. 

    There is no concept of "static" or<br>

    "dynamic" associated with "TYPE".  Instances of a type can indeed be

    static or dynamic but the "TYPE"<br>

    is not.<br>

    What "advantage" do you mean by "static typing?"  Your comments make

    no sense.<br>

    <pre class="moz-signature" cols="72">-- 

Danforth of the Greenwood</pre>

  </body>

</html>