C++ Implement YCombinator (Y组合子)

C# 语言实现 YCombinator(Y组合子)及多个简化代码分解_liulilittle的博客-CSDN博客

具体实现过程,可以参考上述提供博文,本人适用 C#语言实现的Y组合子及分解过程:

以下:

 C/C++ 11 实现 YCombinator(Y组合子):源代码及测试代码。

#include <iostream>
#include <functional>

        template <typename T, typename TResult>
        class RecursiveFunction
        {
        public:
            using FunctionType = std::function<TResult(T)>;
            using RecursiveType = std::function<FunctionType(RecursiveFunction)>;

        public:
            RecursiveFunction(const RecursiveType& f)
                : m_f(f)
            {

            }

        public:
            TResult operator ()(T arg) const
            {
                return m_f(*this)(arg);
            }

        private:
            RecursiveType m_f;
        };

        template <typename T, typename TResult>
        class YCombinator final
        {
        public:
            // Y = λf.(λx.f(x x)) (λx.f(x x))
            // Y = f => (λx.f(x x)) (λx.f(x x))
            // Y = f => (x => f(x(x)))(x => f(x(x)))
            // Y = (x => arg => f(x(x))(arg))(x => arg => f(x(x))(arg))
            static typename RecursiveFunction<T, TResult>::FunctionType Y(typename RecursiveFunction<T, TResult>::RecursiveType&& f)
            {
                auto g = [](auto x) -> typename RecursiveFunction<T, TResult>::FunctionType
                {
                    return [x](T arg) -> TResult
                    {
                        return x(x)(arg);
                    };
                };

                return g([f](auto x) -> typename RecursiveFunction<T, TResult>::FunctionType
                    {
                        return f(RecursiveFunction<T, TResult>{x});
                    });
            }
        };



int main(int argc, const char* argv[])
{
    auto factorial = ppp::expressions::YCombinator<int, int>::Y(
        [](auto f) 
        {
            return [f](int n) -> int { return n <= 1 ? 1 : n * f(n - 1); };
        });

    std::cout << factorial(5) << std::endl;  // 输出:120
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值