vs. "¿How can a dynamically typed language not actively prevent static checking?" http://lambda-the-ultimate.org/node/5320