文件名称：tao：一种静态类型的功能编程语言
文件大小：252KB
文件格式：ZIP
更新时间：2024-02-21 07:40:44
programming-language functional compiler CompilerRust
陶 Tao是一种静态类型的功能编程语言。 例 请参阅目录以获取示例程序的选择。 产品特点 功能纯正 咖喱 静态式系统 Hindley-Milney类型推断 复杂类型（列表，元组，函数，数据类型） 简单的无上下文语法 有用的错误信息 泛型 字节码编译 模式匹配 总和类型 单声道I / O（不完整） 状态 Tao目前正在大量开发中，许多方面（尤其是编译器后端）尚未完成。 另外，编译器代码库正在经历相对快速的更改。 语法也可能随着语言的发展而改变。 什么有效 类型推断 递归定义 数据类型声明 泛型 字节码编译 字节码VM执行 模式匹配 常用的表达式构造（ if ， match ， let等） 数据类型（总和类型和产品类型） 什么不起作用 特质系统 香港电讯 标准库/前奏 IO 类型系统 Tao的类型系统类似于ML，并支持： 基本体（ Num ， Char ， Bool等） 清单 元组 功能 总和类型 记录 错误讯息 Tao的目标是提供有用的错误消息。 以下是一些示例。 Error: Type mismatch between 'Num' and 'Str' -> line 1,