邱奇编码（Church Encoding）的Javascript实现练习

最新推荐文章于 2024-11-06 17:05:16 发布

simonxk

最新推荐文章于 2024-11-06 17:05:16 发布

阅读量2.2k

点赞数 1

CC 4.0 BY-SA版权

分类专栏：编程文章标签： Javascript 函数式编程

本文链接：https://blog.youkuaiyun.com/simonxk/article/details/12679069

本文探讨了在学习函数式编程时，通过深入理解邱奇编码（Church Encoding）提升抽象思维的重要性。作者选择了JavaScript作为实现语言，逐步展示了邱奇数、邱奇布尔值和邱奇List（链表）的实现过程，强调了数学基础对于程序员的重要性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.背景

学习函数式编程也有一段时间了，首先发现学习这类的主题交叉的东西太多了，然后又发现追根溯源太耗时间和精力了。好想吃个什么羊草猪草就一下子通了任督二脉了，期望照进现实还是得埋头苦学呀。

前段学习后总结自己给了自己一个答案，就是自己还是太具体了，抽象层次不够。要学函数式编程，得把一个东西给搞透了，那就是眼里值(value)和函数(function)没有区别。于是就找到了这里Church encoding。加上前面说的Javascript也可以装B的文章，所以就来用Js来实现一些church encoding吧。

2.开始实现

a：邱奇数

//零
var zero=function(action){
    return function(x){return x;};
}

//加一
var succ=function(n){
    return function(action){
        return function(x){
            return action(n(action)(x));
        };
    };
}

//加法
var plus=function(m,n){
    return function(action){
        return function(x){
            return m(action)(n(action)(x));
        }
    };
}

//乘法
var mult=function(m,n){
    return function(action){
        return function(x){
            return m(n(action))(x);
        };
    };
}

//指数
var exp=function(m,n){
    return function(action){
        return function