> 静的型付関数型言語で、遠い場所のコードは推論できないとか聞いた事ある？

遠い場所が発生しないように、クラスのパブリックメソッドには
きちんと型を書かないといけないって話なら聞いたことあるな。
推論できるのは近くの場所だけだからね。