zktsin

@HangoX "极空间虽然有 docker ，但是很难用"，正准备入手，看到这句话犹豫了，真心请教一下具体难用在哪？难道 docker 还有阉割版？

阿隆佐·邱奇提出的 lambda 演算是一种形式系统，在它中，所有的函数都只有一个输入。你可以使用它来表示所有可计算的函数。为了用它实现加减乘除四则运算，我们先需要定义一些基础函数。

以下是用 JavaScript ES6 表示的四则运算的 lambda 演算：

```javascript
const ZERO = f => x => x;
const ONE = f => x => f(x);
const TWO = f => x => f(f(x));
const THREE = f => x => f(f(f(x)));

const SUCC = n => f => x => f(n(f)(x));
const PLUS = m => n => f => x => m(f)(n(f)(x));
const MULT = m => n => f => m(n(f));
const PRED = n => f => x => n(g => h => h(g(f)))(u => x)(u => u);
const SUB = m => n => n(PRED)(m);

const toInteger = n => n(x => x + 1)(0);

let four = SUCC(THREE);
console.log(toInteger(four)); // 4

let three = PRED(four);
console.log(toInteger(three)); // 3

let seven = PLUS(three)(four);
console.log(toInteger(seven)); // 7

let twelve = MULT(two)(six);
console.log(toInteger(twelve)); // 12

let two = SUB(four)(two);
console.log(toInteger(two)); // 2
```

这段代码首先定义了一些常数，如 `ZERO`、`ONE`、`TWO`、`THREE`。然后，定义了四则运算的函数 `SUCC`、`PLUS`、`MULT`、`PRED` 和 `SUB`。

其中 `SUCC` 是后继函数，表示加一操作。`PLUS` 是加法函数，它将两个数相加。`MULT` 是乘法函数，它将两个数相乘。`PRED` 是前驱函数，表示减一操作。`SUB` 是减法函数，它将两个数相减。

注意，所有的这些函数都是通过函数组合和应用来定义的，没有使用任何 JavaScript 特有的语法，完全按照邱奇的理论来实现。

然后，`toInteger` 函数用于将这些邱奇数转换为 JavaScript 中的整数，便于我们查看和验证结果。

最后的部分是一些运算示例，验证了这些函数的正确性。

注意，以上代码中的所有数都是邱奇数，它们都是以单参数函数的形式表示的。例如，`THREE` 是一个函数，它接受一个函数 `f` 和一个参数 `x`，并返回 `f(f(f(x)))`。这是邱奇数的标准表示方式。

父母连搜索引擎都不会用，这个更没感觉了。我觉得这个对普通人的影响还没搜索引擎大

@absolutelylee 17 年还没有 16 寸吧

囤积的时间都可以多看多学几部了，把东西记在自己脑子里不好吗

多靠流程和工具

清场

@baobao1270 很强

apfs 下复制文件不会重复占用空间吧