异步与并发编程 ● getter 和 setter ● 方法级联调用 ● 操作符重载 ● Markdown注释 ● 支持 Mixin ● 基于Mirror的反射 ● 不支持 eval ● …… 类型的好处 ● 类型即文档，表明程序意图，提供概念框架 ● 避免特定的变量命名模式或注释方式 ● 适合范型 ● 良好工具的支持 ● 更早发现问题（类型检查）： ○ 检查模式运行 ○ 静态代码分析