計算機に推論できる型、できない型 | Wantedly Engineer Blog https://www.wantedly.com/companies/wantedly/post_articles/349494

"型推論によって、プログラマが型を書かなくても処理系が補ってくれる体験に一度染まってしまうと、もう面倒だから全部計算機が推論してくれといった気持ちになりますが、..."

オレンジは全くならない＞＜（明示的に書くの大好き＞＜（だからオレンジ語は冗長＞＜））