了解 Racket 中的原始“foldl”

Question

我是一个初学者，我正在尝试理解原始函数 foldl/foldr。我阅读了documentation 并尝试了一些东西。 但是，在这种情况下，我无法掌握它的行为：

(foldl expt 2 '(1 2 3 4))
>> 262144

我认为结果应该是一样的：

(expt (expt (expt (expt 2 1) 2) 3) 4)
>> 16777216

我无法追踪 foldl，因为该函数是一个原始函数。我看不到该程序如何达到此结果。我正在使用 Racket 和 Dr. Racket。

Answer 1

您对foldl 的理解将参数顺序倒置（尽管这是可以理解的，因为 fold/reduce 的参数顺序倾向于vary somewhat arbitrarily between languages）。正确的等价如下：

> (foldl expt 2 '(1 2 3 4))
262144
> (expt 4 (expt 3 (expt 2 (expt 1 2))))
262144

顺便说一句，foldl 是内置于#lang racket/base，但它不是在运行时实现的意义上的原语。如果您使用的是 DrRacket，您可以右键单击 foldl 的使用并选择“打开定义文件”以打开实现它的模块，在本例中为 racket/private/list。