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