関数型言語の入門記事で型推論使いまくってるの読むたびに「(こんな文化圏の言語なら使いたくないかも・・・＞＜)」って思ってめげてやめちゃう＞＜(型記述原理主義者的発想)