処理系作ってる連中に学が無いから、型推論できるチェッカーひとつ作れない
で、仕方なく運用（命名規則）で回避ですか

駄目システムに苦しめられてるユーザと同じ図じゃん

なお、大規模開発ではどんな命名規則でもメソッド名が増えるため破綻する模様