haskellの色々なの読んでて、haskellが型ありきって大嘘なんじゃないのかな？＞＜という疑念がどんどん深まってる・・・＞＜(Adaと比較すると・・・＞＜(比較対象が厳しすぎるのはアレだけど＞＜；)) 大嘘というか動的型付けな環境とかCとかの世界にどっぷり浸かってた人がはじめてまともな型システムに触れて言ってるだけじゃないの疑惑・・・＞＜