- 《编程要素》将编程呈现为一门建立在结构、逻辑与证明之上的数学学科。
- 全书分为六卷，每卷聚焦编程与计算的不同层面。
- 第一卷：计算基础（同一性、变换、组合）。
- 第二卷：引入代数结构（范畴、函子、单子）。
- 第三卷：统一操作语义与指称语义以确保正确性。
- 第四卷：形式化基于能力的安全与验证体系。
- 第五卷：将类型理论与形式化保障相连接。
- 第六卷：将思想延伸至软件的哲学与伦理领域。
- Leanpub提供60天100%满意保证，支持无风险退款。
- 作者可获得80%版税，并有高额收益案例。
- Leanpub电子书免费更新、无DRM限制，支持多格式（PDF/EPUB）。