式$⟨$appexp$\mathrm{⟩}$の値がレコードの時，そのフィールドを { $⟨$exprow$\mathrm{⟩}$ }で指定した値に変更して得られる新し いレコードを生成する式である． この式の型は，式$⟨$appexp$\mathrm{⟩}$の型と同一である． 以下に例を示す．

# {x = 1, y = 2} # {x = 2};
val it = {x = 2, y = 2} : {x : int, y : int}

以下の例が示す通り，この式はレコードに関して多相型を持つ．

# fun incX r = r # {x = #x r + 1};
val incX = fn : [’a#{x: int}. ’a -> ’a]
# incX {x = 1, y = 2};
val it = {x = 2, y = 2} : {x : int, y : int}