1.

レコード式のラベルがすべて異なるかチェックされ，同一のラベルが複数現れれば，型エラーとなる．
2.

次に，各式 $\,\langle$ exp ${}_{i}$ $\rangle\,$ が，レコード式に出現する順に評価され，その型 $\,\langle$ ty ${}_{i}$ $\rangle\,$ と値 $v_{i}$ が計算される．
3.

それらを使い，ラベル文字列でソートされたコード型

{ $\,\langle$ lab ${}_{1}^{\prime}$ $\rangle\,$ : $\,\langle$ ty ${}_{1}^{\prime}$ $\rangle\,$ , $\ldots$ , $\,\langle$ lab ${}_{n}^{\prime}$ $\rangle\,$ : $\,\langle$ ty ${}_{n}^{\prime}$ $\rangle\,$ }

とレコード値

{ $\,\langle$ lab ${}_{1}^{\prime}$ $\rangle\,$ = $v_{1}^{\prime}$ , $\ldots$ , $\,\langle$ lab ${}_{n}^{\prime}$ $\rangle\,$ = $v_{n}^{\prime}$ }

が求められ，レコード式の型と値となる．

従って，例えば

val x = {SML = (print "SML#";"SML#"), IS = (print " is ";" is "), SHARP = (print " sharp!\n";" sharp!\n")}

を評価すると，"SML# is sharp!"とプリントされた後，

val x = {IS = " is ", SHARP = " sharp!\n", SML = "SML#"} : {IS: string, SHARP: string, SML: string}

のような型と値がxに束縛される．

19.4 レコード式 {⟨lab1⟩ = ⟨exp1⟩, …, ⟨labn⟩ = ⟨expn⟩}

19.4 レコード式 { $\,\langle$ lab ${}_{1}$ $\rangle\,$ = $\,\langle$ exp ${}_{1}$ $\rangle\,$ , $\ldots$ , $\,\langle$ lab ${}_{n}$ $\rangle\,$ = $\,\langle$ exp ${}_{n}$ $\rangle\,$ }