函数式F#语言程序设计

F#是.NET框架下的通用函数式语言，开发的高效使得F#是当前IT界用来开发实际应用的函数式语言之一。本书从类型理论出发，通过函数特征来阐述类型变换规则需要遵守的约束，着重描述了函数特征、部分应用、惰性赋值、模式匹配、测量单位、尾递归、连续传递风格和单子等函数式语言特有的语言元素工作原理。介绍了F#语言在排序算法和编译器构造方面的应用。