zktsin 最近的时间轴更新
zktsin

zktsin

V2EX 第 459166 号会员,加入于 2019-12-14 00:15:49 +08:00
今日活跃度排名 12810
zktsin 最近回复了
60 天前
回复了 ltkun 创建的主题 Android 全面私有云 2.0
信任是现代社会协作的基石
你想要的应该是这个
Cumulative Layout Shift

https://web.dev/articles/optimize-cls?hl=zh-cn
@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)))`。这是邱奇数的标准表示方式。
2023-03-29 22:41:25 +08:00
回复了 Myprajna 创建的主题 问与答 怎样让父母知道最近 AI 的突飞猛进?
父母连搜索引擎都不会用,这个更没感觉了。我觉得这个对普通人的影响还没搜索引擎大
2023-03-14 00:24:00 +08:00
回复了 absolutelylee 创建的主题 MacBook Pro 2023 m2 max 顶配使用感受
@absolutelylee 17 年还没有 16 寸吧
2023-02-25 18:07:00 +08:00
回复了 Suigintou 创建的主题 奇思妙想 大家知道数字仓鼠吗?有在当数字仓鼠吗?
囤积的时间都可以多看多学几部了,把东西记在自己脑子里不好吗
2022-11-11 20:01:46 +08:00
回复了 jollylee2012 创建的主题 问与答 今年 34 了,老是忘事,
多靠流程和工具
2022-11-11 20:00:56 +08:00
回复了 buttenkill 创建的主题 问与答 各位用什么洗发水
清场
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   1053 人在线   最高记录 6543   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 13ms · UTC 19:15 · PVG 03:15 · LAX 12:15 · JFK 15:15
Developed with CodeLauncher
♥ Do have faith in what you're doing.