> People who use dynamically-typed languages are finally realizing that having to simulate a type-checker mentally is a bad idea. It cuts both ways. Some days

> People who use dynamically-typed languages are finally realizing that having to simulate a type-checker mentally is a bad idea. It cuts both ways. Some days type advocates recognize why their type language is not their host language i.e., there is a such a thing as too much types. If you believe types can express anything, and more over they are the best at expressing it then why do you need the host language, why not to program using just types. There is no silver bullet. Types won't make your code bug free. What programming language do you know that uses types to express most tests?