8.4.2 F# 决策树
从规范的最后一句可以看出，链接既可以指向查询，也可以指向最终结果。在 F# 中，我们可以直接使用有两个选项的差别联合类型来写。规范还讲到了查询的详细信息，查询包含不同的字段，因此，可以用F# 的记录类型表示。
我们将定义一个 F# 的记录类型（QueryInfo），表示有关查询的信息，和一个差别联合类型（Decision），它既可以是另一个查询，也可以是最终的结果。这些数据类型相互引用。用函数术语，就是说，类型相互递归（mutually recursive）。清单 8.14 显示了这段 F# 源代码意味着什么。
清单 8.14 用相互递归类型描述决策树 (F#)
type QueryInfo = [1]
{ Title : string
Check : Client ->bool [2]
Positive :Decision | 引用第二个类型
Negative : Decision } |
and Decision = [3]
| Result of string
| Query of QueryInfo <-- 引用第一个类型
用 F# 写类型声明，我们只能引用在文件中事先声明的类型（或者，在编译顺序中先指定的文件，或者位于 Visual Studio 解决方案位于前面文件的）。显然，在这种情况下，会导致问题，我们要定义两个的类型之间互相引用。为了解决这个问题，F# 提供了 and 关键字。在清单前面的类型声明像往常一样，用 type 关键字[1]，但接着用了 and [3]，表示这两个类型同时声明，彼此都可以看到对方。
QueryInfo 声明，把数据和行为组合在一个记录中了。检查的名字是简单的数据成员，但其余成员更有意义。Check 成员[2]是函数，即，是一种行为，它可以返回布尔值，我们将用来在两个后续的分支中选择一个。这些分支是组合值，既可能保存字符串，也可能递归地包含其他 QueryInfo 值，因此，它们可以同时保存数据和行为。另外，函数的返回结果可以是 Decision 值，但是，就不能方便地报告检查是否通过，因为我们只知道下一个运行的检查是什么。在清单 8.15 中，我们创建一个值，表示8.3 图中的决策树。
清单 8.15 检查客户的决策树 (F#)
let rec tree = [1]
Query({ Title = "More than$40k"
Check = (fun cl -> cl.Income > 40000)
Positive = moreThan40; Negative = lessThan40 })
and moreThan40 = [2]
Query({ Title = "Has criminalrecord"
Check = (fun cl -> cl.CriminalRecord)
Positive = Result("NO"); Negative = Result("YES") })
and lessThan40 = [3]
Query({ Title = "Years injob"
Check = (fun cl -> cl.YearsInJob > 1)
Positive = Result("YES"); Negative = usesCredit })
and usesCredit = [4]
Query({ Title = "Uses creditcard"
Check = (fun cl -> cl.UsesCreditCard)
Positive = Result("YES"); Negative = Result("NO") })
在清单 8.15 中有一件我们之前没见过的新东西。当声明值时，我们同时使用了 rec 关键字与新的 and 关键字，它与先前的清单中同时声明两个类型的用法完全不同，但目的类似。and关键字能够声明相互引用的几个值（或函数）。例如，在 tree [1]的声明中，我们可以使用值 moreThan40 [2]，尽管它在代码的后面才声明。
在此示例中，声明顺序是使用let rec 的主要原因，因为这样能够开始了树的根节点[1]，然后，在第二个级上[2][3]，为两个可能的选项创建值，最后，在第三级上[4]，为一种情况声明额外的问题。我们以前使用 let rec，是为了声明递归函数，这样，能够在函数体中调用函数自身（在声明之前）。一般情况下，F# 还能够声明递归的值，简化许多常见的任务。
使用递归的 let 绑定进行初始化
我们已经看过几个递归函数的示例，但递归的值会是什么样子呢？使用 Windows Forms 创建用户界面的代码可能会是一个例子；使用简化的 API，看起来可能像这样：
let rec form = createForm "Mainform" [ btn ]
and btn = createButton "Close"(fun () -> form.Close())
第一行创建窗体，并把放在窗体上控件的列表作为它的最后一个参数，这个列表只包含一个按钮，在第二行声明。CreateButton 函数的最后一个参数是 lambda 函数，当用户单击按钮时调用，关闭应用程序，因此，需要引用窗体值，而这是在第一行中声明的。
这有什么难的呢？在 C# 中，我们可以轻松地写代码来做同样的事情，而并不认为它是特别的递归。在C# 中，我们在创建窗体之后，为按钮添加事件处理程序，或者，在创建窗体后添加按钮。不管哪种方法，我们都改变了（mutating）对象。通过改变（mutate），实现两个值之间的相互引用很容易，但是，想要值不可变时，问题就来了。
使用递归的 let 绑定，我们可以创建引用其他值的值，并且整个序列一起声明。当然，递归也有其局限性，如下面的代码片断：
let rec num1 = num2 + 1
and num2 = num1 + 1
这里，我们为了获取值num2，必须计算 num1；但是，要这样做，我们需要 num1 的值。第一个示例正确的区别在于，form 值只在 lambda 函数内部使用，因此，不立即需要。幸运的是，F# 编译器可以检测到这样不能运行的代码，并生成编译错误。
我们已经向展示了如何声明行为与数据结合的记录，以及如何使用 lambda 函数来创建这种记录类型的值。在清单 8.16 中，我们将完成这个示例，实现使用决策树检查客户的函数。
清单 8.16 递归处理决策树 (F# Interactive)
> let rec testClientTree(client, tree)= [1]
match treewith
| Result(message)–> [2]
printfn " OFFER A LOAN: %s" message
| Query(qinfo)–> [3]
letresult, case =
if (qinfo.Check(client)) then "yes", qinfo.Positive <-- 根据检查结果而定
else "no", qinfo.Negative
printfn " - %s? %s" qinfo.Title result
testClientTree(client, case) <-- 递归处理子树
;;
val testClientTree : Client * Decision–> unit
> testClientTree(john, tree);; <-- 交互测试代码
- More than $40k? no
- Years in job? no
- Uses credit card? yes
OFFER A LOAN: YES
val it : unit = ()
程序使用递归函数实现[1]。决策树既可能是最终结果[2]，也可能是另一个查询[3]。第一种情况，就输出结果；第二种情况，首先运行检查，并在两个可能的子树中选择一个，根据结果稍后处理。然后，向控制台报告进展情况，并递归调用自身，处理子树。在清单 8.16 中，我们还立即测试代码，看我们的样本客户符合决策树哪一个路径算法。
在本节，我们用 F# 开发了纯函数的决策树。像我们之前见过的，用 C# 重写函数式的结构（尤其是差别联合）可能非常困难，因此，在下一节，我们将用C# 3.0，结合面向对象技术和函数风格，实现类似的解决方案。
原文地址：http://blog.csdn.net/hadstj/article/details/41749415
