有没有办法以sml中的let绑定方式表示记录类型？

Question

如果我有如下记录：

type president = {name: String, age: int};

我可以仅使用let绑定和fun或fn之类的简单表示相同的信息吗？

Answer 1

您可以在let中使用类型别名，就像任何其他声明一样：

let
    type t = {name: string, age: int}
in
    some_expression
end

Answer 2

你的意思是：

fun f (x : {name : string, age : int}) = ...#name x...#age x...

或者可能更简洁地使用模式匹配：

fun f {name : string, age : int} = ...name...age...

或者你的意思是其他什么？