如何用SML中的记录创建数据类型的实例？

Question

例如，如果你有

datatype 'a DT = 
    thingy of {field1: int, field2: int} 
| Empty DT; 

你如何能够在一个函数中创建“啄”，其字段填写，？假设你有每个字段的值。

Answer 1

- datatype 'a DT = thingy of {x: int, y: int} | Empty; datatype 'a DT = Empty | thingy of {x:int, y:int} - thingy {x = 5, y = 4}; val it = thingy {x=5,y=4} : 'a DT - fun f x y = thingy {x = x, y = y}; val f = fn : int -> int -> 'a DT