types - SML 类型系统的正式名称是什么？

Question

直到现在，我还以为 SML 是简单类型 lambda 演算的便捷实现。了解什么是简单类型的 lambda 演算，我了解到它不能对递归函数进行类型检查。

我了解到存在简单类型的 lambda 演算的泛化，名为 SystemF。SystemF 是多态的，具有函数返回类型，这可能会以某种方式考虑 SML 的仿函数，但 SystemF(根据我的说法已阅读)，无法对无限递归进行类型检查，而这可以使用 SML 轻松实现:

fun r x: int = (r x): int   (* Type‑checks *)
val y = r 0                 (* Infinite loop *)

那么，如果 SML 的类型系统既不是简单类型的，也不是 SystemF，那么它(正式地)是什么？或者我错了，这是两者之一？

Answer 1

我相信这是一个 Hindley-Milner类型系统。