Logic for Programmers New Release and Next Steps
16 hours ago
- 《程序员逻辑》v0.13 现已发布，内容增加20%，总字数超过5万。
- 每个章节均已重写；Alloy 章节现聚焦于领域建模而非数据建模。
- 增加了章节与主题间的联系，如表达力与保证的权衡、兼容性（Liskov 替换、数据库迁移、API 变更、规约细化）。
- 新增主题包括测试中的结构性和变异性性质、归纳证明以及逻辑编程中的回答集编程。
- 所有内容现已包含在内；手稿已发送给文字编辑以防止进一步添加。
- 后续步骤包括寻找技术审阅者和校对者、调整版式，并找到印刷商，目标是在夏季前推出纸质书。
- 正在寻求无利益冲突的知名人士的推荐语。
- 即将到来的2026年会议：QCon London（三月）、Craft Conference（六月）、Software Should Work（七月）和Houston Functional Programmers（十二月）。