Kotlin是静态类型，支持类型推断，在保持代码精简的同时维持准确性和性能。