Standard ML中如何声明可匹配任意函数的类型？

你遇到的报错本质是Standard ML的语法规则要求：在类型别名声明中出现的所有类型变量，必须显式声明为类型参数，不能像你写的那样直接在字段类型里用未声明的'a、'b。
你用类型变量（也就是你提到的alpha、beta类型）实现多态字段的思路是正确的，只是写法不符合SML的语法要求。

把用到的类型变量显式放在类型名前的括号中，作为泛型参数声明即可：

type ('a, 'b) subject = {
  algorithm: 'a -> 'b,
  id: string
}

这个写法定义的是参数化的泛型类型，实际创建subject值时，编译器会根据你传入的algorithm函数自动推导具体的类型参数，不需要手动标注：

(* 类型自动推导为 (int, string) subject，algorithm字段为int->string类型 *)
val intToStringSubj = {
  algorithm = Int.toString,
  id = "int-converter"
}

(* 类型自动推导为 (bool, real) subject，algorithm字段为bool->real类型 *)
val boolToRealSubj = {
  algorithm = fn flag => if flag then 1.0 else 0.0,
  id = "bool-converter"
}

Standard ML中不存在类似bool、real的、可以指代所有函数的单态内置类型，核心原因如下：

• SML是强静态类型语言，所有函数的类型都由「参数类型+返回值类型」共同决定，不同签名的函数属于完全不同的类型，不存在一个统一的单态类型能覆盖所有函数，否则会直接破坏类型安全。
• 你用到的'a -> 'b是多态类型签名，本身不是一个具体的可独立存在的单态类型，只有绑定到具体函数时才会被实例化为对应的具体函数类型。

如果你的需求是让同一个subject值的algorithm字段可以在运行时持有任意签名的函数、不固定参数和返回值类型，仅靠原生参数化多态无法实现——这种动态类型的需求和SML的静态类型设计本身是冲突的，通常需要借助存在类型做封装，或者自定义通用变体类型覆盖所有可能的输入输出场景，不存在通用的无约束实现。

内容的提问来源于stack exchange，提问作者NPN328