先前用F#的误点。F#相较C#，真正强大的是函数式编程，而c#是面向对象的编程，写代码时，c#面对的是变量，而F#面对的是函数，好的F#代码尽量少的声明一个名称关联到值。这样在执行代码时可以尽量少的占用空间，从而提高效率，这是提高效率的主要地方，谨记！！！！

静态方法：

static member GetContacts (lstContact:(int * int) seq) (key:int)  = ()

静态私有方法

static member private GetContacts (lstContact:(int * int) seq) (key:int)  = ()

 继承接口

type DivDetailAna(divDetail:DivDetail, anaDetails : Set
     
      ) =    interface System.IComparable with        override this.CompareTo(other) =             match other with            | :? DivDetailAna as oth -> (this.DivDetail.P * (-1)).CompareTo(oth.DivDetail.P * (-1))            | _ -> 1
     

继承类

type DivPAnaComplexUnit(paper:LayoutResoultComplex, machine:int, cost:float, costID:int) =    inherit DivPAnaBase(paper.ColumnsCount * paper.RowsCount ,machine, cost, costID)

记录：

记录字段与类不同，它们会作为属性自动公开，并用于创建和复制记 录。 记录构造也不同于类构造。 在记录类型中，您不能定义构造函数。与联合类型和结构类型类似，记录具有结构相等性语义。 类具有引用相等性语义。

记录的定义：字段 + 成员

type OptionAA =     {        ID: int;        Name:string;        mutable Text:string;    }    member x.AAA() = printfn "%A" x.Textlet test = {ID = 0; Name = "AA"; Text = "YYY"}test.Text <- "ZZZ"printfn "%A" (test.AAA())

 可区分联合：

可区分联合对于以下数据很有用：异类数据；可有特殊用例（包括有效用例和错误用例）的数据；每个实例的类型不同的数据；可区分联合还可用作小对象层次结构的备用项。 此外，递归的可区分联合用于表示树数据结构。

type type-name =   | case-identifier1 [of type1 [ * type2 ...]   | case-identifier2 [of type3 [ * type4 ...]   ...

比较普遍的用法，二叉树。

type Tree =    | Tip    | Node of int * Tree * Treelet rec sumTree tree =    match tree with    | Tip -> 0    | Node(value, left, right) ->        value + sumTree(left) + sumTree(right)let myTree = Node(0, Node(1, Node(2, Tip, Tip), Node(3, Tip, Tip)), Node(4, Tip, Tip))let resultSumTree = sumTree myTree