「Ada使っててHaskellも使うようになった」みたいな人の話ならすごくわかる＞＜
両方ともそれぞれ全く違う意味でそれぞれ「型ありき」だから＞＜
でも、動的型付けな環境との比較で「これがHaskellだったら・・・」ってそれほんとにHaskellに限った話なの？＞＜； って謎過ぎるかも＞＜