From Java Generics to questioning assumptions

My blog has moved.
You can view this post at the following address:
http://www.osherove.com/blog/2004/4/3/from-java-generics-to-questioning-assumptions.html
Published Saturday, April 03, 2004 1:27 PM by RoyOsherove
Filed under:

Comments

Saturday, April 03, 2004 4:05 PM by Isaac Gouy

# re: From Java Generics to questioning assumptions

"Can anyone explain the difference?"

We can find a meaning for "dynamic typing"!
Better still say "dynamic (type) checking" because that's what we're talking about - type-checking.

If that's unclear then say "run-time type-checking" and "compile-time type-checking" because that's what we're talking about - when do we do type-checking.


*Type safety* is usually what we care about, see:
"Type Systems" Handbook of Computer Science and Engineering, Chapter 103. CRC Press, 1997.
Chapter download: http://citeseer.ist.psu.edu/cardelli97type.html


"Loose typing"?
Seems like someone really confused something with loose-coupling, heaven only knows what they mean.
Saturday, April 03, 2004 4:09 PM by Isaac Gouy

# re: From Java Generics to questioning assumptions

Beware the convert!

'you're going to have to question yourself and the “facts”'
Self assessments of performance are notoriously inaccurate. The only way to get the “facts” is to continually measure how long it takes to do stuff - then you have a baseline to compare different techniques.