王垠的书籍推荐 | AI生成和翻译
问题：计算机科学家王垠推荐了哪些书？
回答：
王垠以其在编程语言和编译器领域的工作而闻名，他偶尔会在博客文章、社交媒体和精选列表中分享书籍推荐和观点。根据现有来源，以下是他推荐或积极引用的一些著名书籍，通常涉及计算机科学、设计或个人发展。这些内容来自他的著作和粉丝整理的评论列表：
计算机科学和编程书籍
- 《设计心理学》(The Design of Everyday Things)，作者：Don Norman
推荐给科技领域的英语学习者，作为一本关于设计原则的易懂的非技术书籍。王垠指出，其简单的语言使其成为在学习以用户为中心的设计的同时培养阅读技能的理想选择。 - 《编译原理（龙书）》(Compilers: Principles, Techniques, and Tools)，作者：Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman
被引用为标准的编译器教科书，但王垠在师从 Kent Dybvig 等专家后，批评其“幼稚”，暗示它只是一个起点，不足以深入理解。 - 《软件基础》(Software Foundations)，作者：Benjamin C. Pierce 等。
王垠读过前两卷，欣赏其使用 Coq 进行形式化验证，尽管他批评其风格密集、不清晰且缺乏直观指导。 - 《小类型化器》(The Little Typer)，作者：Daniel P. Friedman and David Thrane Christiansen
因简化了依赖类型（类型理论中的复杂主题）而受到高度赞扬。王垠称其为一项突破，指出 Friedman 阐明思想的天赋，并强调了复杂性专家们讽刺性的前言。
其他推荐
- 《爱情的进程》(The Course of Love)，作者：Alain de Botton （中文版也称《爱上浪漫》）
王垠推荐 de Botton 的著作，以获取对人际关系和教育的见解，将爱描述为一个相互学习的过程，并赞扬 de Botton 的频道 The School of Life 提供了关于个人成长的实用智慧。
王垠的推荐通常强调清晰度、深度和实际适用性，而非炒作。他著有自己的书籍《计算机科学沉思录》(Ground-Up Computer Science)，作为传统计算机科学教材的替代品，侧重于他教学经验中的基础概念。如需更多信息，请查阅豆瓣等平台上的粉丝整理列表，因为王垠经常从他的网站上删除较旧的内容。