Adaが言う正しいって、だいたいどの段階でもヒューマンエラーを起こさないという基準での正しさかも？＞＜ 型ありきどころか型チェックありきでとにかく型を作れってなってたり、haskellerが言う「型ありき」が裸足で逃げ出すレベルの頑固な仕様かも？＞＜(使ったこと無いけど＞＜；)