陶 Tao是一种静态类型的功能编程语言。 例 请参阅目录以获取示例程序的选择。 产品特点 功能纯正 咖喱 静态式系统 Hindley-Milney类型推断 复杂类型(列表,元组,函数,数据类型) 简单的无上下文语法 有用的错误信息 泛型 字节码编译 模式匹配 总和类型 单声道I / O(不完整) 状态 Tao目前正在大量开发中,许多方面(尤其是编译器后端)尚未完成。 另外,编译器代码库正在经历相对快速的更改。 语法也可能随着语言的发展而改变。 什么有效 类型推断 递归定义 数据类型声明 泛型 字节码编译 字节码VM执行 模式匹配 常用的表达式构造( if , match , let等)