Gibt es eine Möglichkeit, einen Datensatztyp so darzustellen, dass er in sml gebunden wird?

Question

wenn ich eine Platte wie unten haben:

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

kann ich die gleichen Informationen darstellen, indem nur die let Bindung und etwas Einfaches wie fun oder fn verwenden?

Answer 1

Sie können Typ-Aliasnamen in einer let wie jede andere Erklärung verwenden:

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

Answer 2

Meinten Sie:

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

Oder vielleicht kurz und bündig mit Mustervergleich:

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

Oder meinst du etwas anderes?