[BigZaphod]

I'm not sure when type-safe generics came on the scene (perhaps that was C++), but introspection/reflection has been around since Smalltalk at least.

[wheels]

Wikipedia says Ada:

http://en.wikipedia.org/wiki/Generic_programming#Generics_in...