python - 如何理解 Peter Norvig 的这段 Python 函数式代码？

Question

在阅读 Peter Norvig 的 Python IAQ 时，我遇到了这个代码片段:

def _if(test):
    return lambda alternative: \
               lambda result: \
                   [delay(result), delay(alternative)][not not test]()
def delay(f):
    if callable(f): return f
    else: return lambda: f
fact = lambda n: _if (n <= 1) (1) (lambda: n * fact(n-1))
fact(100)

我在网上搜索了一下，这个代码出现在几个论坛上，但是评论它的人似乎都明白它是如何工作的。

我对函数式编程概念还很陌生。我知道如果测试评估为 True，将选择 delay(alternative)。但实际上，如果 test 为真，则返回结果。这对我来说似乎违反直觉。

Answer 1

让我们看看:

• _if(True) 被调用，并立即返回带有 alternative 参数的 lambda
• 调用返回的 lambda 并将 alternative 设置为 1 并返回 result lambda
• result lambda 被调用，result 设置为 lambda: n * fact(n-1)
• not not True 计算结果为 1(此示例来自 python 2.4 时代!)，它索引第二个列表项，即 delay(alternative)
• alternative 之前设置为 1
• delay(1) 被调用，返回 lambda: 1
• lambda: 1 被调用，它返回 1。

TL/DR:1 是备选方案。

命名函数版本:

def _if(test):
    def then_closure(expr_if_true):
        def else_closure(expr_if_false):
            if test:
                delayed = delay(expr_if_true)
            else:
                delayed = delay(expr_if_false)
            return delayed()
        return else_closure
    return then_closure