9.2 改进以行为为中心的应用程序
在前面几章，我们已经展示了函数编程的几个基本概念，可以组合起来，获得所需的结果。在讨论构造数据类型的方法时，我们已经看到了这的示例，有元组、函数、差别联合和记录类型。
创建以行为为中心的应用程序，我们使用函数类型表示行为，它可以与其他类型组合。例如，使用记录类型可以在一个值中保存两个相关的函数。...
分类：
其他好文 时间：
2014-12-10 16:29:54
阅读次数：
173
8.4.2 F# 决策树
从规范的最后一句可以看出，链接既可以指向查询，也可以指向最终结果。在 F# 中，我们可以直接使用有两个选项的差别联合类型来写。规范还讲到了查询的详细信息，查询包含不同的字段，因此，可以用F# 的记录类型表示。
我们将定义一个 F# 的记录类型（QueryInfo），表示有关查询的信息，和一个差别联合类型（Decision），它既可以是另一个查询，也可以是最终的结...
分类：
其他好文 时间：
2014-12-05 17:27:29
阅读次数：
131
8.2.3.1 可变状态使用引用单元
要回答这个问题，我们需要能够创建一些要捕获的状态。一个方法是用 let mutable，但是，这样，并不能运行，因为这种可变值只能用于局部，不能被闭包捕获。
第二个方法是使用引用（ref）类型创建可变值，即引用单元（reference cell）的缩写，它是能够包含可变值的小对象（实际上，声明为 F＃ 的记录类型）。要理解引用类型的原理，我们在 C＃...
分类：
其他好文 时间：
2014-12-03 15:45:10
阅读次数：
189
1.2.4、数据库模式
1、三级模式
（1）、概念模式
也称模式，是对数据库中全局数据逻辑结构的描述，是全体用户公共的数据视图。主要描述数据的概念记录类型及其关系，还包括数据间的一些语义约束，对它的描述可用DBMS中的DDL定义。
（2）、外模式
也称子模式或用户模式，它是数据库用户（包括应用程序员和最终用户）能够看见和使用的局部数据的逻辑结构和特征的描述，是数据库用户的数据视图，是与某...
分类：
数据库 时间：
2014-12-02 11:48:11
阅读次数：
164
8.1.4 在 F# 中使用函数列表
首先，我们声明一个表示有关客户信息的类型；客户有很多属性，因此，用F# 的记录类型表示最自然的选择，我们在前一章已经看过。清单 8.4 显示了类型声明，和所创建样本客户的代码。
清单 8.4 Client 记录类型和样本值 (F# Interactive)
> type Client =
{ Name : string; Inco...
分类：
其他好文 时间：
2014-12-02 10:37:42
阅读次数：
190
7.1.1 使用 F# 记录类型
记录是“有标记元组（labeledtuples）”，是把几个不同的元素保存在一个值中；此外，每个元素都有一个可以用来访问的名字。在 F# 中，元素的名字叫字段（fields），它在很多方面类似于 C 的记录或结构（struct）构造，或者 C# 中的匿名类型。记录与匿名类型既有不同，即必须事先声明，也有相同，在基本形式中，记录只包含唯一属性，保存数据；清单...
分类：
其他好文 时间：
2014-11-24 10:04:52
阅读次数：
187
1.记录没有正确添加 请确认你的域名记录是否完全正确的添加。线路类型正确，记录类型正确 2.域名还没有生效 这个情况还会有另外一个现象，就是域名有时候可以ping，有时候不能ping。 这是因为你当地ISP的DNS服务器还没有完全刷新你的域名记录。解决方法是继续等待。 3.域名的DNS记录被缓存 缓...
分类：
其他好文 时间：
2014-11-20 21:38:14
阅读次数：
367
??
①PL/SQL 程序设计简介
PL/SQL是一种高级数据库程序设计语言，该语言专门用于在各种环境下对ORACLE数据库进行访问。由于该语言集成于数据库服务器中，
所以PL/SQL代码可以对数据进行快速高效的处理
在PL/SQL中可以使用的SQL语句有：
INSERT，UPDATE，DELETE，SELECT …INTO，COMMIT，ROLLBACK，SAVEPOINT。
提示：...
分类：
数据库 时间：
2014-11-17 15:59:54
阅读次数：
213
为什么要使用自定义数据类型呢？原因很简单，在现实生活中，比如一个学生他有姓名，学号，年龄，身高，出生年月，而在上一讲中，我们提到的数据类型无法满足现实生活需求，这个时候，自定义数据类型该派上用场了，我们可以定一个学生类型。从而达到我们的需求了。自定义数据类型又可以分为子界类型，数组类型，记录类型.....
分类：
其他好文 时间：
2014-10-06 12:04:00
阅读次数：
178
首先讲讲指针类型在delphi中是怎么定义的：指针类型的定义语法type=^；指针指向动态变量的类型是由^符后的基类型来标识，^符号也就是指针类型,而C++中是用*符号来表示指针类型.举例说明type student = record //定义个记录类型,与c++中的结构类型类似 name:s...
分类：
其他好文 时间：
2014-09-29 23:01:11
阅读次数：
277
