1错误处理：返回值
怎么减少啰嗦？
计算机原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2可恢复与不可恢复
为什么要分开？
3不要吞掉异常
至少要做什么？
4契约式设计
这和断言什么关系？
5霍尔逻辑
循环怎么处理？
6最弱前置条件
这为什么有用？
7形式化验证
它和测试的根本区别？
8验证的代价
那什么场景值得？
9规约本身可能错
这说明什么？
10模型检验
它的瓶颈是什么？
第 2 页 · 正面（题目）
11应对状态爆炸
抽象会带来什么风险？
12定理证明器
它和模型检验怎么选？
13柯里－霍华德对应
这个发现有多重要？
14依赖类型
它能保证什么？
15渐进式的形式化
投入产出比最高的一步是什么？
16属性测试
排序函数有什么性质？
17属性测试的威力
它能替代单元测试吗？
18用例缩小
为什么这个功能重要？
19动手：写属性测试
动手做。
20静态分析
它为什么会有误报？
第 3 页 · 正面（题目）
21误报与漏报的取舍
安全扫描该偏向哪边？
22抽象解释
这样能得到什么结论？
23符号执行
它的瓶颈是什么？
24模糊测试
它和属性测试的区别？
25编程范式：命令式
它的困难在哪？
26编程范式：函数式
它的门槛在哪？
27编程范式：面向对象
它容易被误用在哪？
28组合优于继承
什么时候继承才合适？
29编程范式：声明式
它的好处是什么？
30多范式
数据处理流水线适合哪种？