函数评估如何在Haskell中工作

Question

我觉得我的知识的函数式编程是有点缺乏所以我决定看看网上并按照教程得到更好的当我凸轮通过它的状态在第一页

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

从我对函数式编程的了解来看，这似乎是错误的，让我告诉你为什么：

doubleMe = (\x.* 2 x)

所以

doubleMe doubleMe doubleMe xs

β是否会降低到：

(\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次，它只会传递一次。我错了吗？如果是这样，为什么哈斯克尔不这么做？当然，这将大大提高性能。

Answer 1

我认为你只是误读了那一段。它说（强调我的）：

如果我们想用命令式语言将列表乘以8，并执行doubleMe（doubleMe（doubleMe（xs）），它可能会通过列表一次，复制一个副本，然后返回它。

命令式语言是像C或Python这样的语言。不是哈斯克尔。

同一段继续将这种行为与“懒惰的语言”做了对比：

用一种懒惰的语言。。。它只会在你真正需要的时候通过列表。这样，当你想从一种懒惰的语言中得到一些东西时，你只需要获取一些初始数据，并有效地转换和修复它，使其与你最终想要的相似。

这更接近你的预期。