F#数据类型Discriminator Union如何理解，针对这个问题，这篇文章详细介绍了相对应的分析和解答，希望可以帮助更多想解决这个问题的小伙伴找到更简单易行的方法。
成都创新互联从2013年成立，是专业互联网技术服务公司，拥有项目成都网站制作、成都网站建设网站策划，项目实施与项目整合能力。我们以让每一个梦想脱颖而出为使命，1280元山丹做网站,已为上家服务,为山丹各地企业和个人服务,联系电话:028-86922220
题外话：
我写这个主要是希望更多的.Net开发人员能了解F#，能在看到F#代码时不被一堆奇怪的符号搞晕(其实也没几个奇怪的符号）.我没有说过F#比别的语言好、会取代C#之类的话，只是希望更多的人能了解并开始使用F#（C#用的多了，了解下F#换换脑子也是挺不错的）。 写的例子、代码都比较简单，希望大家多多包涵。可能有朋友手头没有VSTS 2010 Beta1,这个没有关系，因为F#还有一个为VSTS 2008准备的独立安装包，大家可以在这里下载安装它。
F#数据类型之Discriminator Union简介
上节我们通过一个简单的例子了解了怎样在F#中声明变量，定义函数，并且用到了F#中两个重要的数据类型List和Array,今天我主要介绍F#中一个非常重要的immutable数据类型Discriminated Unions。还是首先看一个例子，这是我写的一个简单的生成二分查找树的例子。
type Tree<'a> = | Node of 'a * Tree<'a> * Tree<'a> | Nil let generateBinarySearchTree l = let rec insert a = function | Node(root,left,right) when a < root -> Node(root, (insert a left), right) | Node(root,left,right) when a > root -> Node (root,left, (insert a right)) | Nil -> Node(a, Nil,Nil) let rec loop acc = function |[] -> acc |hd::tl -> loop (insert hd acc) tl loop Nil l let tree1 = generateBinarySearchTree [5;3;9;4;6;7]
我们首先来看前三行，没错，这就是今天要重点介绍的F#数据类型：Discriminator Union
type Tree<'a> = | Node of 'a * Tree<'a> * Tree<'a> | Nil
首先注意到我们这次使用的是type,而不是前面常用的let关键字。 F#中使用type关键字来定义用户自定义类型，在这里我们定义了一个类型Tree, 那么Tree后面的<'a>又是啥意思呢？可能有的朋友己经猜到了，它表示a是一个泛型占位符，在实际使用中，a可能是int型，也可能是string等等（注意别忘了a前面的单引号）。后面二行就是具体的Tree定义了，它表示我们定义的Tree有两种可能，有可能是Node，也有可能是Nil。 我们先来看***种情形
Node of 'a * Tree<'a> * Tree<'a>
它表示Node的类型是 'a * Tree<'a> * Tree<'a>, 那么这个又表示什么呢？其实它是F#中另外一种重要的immutable类型Tuple, Tuple很容易理解，它表示把一个数据集合在逻辑上看作是一个整体。看个例子大家就明白了（注意分隔符是逗号）
let s2 = (1,"hello")
(在这里我们定义了一个类型为int * string的Tuple. 要使用它里面的值也很简单，我们可以声明新的变量并用s的值来初始化它们。 let i,s = s2就表示我们声明了int型变量i,它的值为1, string型变量s,它的值是2)
回到我们的例子中来， 'a * Tree<'a> * Tree<'a> 就很容易理解了，因为在定义Discriminated union时可以递归引用自己。
Tree的第二种情形Nil很简单，它表示一个什么都没有的空结点.
通过我上面详细的解释，我想大家也明白了什么是Discriminated union, 它表示一组有限的可选情形，并且每种情形都有自己的严格定义。回到我们上面的例子，Tree有两种情形，要么是 'a * Tree<'a> * Tree<'a>的Node,要么是一个空的Nil。大家也看到了它和Pattern matching结合使用非常频繁，这下明白为什么叫Discriminated union了吧
如果你认真读到上一篇文章的话，接下来构建二分查找树的代码比较简单，我就不解释了。我们接下来看如何判断某一个值是否在一个构建好的二分查找树中。
