という事で、
動的→カタ・クラスチェックの山
OOP→スパゲティ
残ったのは、OcamlやF#みたいなの？となりそうに思うけど、これらが
大規模で使われてるときかない理由はいかに？