型安全性

一部で議論が盛り上がっているようですが（本当か？）、

http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00270.html

みたく専門家でも用語（というか見解）が統一されていないので、一般人(?)が混乱するのは当然かも…。型は静的なものであって「動的な型つけ」は誤用である（Felleisenとか僕の元ボスの発言）という立場すらあるので。