Thanks for the overview. I agree with all, except for the "has nothing to do with" claim. > Dynamic typing: types are not known at compile time. That is just

Thanks for the overview. I agree with all, except for the "has nothing to do with" claim. > Dynamic typing: types are not known at compile time. That is just a top level description of a feature, the tip of the iceberg. What is needed for a language to support dynamic typing? The answer is not "has nothing to do with x" where x is any of the above features. Also a lot of types are known at compile time even if your language supports dynamic typing. Also "compile time" is a vague term for an interpreted language, as the machine compatible code is generated at run time.