HML 入门
介绍
HML 是一种受 ML(以及 Haskell)启发的玩具函数式编程语言。 其特性和特点包括:
一个类似 Hindley-Milner 的类型系统,包括
Hindley-Milner 类型推断(永远不需要类型注释)
存在量化
几乎任何地方的可选类型注释
函数和数据类型的前缀多态性
代数数据类型
简单模式匹配
严格评价
不纯函数包括 I/O 和数组操作
编译为 x64 程序集 (GAS)
与 System V AMD64 ABI 直接兼容
尾调用优化
HML 缺乏的一些显着特征是:
闭包(/嵌套函数定义) 但存在量化给出了 DIY 闭包
柯里化(因为闭包不是内置的)
垃圾收集
它会产生大量垃圾! 它只是不清理
让我们进入“你好,世界”:
main() = out_string("Hello, World!");
将此文件保存到hello.hm ,我们可以使用以
评论0
最新资源