sml에서 let 바인딩의 방식으로 레코드 유형을 나타내는 방법이 있습니까?

Question

나는 다음과 같은 기록이있는 경우 :

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

난 그냥 사용하여 동일한 정보를 나타낼 수를 let 바인딩 및 fun 또는 fn 같은 간단한?

Answer 1

당신은 다른 선언과 같은 let 입력 별칭을 사용할 수 있습니다

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

아니면 더 간결 패턴 매칭 :

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

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

Answer 2

당신은 의미합니까

다른 의미가 있습니까?