「Haskellとか型ありきとか言うけど全然そうじゃないじゃん？＞＜ Adaみたいなのこそ型ありきじゃん＞＜」みたいな齟齬？ってつまりこういう事なのかも？＞＜
-- “型”を語る際の7つの重大な誤り | POSTD https://postd.cc/7-deadly-sins-of-talking-about-types/
オレンジが言う方の型(＝だいたいAdaの発想)ってなんて言えばいいんだろ？＞＜