1 通过类型推断避免了冗余性
2 通过模式匹配，组织和编写类型的新的方法获取了灵活性
3 静态类型系统的经典优越性
1) 可检验属性
2) 安全的重构
3) 文档，静态类型是被编译器检查过的正确的程序文档
版权声明：本文为weixin_42129080原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。