🚀 go-pugleaf

I wrote:
    "Dynamic typing is when the most efficient of the available
    primitive machine representation for some value(s) is chosen at
    run-time."

David Gudeman wrote:
    I don't like that definition at all.  In the first place, it is an
    implementation-based definition rather than a semantic one.

Darren New wrote:
    I don't think it has anything to do with machine representations
    or efficiency.

Ok, ok.. I apologize.  My fault for using such an inexact expression
as "most efficient"...  [My thoughts were along the line of "most
efficient of the implemented types for the computational model" but
even that isn't very useful as a description.]

Umm... the concept I was trying to capture was something along the
lines of the difference between a type-tag + a c-struct vs a type tag
+ a c-union.  But that is totally implementation, and only one of many
possible implementations at that.  (First alternate implementation
that comes to mind the case where address ranges are used to
distinguish between different word sizes.  ... still only vaguely
related to dynamic/static typing).

Once again, sorry.

Raul Rockwell