From: Hal Fulton <hal9000@...>
Date: 2006-01-02T10:04:07+09:00
Subject: Re: (Real) Primitive Ruby Generics support

Florian Gro� wrote:
> ToRA wrote:
> 
>> Static typing means the type checking happens at "compile" time (or NOT
>> during the execution of the program!).  You mean Nominal typing
>> (nominal as in name (using in this case classname)) as opposed to
>> structural (messages / aka duck) typing.  Strong typing means that you
>> can't get undefined behaviour out of the system at runtime (all 'type
>> errors' are caught, generally in this case by method missing errors
>> getting thrown).
> 
> 
> Already knew about dynamic <> static and strong <> weak.
> 
> But nominal <> structural is what I was looking for in this case. Thanks!
> 

I have never heard these terms used this way, but it is interesting.

Are those in common use by some group of people somewhere?


Hal