Haskell 中的函数求值是如何工作的

Question

我觉得我对函数式编程的知识有点欠缺，所以当我看到this 第一页上的说明时，我决定上网看看并遵循教程以变得更好

“假设您有一个不可变的数字列表 xs = [1,2,3,4,5,6,7,8] 和 一个函数 doubleMe 将每个元素乘以 2，然后 返回一个新列表。如果我们想将列表乘以 8 命令式语言并做了 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。

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

在一种懒惰的语言中......它只会在列表中传递一个，并且只有在你真正需要它的时候。这样，当您想要从惰性语言中获得某些东西时，您只需获取一些初始数据并有效地对其进行转换和修改，使其最终与您想要的相似。

这更接近您的预期。