静的チェックをするということは、Crystal みたいな方向性になるのかな