Chapter3 - Defining Types - Union

Union 可以将具有不同含义或不同结构的数据绑定在一起。

他的使用方式我用例子来讲解吧。

 

let  Volume =
|  Liter  of   float
|  UsPint  of   float
|  ImperialPint  of   float

let  vol1 = Liter  2.5

let  vol2 = UsPint  2.5

let  vol3 = ImperialPint  2.5

 

看起来好像什么用也没有，是吧，别急，我们先来看看他的模式匹配。

 

let  convertVolumeToLiter x =
     match  x  with
     |  Liter x  ->  x
     |  UsPint  ->  x *  0.473
     |  ImperialPint x  ->  x *  0.568

printfn convertVolumeToLiter vol1

printfn convertVolumeToLiter vol2

printfn convertVolumeToLiter vol3

 

这里的模式匹配它可以接收一个范式定义的 Volume，然后判断他的类型，是Liter 还是 UsPint

或 ImperialPint ，然后对其做不同的处理。

嗯，还是感觉不到他的魔力，好吧，看下一个例子。

 

这个是一个完全二叉树的例子,唯一的区别就是，在这里节点是没有值的，只有最终的叶子才有值。

 

# light

type   ' a BinaryTree =
|  BinaryNode  of   ' a BinaryTree *  ' a BinaryTree
|  BinaryValue  of   ' a

let  tree1 =
    BinaryNode(  // 根节点
        BinaryNode( BinaryValue  1 , BinaryValue  2 ),  // 子节点1，具有1跟2两个叶子
        BinaryNode( BinaryValue  3 , BinaryValue  4 ) )  // 子节点2，具有3跟4两个叶子

// 看到了么，这里我们借助一个范式的类型 BinaryTree，就很自然的表现出了一颗二叉树。
// 它有一个根节点，两个子节点，然后每个子节点又有两个值。
// 然后是利用模式匹配来输出这棵树


let   rec  printBinaryTreeValues x =
     match  x 
     |  BinaryNode (node1, node2)  ->
          printBinaryTreeValues node1;
          printBinaryTreeValues node2
     |  BinaryValue x  ->  printfn x;printfn  " ,  "

 

然后来看看一颗普通的树，当然，这里只是为了展示两种不同的定义方法而已。

 

type  Tree< ' a> =
|  Node  of  Tree< ' a> list
|  Value  of   ' a

let  tree2 =
    Node( [ Node( [Value  " one " ; Value  " two " ] );
    Node( [Value  " three " ; Value  " four " ]) ] )

 
let   rec  printTreeValues x =
     match  x  with
     |  Node l  ->  List.iter printTreeValues l
     |  Value x  ->
        printfn x;printfn  " , "