型推論付きの言語はやっつけ専用か
普段この人は何言語でやっつけじゃない開発してんだろう