函数评估在Haskell中如何工作

Question

我觉得我的函数式编程的知识是欠缺所以有点我决定去看看网上，并按照教程，以获得更好，当我遇到凸轮这个地方的第一页上指出

“假设您有一个不变的数字xs = [1,2,3,4,5,6,7,8]列表，以及一个doubleMe函数，该函数将每个元素乘以2，然后返回一个新列表。如果我们想乘以我们用命令式语言将列表乘以8，然后执行doubleMe（doubleMe（doubleMe（doubleMe（xs）））），它可能会通过列表一次，然后进行复制然后返回，然后再通过列表两次，然后返回结果。”

根据我对函数式编程的了解，这似乎是错误的，让我向您展示原因：

doubleMe = (\x.* 2 x)

所以

doubleMe doubleMe doubleMe xs

Beta会减少为：

(\x.* 2 x) doubleMe doubleMe xs ->beta
(* 2 doubleMe) doubleMe xs 
(* 2 (\x.* 2 x)) doubleMe xs ->eta
(\x.* 2 * 2 x) doubleMe  xs ->beta
(* 2 * 2 doubleMe)  xs
(* 2 * 2 (\x.* 2 x)) xs ->eta
(\x.* 2 * 2 * 2 x) xs ->beta
(* 2 * 2 * 2 xs) ->beta
(* 4 * 2 xs) -> beta
(* 8 xs)

这意味着该函数的beta与（\\ x。* 8 x）等价

我给人的印象是，Haskell编译器在执行之前进行了这种简化，这意味着不，它不会像本教程所建议的那样在列表上进行3次传递，而只会进行一次。 我错了吗？ 如果是这样，那么Haskell为什么不这样做？ 当然，它将大大改善性能。

Answer 1

我认为您只是误读了该段。 它说（强调我的）：

如果我们想使用命令式语言将列表乘以8并doubleMe(doubleMe(doubleMe(xs))) ，则它可能会通过列表一次，然后进行复制然后返回。

命令式语言是诸如C或Python之类的语言。 不是Haskell。

该段继续将这种行为与“惰性语言”的行为进行对比：

用一种懒惰的语言...它只会在您真正需要时通过列表。 这样，当您想从懒惰的语言中获取某些东西时，您只需获取一些初始数据并有效地进行转换和修补，使其类似于最终所需的内容。

哪个更接近您的期望。