Есть ли способ представить тип записи, чтобы позволить связывание в 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... 

Или вы имеете в виду что-то еще?