基本的に静的型システムの恩恵を受けたい
でも時には動的型の柔軟さも欲しい

てわけで、型推論して静的型が付かないところだけ警告出してくれればベスト