怎么才叫 lazy 呢？

izhier

如果哪里不正确，请指出，改之

需要时才计算，不需要时就不计算 才叫 lazy！

看一个例子：

1. 
   
2. --test.hs
   
3. module Main where
   
4. 
   
5. myIf::Bool->Int->Int->Int
   
6. myIf cond a b = if cond
   
7.                 then a
   
8.                 else b
   

复制代码

这里定义了一个简单的模拟 if..then..else..表达式的函数 myIf
其类型为Bool->Int->Int->Int
其接受三个参数（虽然表达不正确，就这样形象的说吧）
功能：当 cond 为 True 返回 a，否则返回 b

加载此模块
:l test.hs
键入：
myIf ("fst" == "Fst") 1 (2+3)

你知道这个函数怎么运行的吗？
如果你没接触过函数式编程，
你会认为：解释器先把 ("fst" == "Fst") 和 (2+3) 分别计算为 False 和 5,然后把 False、1 和 5 绑定到 myIf 函数的三个参数 cond、a 和 b上，因为 cond 为 False,所以返回 5.

哈哈，错了！
注意：“当需要时才计算，不需要时就不计算”这句话！

add　函数运行的过程为：
解释器把 ("fst" == "Fst")、1、(2+3) 三个参数绑定到 myIf 函数的三个参数 cond、a 和 b 上，返回 if..then..else表达式的值。
这时需要求if "fst" == "Fst" then 1 else (2+3) 表达式的值，先计算 "fst" == "Fst" 为 False, 所以返回 (2+3) 表达式的值，
这时需要求 (2+3) 表达式的值，计算 (2+3) 表达式的值为 5，
所以返回 5。

[ 本帖最后由 izhier 于 2009-3-31 20:38 编辑 ]

flw

解释完全错误！

你这个是 normal order 和 application order 的区别，和是不是 lazy 没太大关系。
很遗憾，Haskell 是 application order 的，也就是说，
是

你会认为：解释器先把 ("fst" == "Fst") 和 (2+3) 分别计算为 False 和 5,然后把 False、1 和 5 绑定到 myIf 函数的三个参数 cond、a 和 b上，因为 cond 为 False,所以返回 5.

这样子的。

你认识的正好是错误的。

你可以用 myIf (1==2) (2/0) (2+3) 来检验。

izhier

1. 
   
2. Main> myIf False (2/0) 1
   
3. ERROR - Cannot infer instance
   
4. *** Instance   : Fractional Int
   
5. *** Expression : myIf False (2 / 0) 1
   

复制代码

这个提示是 Cannot infer,说明类型不匹配,根本没有通过类型推导系统
(2/0) 不是 Int 类型

1. 
   
2. real world haskell 第二章 Understanding Evaluation by Example 中有讲
   

复制代码

[ 本帖最后由 izhier 于 2009-3-31 21:59 编辑 ]

roy_hu

flw理解完全错误。你可以用myIf (1==2) undefined (2+3)来检验。

roy_hu

原帖由 izhier 于 2009-3-31 21:51 发表

Main> myIf False (2/0) 1
ERROR - Cannot infer instance
*** Instance   : Fractional Int
*** Expression : myIf False (2 / 0) 1

这个提示是 Cannot infer,说明类型不匹配
我想问一下： 0 是 Frac ...

类型不匹配是因为2/0类型为(Fractional t) => t，而你的myIf的类型声明中，该参数为Int。

你把2/0换为div 2 0就好了。

win_hate

1. 
   
2. g=g
   
3. 
   
4. f b x y = if b then x else y
   

复制代码

执行 g 会陷入无限循环。

f True 1 g 得到 1。

f False 1 g 无限循环。

flw

哦？
我换成 2 `div` 0 之后确实是可以的。
难道 Haskell 居然是 normal order 的？

izhier

改回来了，发现你回贴了，晚了一步呀

[ 本帖最后由 izhier 于 2009-3-31 22:05 编辑 ]

flw

原帖由 win_hate 于 2009-3-31 21:59 发表

g=g

f b x y = if b then x else y


执行 g 会陷入无限循环。

f True 1 g 得到 1。

f False 1 g 无限循环。

这段代码好面熟啊。

win_hate

原帖由 flw 于 2009-3-31 22:01 发表

这段代码好面熟啊。

我以前没贴过啊？