2007-08-23レコードは名前付きタプルというか、Structというか。そんな感じのものです。よくある例として二次元座標とか。 # type point = { x:int; y:int };; type point = { x : int; y : int; } # let pt = {x=3; y=5};; val pt : point = {x = 3; y = 5} # pt.x * pt.y;; - : int = 15 フィールド名を同じにしちゃうようなオイタは型推論の邪魔なのでダメらしいです。 # type hoge = { x:int };; type hoge = { x : int; } # {x=3;y=5};; Characters 0-9: {x=3;y=5};; ^^^^^^^^^ The record field label y belongs to the type poi
