Computer-Science-Glossary/dict.textile

h1. 词汇表

h2. 搜寻功能

*直接使用浏览器搜寻功能查找该单词即可！*

h2. 按字母索引

|"A 开头":#a|"B 开头":#b|"C 开头":#c|"D 开头":#d|"E 开头":#e|"F 开头":#f|
|"G 开头":#g|"H 开头":#h|"I 开头":#i|"J 开头":#j|"K 开头":#k|"L 开头":#l|
|"M 开头":#m|"N 开头":#n|"O 开头":#o|"P 开头":#p|"Q 开头":#q|"R 开头":#r|
|"S 开头":#s|"T 开头":#t|"U 开头":#u|"V 开头":#v|"W 开头":#w|"X 开头":#x|
|"Y 开头":#y|"Z 开头":#z|"专业名词":#-3||||

------------------------------------------

h2. A

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| append | 拼接 | | |
| ad hoc | 专设 | | |
| assoc-list, alist | 关联列表 | | |
| arithmetic | 算术 | | |
| automatically infer | 自动推导 | | |
| automatic memory management | 自动内存管理  | | |
| algebraic date type | 代数数据类型 | | |
| alternative | 备选 | | |
| atom | 原子 | | |
| atomic values | 原子型值 | | |
| abbreviations | 缩略语 | | |
| accumulators | 累积器 | | |
| antecedent | 前提 | 前件 | 先决条件 |
| artificial intelligence | 人工智能 | | |
| assignment | 赋值 | | |
| assignment operator | 赋值操作符 | | |
| autometa theory | 自动机理论 | | |
| augmented | 扩充 | | |
| anaphoric | 指代 | | |
| auxiliary | 辅助 | | |
| activate | 激活 | | |
| access | 访问 | 存取 | |
| access function | 访问函数 | 存取函数 | |
| abstract | 抽象的 | | |
| abstraction | 抽象 | | |
| abstraction barrier | 抽象屏障 | 抽象阻碍 | |
| abstract syntax tree, AST | 抽象语法树 | | |
| abstraction of function calls | 函数调用抽象 | | |
| adapter | 适配器 | | |
| address | 地址 | | |
| algorithm | 算法 | | |
| allocate | 分配 | 配置 | |
| application | 应用 | 应用程序 | |
| application framework | 应用框架 | | |
| applicative | 应用序 | | |
| argument | 参数 | 自变量 | 实际参数/实参 |
| array | 数组 | | |
| assemble | 组合 | | |
| assembly | 汇编 | | |
| associated | 关联的 | | |
| atomic | 原子的 | | |
| attribute | 属性 | 特性 | |
| annotation | 注解 | | |
| anonymous function | 匿名函数 | | |
| AI, Artificial Intelligence | 人工智能 | | |
| API, Application Program Interface | 应用程序编程接口 | | |
| ASP, Application Service Provider | 应用程序服务提供商 | | |
| a block of pointers | 一块指针 | 一组指针| |

h2. B

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| blub |  | | |
| bignum | 大数 | | |
| backtrace | 回溯 | | |
| branch | 分支 | 跳转 | |
| base case | 基本情形 | | |
| boilerplate | 公式化 | 样板 | |
| backquote | 反引用 | | |
| Bezier curves | 贝塞尔曲线 | | |
| binding | 绑定 | | |
| binding vector | 绑定向量 | | |
| block-names | 代码块名字 | | |
| body | 体 | 主体 | |
| bottom-up design | 自底向上的设计 | | |
| bottom-up programming | 自底向上编程 | | |
| brevity | 简洁 | | |
| bound | 限制 | | |
| bounds-checking | 边界检查 | | |
| breadth-first | 广度优先 | | |
| breadth-first search | 广度优先搜索 | | |
| building | 创建 | | |
| backward compatible | 向下兼容 | | |
| base class | 基类 | | |
| best viable function | 最佳可行函式 | 最佳可行函数 | |
| binary search | 二分查找 | 二分搜索 | 二叉搜索 |
| binary tree | 二叉树 | | |
| binary search tree | 二叉搜索树 | | |
| binary operator | 二元操作符 | | |
| bit | 位 | 比特 | |
| bit manipulation | 位操作 | | |
| block | 块 | 区块 | |
| block structure | 块结构 | 区块结构 | |
| boolean | 布尔 | | |
| book-keeping | 簿记 | | |
| border | 边框 | | |
| brace | 花括弧 | 花括号 | |
| bracket | 方括弧 | 方括号 | |
| breakpoint | 断点 | | |
| built-in | 内置 | | |
| byte | 字节 | | |
| byte code | 字节码 | | |
| bug | 臭虫 | | |
| black-box abstraction | 黑箱抽象 | | |
| box notation | 箱子表示法 | | |
| bandwidth | 带宽 | | |
| Bayesian | 贝叶斯定理 | | |
| bloatcode | 代码膨胀 | | |
| Blub Paradox | Blue 困境 | | |
| buffer | 缓冲区 | | |
| buffer overflow attack | 缓冲区溢出攻击 | | |

h2. C

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| corruption | 程序崩溃 | | |
| consistent | 一致性 | | |
| column | 行 | 栏 | |
| column-major order | 行主序 | | |
| crystallize | 固化 | | |
| corollary | 推论 | | |
| clutter | 杂乱 | | |
| comma | 逗号 | | |
| Cucumber | （行为驱动测试框架）小黄瓜 | | |
| code | 代码 | | |
| command-line | 命令行  | | |
| CLI, Command Line Interface | 命令行界面 | | |
| CamelCase | 驼峰式大小写 | | |
| constraint | 约束  | | |
| constraint programming | 约束式编程 | | |
| computation | 计算 | | |
| compliment | 补集 | | |
| compression | 压缩 | | |
| chunk | 块 | | |
| case | 分支 | | |
| compound value | 复合数据 | 复合值 | |
| collection | 收集器 | 复合类型 | |
| currying | 柯里化 | | |
| composition | 组合 | 组合函数 | |
| composability | 可组合性 | | |
| character | 字符 | | |
| capture | 捕捉 | | |
| closed world assumption | 封闭世界假定 | | |
| compilation | 编译 | | |
| consequent | 结果 | 推论 | |
| continuations | 续延 | | |
| clarity | 清晰 | | |
| complex | 复杂 | | |
| complexity | 复杂度 | | |
| conditional | 条件式 | | |
| conditional variable | 条件变量 | | |
| cons | 构造 | | |
| cons cell | cons 核 | | |
| concatenation | 串接 | | |
| cache | 缓存 | | |
| call | 调用 | | |
| callback | 回调 | | |
| candidate function | 候选函数 | | |
| child class | 子类 | | |
| class | 类 | 类别 | |
| class declaration | 类声明 | | |
| class library | 类库 | | |
| client | 客户 | 客户端 | |
| clipboard | 剪贴板 | | |
| clone | 克隆 | | |
| command line | 命令行 | | |
| compatible | 兼容 | | |
| compile | 编译 | | |
| compiler | 编译器 | | |
| compile inline | 内联编译 | | |
| compilation parameter | 编译参数 | | |
| compiled form | 编译后的形式 | | |
| compile time | 编译期 | | |
| compile-time | 编译期 | | |
| component | 组件 | | |
| computer | 计算机 | | |
| concept | 概念 | | |
| concrete | 具体 | | |
| concurrent | 并发 | | |
| concurrency | 并发 | | |
| configuration | 配置 | | |
| connection | 连接 | | |
| container | 容器 | | |
| context | 上下文 | 语境 | 环境 |
| control | 控件 | | |
| constant | 常量 | | |
| copy | 拷贝 | | |
| create | 创建 | | |
| cursor | 光标 | | |
| closure | 闭包 | | |
| CGI, Common Gateway Interface | 通用网关接口 | | |
| checksum | 校验和 | | |
| circular definition | 循环定义 | | |
| content-based filtering | 基于内容的过滤 | | |
| crash | 崩溃 | | |
| cycle | 周期 | | |
| Common Lisp Object System | Common Lisp 对象系统 | | |


h2. D

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| destructuring | 解构 | | |
| dimensions | 维度 | | |
| duplicate | 复本 | | |
| delegation |  | | |
| DARPA, Defense Advanced Research Projects Agency | 美国国防部高级研究计划局 | | |
| dellocate | 释放 | | |
| dotted list | 点状列表 | | |
| dotted-pair notation | 带点尾部表示法 | 带点尾部记法 | |
| destructive | 破坏性的 | | |
| destructive function | 破坏性函数 | | |
| data | 数据 | | |
| data-driven | 数据驱动 | | |
| data structure | 数据结构 | | |
| database | 数据库 | | |
| database schema | 数据库纲目 | | |
| data type | 数据类型 | | |
| datagram | 数据报文 | | |
| deconstruction | 解构 | | |
| directive | 指令 | | |
| derived | 派生 | | |
| define | 定义 | | |
| definition | 定义 | | |
| dispatch | 分派 | 派发 | |
| dynamic languages | 动态语言 | | |
| dynamic scope | 动态作用域 | | |
| dynamic extent | 动态范围 | | |
| dynamic type | 动态类型 | | |
| depth-first | 深度优先 | | |
| depth-first search | 深度优先搜索 | | |
| declaring | 声明 | | |
| declaration | 声明 | | |
| declarative | 声明式 | 说明式 | |
| declarative knowledge | 声明式知识 | 说明式知识 | |
| declarativeness | 可声明性 | | |
| declarative programming | 说明式编程 | 声明式编程 | |
| declarative knowledge | 说明式知识 | 声明式知识 | |
| declaration forms | 声明形式 | | |
| dead lock | 死锁 | | |
| debug | 调试 | | |
| debugger | 调试器 | | |
| deduction | 推导 | 推断 | |
| default | 缺省 | 默认	| |
| defer | 推迟 | | |
| delegate | 委托 | | |
| demarshal | 散集 | | |
| derived class | 派生类 | | |
| design pattern | 设计模式 | | |
| directive | 指示符 | | |
| directory | 目录 | | |
| disk | 盘 | | |
| distributed computing | 分布式计算 | | |
| document | 文档 | | |
| dynamic binding | 动态绑定 | | |
| dangling pointer | 迷途指针 | 野指针 | |
| debugging | 排错 | | |
| deprecated | 废弃 | | |
| device driver | 硬件驱动程序 | | |



h2. E

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| emulate | 仿真 | | |
| expendable | 可扩展的 | | |
| extent | 范围 | 程度 | |
| elaborate | | | |
| elucidating |  | | |
| effect | 效果 | | |
| escaped | 逃脱 | 溢出 | |
| expression | 表达式 | | |
| export | 导出 | 引出 | |
| equation | 方程 | | |
| error-checking | 错误检查 | | |
| evaluate | 求值 | 评估 | |
| evaluation | 求值 | | |
| exploratory programming | 探索式编程 | | |
| extensibility | 可扩展性 | | |
| expressive power | 表达能力 | | |
| efficiency | 效率 | | |
| efficient | 高效 | | |
| encapsulation | 封装 | | |
| enum | 枚举 | | |
| enumrators | 枚举器 | | |
| enumeration type | 枚举类型 | | |
| environment | 环境 | | |
| equal | 相等 | | |
| equality | 相等性 | | |
| equivalence | 等价性 | | |
| error message | 错误信息 | | |
| event | 事件 | | |
| event driven | 事件驱动 | | |
| exception | 异常 | | |
| exception handling | 异常处理 | | |
| exception specification | 异常规范 | | |
| exit | 退出 | | |
| explicit | 显式 | | |
| external representation | 外部表示法  | | |
| embedded language | 嵌入式语言 | | |


h2. F

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| forward references |  | | |
| feasible | 可行的 | | |
| fineo-grained | 细粒度 | | |
| factorial | 阶乘 | | |
| fixnum | 定长数 | | |
| form | 表单 | | |
| floating point | 浮点数 | | |
| floating-point notation | 浮点数表示法 | | |
| fold | 折叠 | | |
| family | （类型的）系 | | |
| first-class | 第一类的 | 第一级的 | 一等的 |
| first-class object | 第一类的对象 | 第一级的对象 | 一等公民 |
| first-class function | 第一级函数 | 第一类函数 | 一等函数 |
| fixed-point | 不动点  | | |
| formal relation | 形式关系 | | |
| fractions | 派系 | | |
| function | 函数 | | |
| functional arguments | 函数型参数 | | |
| functional programming | 函数式编程 | | |
| function literal | 函数字面常量 | | |
| feature | 特色 | | |
| field | 字段 | 栏位 | |
| file | 文件 | | |
| fill pointer | 填充指针 | | |
| firmware | 固件 | | |
| flag | 标记 | | |
| flash | 闪存 | | |
| flexibility | 灵活性 | | |
| flush | 刷新 | | |
| font | 字体 | | |
| form | 形式 | | |
| formal parameter | 形参 | | |
| forward | 转发 | | |
| fractal | 分形 | | |
| framework | 框架 | | |
| function object | 函数对象 | | |
| functionality | 功能性 | | |
| freeware | 自由软件 | | |
| force | 迫使 | | |


h2. G

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| goto | 跳转 | | |
| generic | 通用的 | 泛化的 | |
| generic function | 通用函数 | | |
| generic algorithm | 通用算法 | 泛型算法 | |
| generic programming | 通用编程 | 泛型编程 | |
| garbage | 垃圾 | | |
| garbage collection | 垃圾回收 | | |
| garbage collector | 垃圾回收器 | | |
| generalized variables | 广义变量 | | |
| generalized | 泛化 | | |
| game | 游戏 | | |
| generate | 生成 | | |
| Genrative Programming | 生产式编程 | | |
| global | 全局的 | | |
| global declarations | 全局声明 | | |
| GUI | 图形介面 | | |
| Greatest Common Divisor | 最大公因数 | | |
| garbage collection | 垃圾收集 | | |
| glue program | 胶水程序 |
| Greenspun's Tenth Rule | 格林斯潘第十定律 | | |


h2. H

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| helper | 辅助函数 | 辅助方法 | |
| high-order | 高阶 | | |
| higher-order function | 高阶函数 | | |
| higher-order procedure | 高阶过程 | | |
| hash tables | 哈希表 | 散列表 | |
| hard-wire | | | |
| hardware | 硬件 | | |
| hard disk | 硬盘 | | |
| header | 头部 | | |
| header file | 头文件 | | |
| handle | 处理器 | 处理程序 | 句柄 |
| heap | 堆 | | |
| hyperlink | 超链接 | | |
| hack | 破解 | | |
| hacker | 黑客 | | |
| heuristic | 启发式 | | |
| HTML, HyperText Markup Language | 超文本标记语言 | | |
| HTTP, HyperText Transfer Protocol | 超文本传输协议 | | |



h2. I

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| identity | 同一性 | | |
| illusion | 错觉 | | |
| instructive | 教学性的 | | |
| interpolation | 插值 | | |
| intermediate form | 过度形式 | | |
| intersection | 交集 | | |
| ill type | 类型不正确 | | |
| indent | 缩排 | 缩进 | |
| indention | 缩排 | 缩进 | |
| indentation | 缩排 | 缩进 | |
| infix | 中序 | | |
| infer | 推导 | | |
| infinite-precision | 无限精度 | | |
| integer | 整数 |  |  |
| internal | 内部 | | |
| interrupt | 中止 | 中断 | |
| imperative | 命令式 | | |
| imperative programming | 命令式编程 | | |
| incremental testing | 增量测试 | | |
| instances | 实例 | | |
| instantiate | 实例化 | | |
| implicit | 隐式 | | |
| iterate | 迭代 | | |
| iterative | 迭代的 | | |
| iteration | 迭代的 | | |
| iterator | 迭代器 | | |
| identical | 一致 | | |
| identifier | 标识符 | | |
| implement | 实现 | | |
| implementation | 实现 | | |
| import | 导入 | | |
| inner loop | 内层循环 | | |
| infinite loop | 无限循环 | | |
| infinite recursion | 无限递归 | | |
| information | 信息 | | |
| inheritance | 继承 | | |
| inline | 内联 | | |
| inline expansion | 内联展开 | | |
| initialize | 初始化 | | |
| initialization | 初始化 | | |
| inner class | 内嵌类 | | |
| integrate | 集成 | | |
| interacts | 交互 | | |
| interactive testing | 交互式测试 | | |
| interactive language | 交互式语言 | | |
| interactive programming environment | 交互式编程环境 | | |
| interface | 接口 | | |
| internet | 互联网 | 因特网 | |
| interpret | 解释 | | |
| interpreter | 解释器 | | |
| invariants | 约束条件 | | |
| invoke | 调用 | | |
| item | 项 | | |
| indented | 缩进 | | |
| instrument | 记录仪 | | |
| input | 输入 | | |
| IT, information Technology | 信息技术 | | |


h2. J

| judicious | 明智的 | | |

h2. K

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| keywords | 关键字 | | |
| keyword argument | 关键字参数 | | |
| kludge | 蹩脚 | | |
| kernel | 核心 | | |
| kernel language | 核心语言 | | |



h2. L

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| latitude |  | | |
| leverage | 杠杆 | (v.)利用 | |
| layout | 版型 | | |
| linear recursion | 线性递归 | | |
| linear iteration | 线性迭代 | | |
| list | 列表 | | |
| list operation | 列表操作 | | |
| lazy | 惰性 | | |
| lazy evaluation | 惰性求值 | | |
| literal | 字面 | | |
| literal constant | 字面常量 | | |
| literal representation | 字面量 | | |
| lexical | 词法的 | | |
| lexical analysis | 词法分析 | | |
| lexical scope | 词法作用域 | | |
| lexical closure | 词法闭包 | | |
| local | 局部的 | 局域的 | |
| local function | 局部函数 | 局域函数 | |
| local variable | 局部变量 | 局域变量 | |
| local declarations | 局部声明 | | |
| locality | 局部性 | | |
| laser | 激光 | | |
| library | 库 | 函数库 | 函式库 |
| lifetime | 生命期 | | |
| link | 链接 | 连接 | |
| linker | 连接器 | | |
| load | 装载 | 加载 | |
| loader | 装载器 | 加载器 | |
| loop | 循环 | | |
| lvalue | 左值 | | |
| lambda calculus | lambda 演算 | | |
| legacy software | 历史遗留软件 | | |
| larval startup | 雏形创业公司 | | |
| LFSP, Language For Smart People | 聪明人的语言 | | |

h2. M

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| migration | （数据库）迁移 | | |
| monkey patch | 猴子补丁 | | |
| minimal network | 最小网络 | | |
| mirror | 镜射 | | |
| monad | 单子 | | |
| monomorphic type language | 单型语言 | | |
| mismatch type | 类型不匹配 | | |
| mapping | 映射 | | |
| macro | 宏 | | |
| mainframes | 大型机 | | |
| mapping | 映射 | | |
| mapping functions | 映射函数 | | |
| memory | 内存 | | |
| memory leaks | 内存泄漏 | | |
| memory allocation | 内存分配 | | |
| memorizing | 记忆化 | | |
| message | 消息 | | |
| message-passing | 消息传递 | | |
| method | 方法 | | |
| method combination | 方法组合 | 方法组合机制 | |
| methods | 方法 | | |
| maintain | 维护 | | |
| mailing list | 邮件列表 | | |
| manipulator | 操纵器 | | |
| manifest typing | 显式类型 | | |
| marshal | 列集 | | |
| member | 成员 | | |
| menu | 菜单 | | |
| meta- | 元- | | |
| meta-programming | 元编程 | | |
| metaprogramming | 元编程 | | |
| micro | 微 | | |
| middleware | 中间件 | | |
| modem | 调制解调器 | | |
| module | 模块 | | |
| modularity | 模块化 | | |
| multiple values | 多值 | | |
| modifier | 修饰符 | | |
| mouse | 鼠标 | | |
| multi-task | 多任务 | | |
| mutable | 可变的 | | |
| mutex | 互斥锁 | | |
| model | 模型 | | |
| machine learning | 机器学习 | | |
| machine language | 机器语言 | | |
| machine language code | 机器语言代码 | | |
| machine instruction | 机器指令 | | |
| math envy | 对数学家的妒忌 | | |
| metacircular | 元循环 | | |
| Moore's Law | 摩尔定律 | | |



h2. N

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| nondeclarative | | | |
| non-strict evaluation | 非严格求值 | | |
| non-strict | 非严格 | | |
| native | 本地的 | | |
| native code | 本地码 | | |
| Non-deterministic choice | 非确定性选择 | | |
| nested | 嵌套 | | |
| nested class | 嵌套类 | | |
| nondestructive version | 非破坏性的版本 | | |
| namespace | 命名空间 | | |
| network | 网络 | | |
| natural language | 自然语言 | | |
| natural language processing | 自然语言处理 | | |
| newline | 换行 | 新行 | |
| number crunching | 数字密集运算 | | |


h2. O

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| on the fly | 运行中 | 执行时 | |
| override | 覆写 | | |
| object | 对象 | | |
| object code | 目标代码 | | |
| orthogonality | 正交性 | | |
| object-oriented | 面向对象 | | |
| object-oriented programming | 面向对象编程 | | |
| online | 在线 | | |
| operation | 操作 | | |
| operator | 操作符 | | |
| operand | 操作对象 | | |
| option | 选项 | | |
| optional | 可选的 | 选择性的 | |
| optional argument | 选择性参数 | | |
| ordinary | 常规的 | | |
| overflow | 溢出 | | |
| overhead | 额外开销 | | |
| overload | 重载 | | |
| Occam's Razor | 奥卡姆剃刀原则 | | |
| open source | 开发源码 | | |
| OS, Operating System | 操作系统 | | |
| optimization | 优化 | | |
| optimization of tail calls | 尾调用优化 | | |


h2. P

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| pseudo instruction | 伪指令 | | |
| positional parameters | 位置参数 | | |
| prescribe | 规定 | | |
| parallel computer | 并行计算机 | | |
| Parkinson's Law | 帕金森法则 | | |
| prototype | 原型 | | |
| proper list | 正规列表 | | |
| pushdown stack | 下推栈 | | |
| palindrome | 回文 | | |
| paradigm | 范式 | | |
| primitive recursive | 主递归 | | |
| predicate | 判断式 | 谓词 | |
| parallel | 并行 | | |
| partial application | 部分应用 | | |
| partial function application | 部分函数应用 | | |
| particular ordering | 部分有序 | | |
| principal type | 主要类型 | | |
| polymorphic | 多态 | | |
| pair | 点对 | | |
| purely functional language | 纯函数式语言 | | |
| parse | 解析 | | |
| parser | 解析器 | | |
| parser tree | 解释树 | | |
| phrenology | 相面 | | |
| planning | 计画 | | |
| pointers | 指针 | | |
| pools | 池 | | |
| process | 进程 | | |
| productivity | 生产力 | | |
| programmer | 程序员 | | |
| programming | 编程 | | |
| programming language | 编程语言 | | |
| property list | 属性列表 | | |
| prompt | 提示符 | | |
| primitive | 原语 | | |
| primitive type | 原生类型 | | |
| package | 包 | | |
| param | 参数 | | |
| parameter | 参数 | 形参 | |
| parent class | 父类 | | |
| parentheses | 括号 | | |
| paren-matching | 括号匹配 | | |
| pass by adress | 按址传递 | 传址 | |
| pass by reference | 按引用传递 | 传引用 | |
| pass by value | 按值传递| 传值 | |
| pattern | 模式 | | |
| pattern match | 模式匹配 | | |
| perform | 执行 | | |
| performance | 性能 | | |
| performance-critical |  | | |
| persistence | 持久性 | | |
| physical | 物理的 | | |
| pixel | 像素 | | |
| platform | 平台 | | |
| placeholder | 占位符 | | |
| pointer | 指针 | | |
| pointer arithmetic | 指针运算 | | |
| poll | 轮询 | | |
| polymorphism | 多态 | | |
| port | 端口 | | |
| postfix | 后序 | | |
| preprocessor | 预处理器 | | |
| prime | 素数 | | |
| print | 打印 | | |
| printer | 打印机 | | |
| printed representation | 打印表示法 | | |
| priority | 优先级 | | |
| process priority | 进程优先级 | | |
| procedure | 过程 | | |
| procedurual | 过程化的 | | |
| procedurual knowledge | 过程式知识 | | |
| profile | 评测 | | |
| profiler | 评测器 | 性能分析器 | |
| project | 项目 | | |
| property | 属性 | | |
| protocol | 协议 | | |
| pseudo code | 伪码 | | |
| preceding | 前述的 | | |
| precedence | 优先级 | | |
| precedence list | 优先级 | | |
| path | 路径 | | |
| pipe | 管道 | | |
| polynomial | 多项式的 | | |
| portable | 可移植性 | | |
| portal | 门户 | | |
| premature design | 过早设计 | | |
| pseudocode | 伪码 | | |

h2. Q

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| quote | 引用 | | |
| quoted form | 引用形式 | | |
| query | 查询 | | |
| query language | 查询语言 | | |
| qualified | 修饰的 | 带前缀的 | |
| qualifier | 修饰符 | | |
| quality | 质量 | | |
| queue | 队列 | | |
| QA, Quality Assurance | 质量保证 | | |


h2. R

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| race condition | 条件竞争 | 竞态条件 | |
| rest parameter | 余留参数 | 剩馀参数 | |
| row-major order | 列主序 | | |
| request | 请求 | | |
| read | 读取 | | |
| read-macro | 读取宏 | | |
| REPL | 读取-求值-打印循环 | | |
| read-eval-print loop | “读取——求值——打印“循环 | | |
| Read-Evaluate-Print Loop | 读取-求值-打印循环 | | |
| recursion | 递归 | | |
| recursive | 递归的 | | |
| recursive case | 递归情形 | | |
| right associative | 右结合 | | |
| rapid prototyping | 快速原型开发 | | |
| reuse of software | 代码重用 | | |
| referential transparency | 引用透明 | | |
| register | 寄存器 | | |
| radian | 弧度 | | |
| raise | 引起 | | |
| random number | 随机数 | | |
| range | 范围 | 区间 | |
| rank | （矩阵）秩 | 排名 | |
| raw | 未经处理的 | | |
| record | 记录 | | |
| refactor | 重构 | | |
| refer | 参考 | | |
| reference | 引用 | 参考 | |
| refine | 精化 | | |
| reflection | 反射 | 映像 | |
| rational database | 关系数据库 | | |
| represent | 表现 | | |
| resolve | 解析 | | |
| resolution | 解析度 | | |
| return | 返回 | | |
| return value | 返回值 | | |
| robust | 健壮 | | |
| robustness | 健壮性 | | |
| routine | 例程 | | |
| routing | 路由 | | |
| runtime | 运行期 | | |
| run-time typing | 运行期类型 | | |
| return | 回车 | | |
| rvalue | 右值 | | |
| RAID, Redundant Array of Independent Disks | 冗余独立磁盘阵列 | | |
| regular expression | 正则表达式 | | |
| RISC, Reduced Instruction Set Computer | 精简指令系统计算机 | | |
| run-length encoding | 游程编码 | | |

h2. S

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| superfluous | 多余的 | | |
| single-segment | 单段的 | | |
| simulate | 模拟 | | |
| SICP | 《计算机程序的构造与解释》| | |
| segment of instructions | 指令片段 | | |
| stakeholder |  | | |
| slash | 斜线 | | |
| semicolon | 分号 | | |
| scaffold | 脚手架 | 鹰架 | |
| shadowing | 隐蔽了 | | |
| snake_case  | 蛇底式小写 | | |
| SCREAMING_SNAKE_CASE | 尖叫式蛇底大写 | | |
| simple vector | 简单向量 | | |
| shortest path | 最短路径 | | |
| scope | 作用域 | | |
| strong type | 强类型 | | |
| static type | 静态类型 | | |
| static type system | 静态类型系统 | | |
| statement | 陈述 | 语句 | |
| strict evaluation | 严格求值 | | |
| substitution | 代换 | | |
| substitution model | 代换模型 | | |
| structural recursion | 结构递归 | | |
| structured values | 结构型值 | | |
| space leak | 内存泄漏 | | |
| strict | 严格 | | |
| series | 串行 | 级数 | |
| side-effects | 副作用 | | |
| sketch | 草图 | 初步框架 | |
| slot | 槽 | | |
| squash | 碰撞 | | |
| stack | 栈 | | |
| stack frame | 栈帧 | | |
| string | 字串 | 字符串 | |
| string template | 字串模版 | | |
| swapping values | 交换变量的值 | | |
| symbol | 符号 | | |
| symbolic computation | 符号计算 | | |
| special variable | 特殊变量 | | |
| special form | 特殊形式 | | |
| specialize | 特化 | | |
| specialization | 特化 | | |
| specialized array | 特化数组 | | |
| semaphore | 信号量 | | |
| save | 储存 | | |
| scalar type | 标量 | | |
| schedule | 调度 | | |
| scheduler |  调度程序 | | |
| screen | 屏幕 | | |
| search | 查找 | 搜寻 | |
| semantics | 语义 | | |
| sequence | 序列 | | |
| sequential | 循序的 | 顺序的 | |
| sequential collection literals |  | | |
| server | 服务器 | | |
| serial | 串行 | | |
| serialization | 序列化 | | |
| signature | 签名 | | |
| smart pointer | 智能指针 | | |
| snapshot | 屏幕截图 | | |
| specification | 规格说明 | 规范 | |
| splitter | 切分窗口 | | |
| software | 软件 | | |
| solution | 方案 | | |
| source code | 源代码 | | |
| standard library | 标准函式库 | | |
| status | 状态 | | |
| stream | 流 | | |
| subroutine | 子程序 | | |
| subtype | 子类型 | | |
| support | 支持 | | |
| supertype | 超集 | | |
| superclass | 基类 | | |
| suspend | 挂起 | | |
| syntax | 语法 | | |
| sharp-quote | 升引号 | | |
| square | 平方 | | |
| square root | 平方根 | | |
| scan | 扫描 | | |
| scripting language | 脚本语言 | | |
| s-expression | s-表达式 | s 表达式 | |
| socket | 套接字 | | |
| spaghetti | 面条式代码 | 意面式代码 | |
| spaghetti stack | 意面式栈 | 面条式栈 | |
| spam | 垃圾邮件 | | |
| spce | 规格 | | |
| SSL, Secure Sockets Layer | 安全套接字层 | | |
| state machine | 状态机 | | |
| subset | 子集 | | |
| system administrator | 系统管理员 | | |
| system administrator disease | 系统管理员综合症 | | |
| store | 保存 | | |


h2. T

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| TAOCP | 《计算机程序设计艺术》| | |
| timestamp | 时间戳 | | |
| trailing space | 行尾空白 | | |
| taxonomy | 分类法 | | |
| trace | 追踪 | | |
| type | 类型 | | |
| type hierarchy | 类型层级 | | |
| type name | 类型名 | | |
| type signature | 类型签名 | | |
| type variable | 类型变量 | | |
| type declarations | 类型声明 | | |
| typable | 类型合法 | | |
| type safe | 类型安全 | | |
| typing | 类型指派 | 输入 | |
| type inference | 类型推导 | | |
| tuple | 元组 | | |
| type constructor | 类构造器 | | |
| type synonym | 类型别名 | | |
| top-level | 顶层 | | |
| tail-recursion | 尾递归 | | |
| tail-recursive | 尾递归的 | | |
| taxable operators | 需节制使用的操作符 | | |
| testing | 测试 | | |
| three-valued logic | 三值逻辑 | | |
| top-down design | 自顶向下的设计 | | |
| transition networks | 转移网络 | | |
| tree | 树 | | |
| tree recursion| 树形递归 | | |
| Turing machines | 图灵机 | | |
| table | 表格 | | |
| (database)table | 数据表 | | |
| tag | 标签 | 标记 | |
| target | 目标 | | |
| template | 模版 | | |
| temporary object | 临时对象 | | |
| text | 文本 | | |
| text file | 文本文件 | | |
| thread | 线程 | | |
| tread safe | 多线程安全 | | |
| throw | 抛出 | 丢掷 | 引发 |
| token | 符号 | 语义单位 | 语元 |
| transaction | 事务 | | |
| transparent | 透明的 | | |
| traverse | 遍历 | | |
| trigger | 触发 | | |
| throwaway program | 一次性程序 | | |
| toplevel | 顶层解释器 | | |
| Turing-complete | 图灵完备 | | |
| Turing-machine | 图灵机 | | |


h2. U

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| union | 并集 | | |
| universally quantify | 全局量化 | | |
| unification | 合一 | 统一 | |
| utilities | 实用函数 | | |
| underflow | 下溢 | | |
| unary | 一元的 | | |
| unwinding |  | | |
| unqualfied | 未修饰的 | | |
| user | 用户 | | |
| UI, user interface | 用户界面 | | |
| uptime | 运行时间 | | |
| URL, Uniform Resource Locator | 统一资源定位符 | | |

h2. V

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| variant | 变种 | | |
| variadic input | 可变输入 | | |
| validate | 验证 | | |
| validator | 验证器 | | |
| value constructor | 值构造器 | | |
| variable | 变量 | | |
| variable capture | 变量捕捉 | | |
| vector | 向量 | | |
| viable function | 可行函数 | | |
| video | 视频 | | |
| view | 视图 | | |
| virtual function | 虚函数 | | |
| virtual machine | 虚拟机 | | |
| virtual memory | 虚内存 | | |
| volatile | 挥发 | | |
| vowel | 元音 | | |
| vaporware | 朦胧件 | | |
| VC, Venture Capitalist | 风险投资商 | | |


h2. W

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| weight | 权值 | 权重 | |
| well type | 类型正确 | | |
| warning message | 警告信息 | | |
| wildcard | 通配符 | | |
| window | 窗口 | | |
| word | 单词 | 字 | |
| wrapper | 包装器 | 包装 | |
| web server | 网络服务器 | | |
| WYSIWYG, What You See Is What You Get | 所见即所得 | | |
| WYSIWYW, What You See Is What You Want | 所见即所想 | | |


h2. X

h2. Y

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| y combinator | Y组合子 |  | |


h2. Z

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| zero-indexed | 零索引的 | | |


h2. 专业名词

| *英文* | *译法 1* | 译法 2 | 译法 3 |
| The_Paradox_of_Choice | 选择谬论 | | |