用户: Ice1000/编程语言术语翻译表
想给大家做参考, 尽量会收集所有已经在文献里使用的翻译. 主要目的之一是给中文编程语言, 中文类型检查器, 和中文定理证明库做参考.
一些条目列出了多种翻译, 原因是这些翻译都有使用. 我们建议所有新的文章和程序使用列出的第一个翻译.
分类名称
| 英文 | 中文 |
|---|---|
| Type Theory | 类型论 |
类型论相关
| 英文 | 中文 |
|---|---|
| judgmental equality | 相等 (无修饰语) |
| identity type, equality type | 相等类型 |
| identity proof, equality proof | 相等证明 |
| function extensionality | 函数外延性 |
| propositional equality | 命题等价 |
| dependent type | 依值类型 |
| polymorphic equality | 依值相等 |
| heterogeneous equality | 异质相等 |
| inductive type | 归纳类型 |
| constructor | 构造子 |
| product type | 积类型, 对子类型 |
| universe | 宇宙 (类型论) |
| universe hierarchy | 宇宙层次 |
| crude but effective stratification | 粗略但好使的分层 |
| judgment | 判断 |
| context | 语境 |
| transitivity | 传递性 |
| symmetry | 对称性 |
编程语言相关
| 英文 | 中文 |
|---|---|
| continuation | 续延 |
| call with current continuation | 以当前续延调用 |
| normalization | 正规性 (类型论), 归一化 |
| head normalization | 顶部归一化, 头部正规化 |
| normal form | 正规形式 (类型论) |
| unification | 合一化 |