Scalaの型推論って今後もっと型を明示しなくてもいい箇所が増えたりするものなの？