1 通过类型推断避免了冗余性
2 通过模式匹配,组织和编写类型的新的方法获取了灵活性
3 静态类型系统的经典优越性
1) 可检验属性
2) 安全的重构
3) 文档,静态类型是被编译器检查过的正确的程序文档