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