Christopher Smith wrote:
I think your terminology is not consistent with standard terminology.
Actually, you might be right. After looking a bit, I seem to have definitions which are mostly okay, but have some corner cases which disagree.
For me, dynamic/static is about being able to hold a different type of object in a single object/variable after it has already been assigned to one type of object.
I went digging for the definitions of strong/weak, though, and couldn't really see a nice clean definition. To me, weak typing is "typing based on behavior rather than identity". This doesn't always seem to mesh with other definitions, though.
Do you have a nice standard reference that contains the static/dynamic and weak/strong axes with definitions and the languages they apply to?
-a -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
