F#教程：Record

F#和C#语言一样可以定义构造体。不过F#将这称为Record。

可以试着定义如下Point类型的 Record：

type Point = { x: float; y: float}

使用Point类型的代码：

let　pt　=　{　x　=　10.0;　y　=　15.0　}
printfn　"(%f　,　%f)"　pt.x　pt.y

let一行声明 pt时候就没有指定类型，不过F#却可以知道它是Point类型。很有趣，甚至有点吃惊是不是？

如果定义值两个所有域的名称和类型都一样的Record会如何呢？

type　Point　=　{　x:　float;　y:　float}
type　Point2　=　{　x:　float;　y:　float}
let　pt　=　{　x　=　10.0;　y　=　15.0　}

在F# Interactive窗口执行后结果如下：

val pt : Point2 = {x = 10.0; y = 15.0;}

pt的类型变成了Point2。是不是有点混乱啊。

我们在试着定义如下所有域值的名称相同但类型不同的Record：

type　Point　=　{　x:　float;　y:　float}
type　Vector　=　{　x:　int;　y:　int}
let　p　=　{　x　=　10.0;　y　=　15.0　}

let行会出现编译错误。虽然值域名称一样，类型不一样就无法推论。

为了消除编译错误，可以显式地指明类型：

let　p　=　{　x　=　10.0;　y　=　15.0　}　:　Point　
let　v　=　{　x　=　10;　y　=　15　}　:　Vector

其中，「: 类型名」指定方式和Pascal很相似。