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.