curry-howard

标签

#curry-howard

揭秘类型（及一些悖论的解惑）

Lobsters Hottest ↗ · 2026-08-15 缓存

类型理论为编程语言基础增加了不必要的复杂性，并提出基于关系成员的更简单观点。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈