11.3.5 为 C# 实现延迟值
在 11.3.3 节,我们使用函数来表示 C# 中的延迟计算。我们刚才在 F# 中探讨了Lazy 类型,它为计算过的值,添加了缓存功能。从Visual Studio 2010 开始,在核心的 .NET 库下的System.Lazy 就有了这种类型,因此,我们不必自己实现。
清单 11.18 是简化的 Lazy 类。代码在许多方面做了简化,它不是线程安...
11.3.4 F# 中的延迟值
F# 中的延迟值(lazy value)是通过延迟计算表示的,就是说,只有在值需要时才进行计算。在上一节,我们用 C# 函数实现了类似的功能,而延迟值自动只计算一次,并能记住结果。
探索此功能的最佳方法是在 F# Interactive 中进行。清单 11.16 用脚本进行了演示。
[
清单编号的错误再次出现了.
]
清单 11.16 介绍延迟值 ...
分类:
其他好文 时间:
2015-01-14 16:57:30
阅读次数:
220
11.3.4.1 实现或和延迟或
因为我们要实现运算符,需要将其定义为真正的运算符,而不只是通常的函数。就像在第六章学过的,可以在 F# 中引入自己的运算符,清单 11.17 显示了两种不同的或运算符。
[
清单序号还有问题。从 11.14 开始,就变成了 11.17 了。
]
清单 11.17 比较提前和延迟的或运算符 (F# Interactive)
l...
分类:
其他好文 时间:
2015-01-14 16:52:08
阅读次数:
187
11.3.2计算策略的比较
[
evaluation、computation、calculation,在第二章,是后两个计算放在一起,让人搞不清准确的含义;现在倒好,出现了三个计算,又该如何体会呢?
据说,从左到右,是从粗略到精确的过度,即,前面的强调估算,后面的强调演算。
能体会出来吗?语言不同,表达真的不同。
因此,计算机就选了一个中间值,既不强调粗,也不强调精;恰恰表明,既强...
分类:
其他好文 时间:
2015-01-12 16:43:33
阅读次数:
153
11.3.3 用函数模拟延迟计算
在F# 和C# 中计算顺序是提前的:作为给函数参数使用的表达式,在函数自身开始执行之前就计算好了。在C# 和F# 中,我们可以使用函数值模拟延迟计算,另外,F# 甚至有一个专门的关键字,支持延迟计算。
但首先,对于提前计算规则有一个例外,你肯定知道,并经常使用,但只是因为太常用,反而可能没有意识到它的特别。有些特定的C# 运算符,比如,逻辑或(||)、逻...
分类:
其他好文 时间:
2015-01-12 16:33:35
阅读次数:
189
11.3.1.2 Haskell 的延迟计算策略
在延迟计算策略(lazy evaluation strategy)中,函数的参数值,在函数调用时不会计算,直到后来用到这个值时才计算。我们回到前面的例子:
TestAndCalculate(Calculate(10));
在这里,Haskell 直接跳转到TestAndCalculate 函数主体。Haskell 会记住参...
分类:
其他好文 时间:
2015-01-12 11:36:32
阅读次数:
160
11.3.1.1 C# 和 F# 中的提前计算
在大多数主流的语言中,指定计算顺序的规则很简单:程序进行函数调用时,先计算所有的参数值,然后再执行函数。我们用前面的例子来演示:
TestAndCalculate(Calculate(10));
在所有的主流语言中,程序都会执行Calculate(10),然后再把结果作为参数值传递给TestAndCalculate。正如我们在...
11.3.1 不同的计算策略
Haskell 是一种纯函数式语言,有一个重要的方面,即,不允许任何副作用。有专门的技术在屏幕上输出,或处理文件系统,但对于程序员来说,它是以一种看起来不像有副作用的方式来实现。在这样的语言中,调整计算排序表达式的顺序是可能的;在Haskell 中,直到需要结果,才计算函数;这不会影响程序的结果,因为,函数没有副作用。
C# 和 F# 的函数都可能有副作用,...
分类:
其他好文 时间:
2015-01-11 16:16:53
阅读次数:
195
11.2.3 测试组合函数
在第11.1.2 节,我们讨论跟踪代码中的依赖关系时,使用的C# 方法,类似于上两个示例中的F# 函数,演示函数式编程使得更容易识别函数做什么,访问什么数据。这不仅在写代码时非常有用,而且在测试时也极其有用。
在第11.1 节,我们写过一个命令式方法,打印出由多字组成的名字,但是,它有副作用,会从作为参数传递进来的可变列表中删除元素。只要我们以后不再使用这...
分类:
其他好文 时间:
2015-01-11 13:36:31
阅读次数:
202
11.2.2.1 结构相等和比较
在F# 中,我们能声明的大多数类型,都是不可变的;如果我们不显式提供实现IComparable 接口,并重写 Equals 方法,F# 编译器会自动实现,它是通过比较结构相等(structural equality)实现的。对F# 的类,还不能自动完成,只对简单的函数类型,比如,记录、差别联合和元组,不必要显式声明。
使用这种比较类型的值,如果它们是相...
分类:
其他好文 时间:
2015-01-09 17:33:21
阅读次数:
154