【文件属性】：
文件名称：tao：一种静态类型的功能编程语言
文件大小：252KB
文件格式：ZIP
更新时间：2021-01-31 13:54:04
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,