習ってるはずなのに！はあれだけど、でも、PythonやらRubyやらでしか書かなくて型システムを理解してないプログラマ(※1)山ほどいるんだから、特に強調して型システムを教えるって感じで教えられなければ無理かも？＞＜；
(※1 動的型つけ静的型つけ論争で特に動的型つけ陣営にそういう人よく見るでしょ？＞＜；)