可运行的线上 Lambda 演算 - V2EX

首页注册登录

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

这是一个创建于 977 天前的主题，其中的信息可能已经有所发展或是发生改变。

https://readonly.link/articles/cicada-lang/lambda/-/docs/tests/nat-church.md

项目地址：https://github.com/cicada-lang/lambda

3 条回复 • 2022-04-17 10:12:14 +08:00

1

jiangzhizhou

2022-04-17 05:26:03 +08:00

在国外的大学学过，你要是面试问 Lambda Calculas 。哈哈哈哈哈哈哈哈

2

jiangzhizhou

2022-04-17 05:27:19 +08:00

Scheme 是世界上最好的编程语言

3

Knuth

2022-04-17 10:12:14 +08:00 via Android

这学期选的课也教这

关于 · 帮助文档 · 博客 · API · FAQ · 实用小工具 · 3053 人在线 最高记录 6679 ·

Select Language

创意工作者们的社区

World is powered by solitude

VERSION: 3.9.8.5 · 21ms · UTC 13:21 · PVG 21:21 · LAX 05:21 · JFK 08:21
Developed with CodeLauncher
♥ Do have faith in what you're doing.