tao:一种静态类型的功能编程语言-源码

VIP专享 2021-01-31 13:54:04 252KB ZIP
13
收藏 收藏
举报

陶 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,

...展开详情
立即下载
限时抽奖 低至0.43元/次
身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
tao:一种静态类型的功能编程语言-源码 (VIP专享) VIP下载
1/0