有沒有一種方法來表示一種讓綁定在sml中的記錄類型？

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... 

或者你的意思是別的嗎？