HML 玩具函数式编程语言编译为x64 asm

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 ，我们可以使用以