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