Question

假设您有一个不可变的数字列表xs = [1,2,3,4,5,6,7,8]和一个函数 doubleMe ，它将每个元素乘以2然后返回一个新列表。

当我们调用doubleMe(doubleMe(doubleMe(xs)))时，懒惰函数将如何工作？

doubleMe([1,2,3,4,5,6,7,8]) -> doubleMe(doubleMe([1,2,3,4,5,6,7,8])) -> doubleMe(doubleMe(doubleMe([1,2,3,4,5,6,7,8])))

或

doubleMe(doubleMe(doubleMe(1))) -> doubleMe(doubleMe(doubleMe(2))) -> ... -> doubleMe(doubleMe(doubleMe(8)))

Answer 1

假设doubleMe被懒惰地实施，它的评估如下：

doubleMe (doubleMe (1:2:3:[]))
= doubleMe (2 : doubleMe (2:3:[]))
= 4 : doubleMe (doubleMe (2:3:[]))
= 4 : doubleMe (4 : doubleMe (3:[]))
= 4 : 8 : doubleMe (doubleMe (3:[]))
= 4 : 8 : doubleMe (6 : doubleMe [])
= 4 : 8 : 12 : doubleMe (doubleMe [])
= 4 : 8 : 12 : doubleMe []
= 4 : 8 : 12 : []

有三个嵌套调用，而不是两个，评估是类似的。

基本上，评估策略会找到最外层 doubleMe调用，该调用具有弱头正常形式的参数 - 即[]或{{1}形式}}。然后它应用定义：

x : xs

当参数是一个列表时，lazy函数会立即通过参数吗？

1 个答案: