functional-programming - D 中的 Y 组合器？

Question

我正在尝试更好地学习 Y 组合器(我在 Scheme 中有点理解它)并在 D 2.0 中实现它，但我非常失败:

auto fact = delegate(uint delegate(uint) recurse)
{
    return delegate(uint n)
    {
        return n > 1 ? n * recurse(n - 1) : 1;
    };
};

fact(fact)(5);

这不起作用，原因很明显，我无法通过 fact至 fact (它的类型是什么？)。此外，我还需要 fact的名称传递给自己，所以无论如何它都不起作用，对吧？

但是......我如何在 D 中实现 Y 组合器？

Answer 1

查看详细解释 here .