编程与软件工程ccs.neu.edu编辑精选
《如何设计程序》第二版
How to Design Programs, Second Edition
2011 — 2017，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
《程序设计方法》第二版是一本免费的经典编程入门教材，由 Northeastern 大学团队撰写，用一系列渐进式的教学语言（基于 Racket）教授系统化的程序设计方法。它刻意区别于 SICP，强调显式的设计准则和循序渐进的知识层级，多年来多次登上 Hacker News 首页。
为什么经久不衰：它提供了一套可复制的程序设计方法论而非单纯语法教学，配合免费的在线课程资源，至今仍是编程入门教育的标杆之作。
HN 评论精选
作者亲自说明本书的教学语言设计理念与出版计划
第一作者澄清：本书尚未完成，将由 MIT Press 出版；HtDP 2e 并非教 Racket 编程，而是使用多种教学语言，分别对应书中设计方法的不同阶段，摒弃了'反正都是图灵机，硬学就行'的传统教学方式。
m-felleisen查看英文原文
From the lead author: (1) The book is not finished yet. But it will appear with MIT Press, and I expect it to appear over the next year and a half or so. (2) Realm is best read after HtDP [1e or 2e] or some other course on plain programming (not necessarily program design). It teaches (simple) programming in Racket. (3) HtDP [2e] does NOT teach programming in Racket. It uses several teaching languages, each matching a stage in the convex hull of the design recipes (tactics) of a certain part of the book. HtDP's design tactics do away with the usual "everything is a Turing machine so learn by coping me" approach.
提供理解本书与 SICP 差异的原始论文背景
作者团队 2004 年的论文解释了第一版的动机：相比 SICP，本书显式讨论程序应如何构造，定义了五个基于 Scheme 的教学语言层级来控制复杂度，并用练习强化显式的设计准则。
capnrefsmmat查看英文原文
As context, here's an early paper describing the motivation behind the first edition, and why it chose a different approach from the famous Structure and Interpretation of Computer Programs: Felleisen, M., Findler, R. B., Flatt, M., & Krishnamurthi, S. (2004). The structure and interpretation of the computer science curriculum. Journal of Functional Programming, 14(4), 365–378. http://www.ccs.neu.edu/racket/pubs/jfp2004-fffk.pdf A key paragraph: > Over the past few years, we have developed an alternative approach to teaching the first course. We have translated the approach into a new text book, and we believe that it addresses SICP’s failings along four dimensions. First, the book discusses explicitly how programs should be constructed. Second, to tame the complexity of programming, it defines a series of teaching languages based on Scheme that represent five distinct knowledge levels through which students pass during their first course. The levels correspond to the complexity of data definitions that the program design guidelines use. Third, the book uses exercises to reinforce the explicit guidelines on program design; few, if any, exercises are designed for the sake of domain knowledge. Finally, the book uses more accessible forms of domain knowledge than SICP.
推荐配套的 EdX 免费课程作为更好的学习途径
这本书的方法极其重要，值得更广泛的认知。虽然书本身直接阅读体验欠佳，但 UBC 的 Gregor Kiczales 基于本书在 EdX 上开设了免费的顶级课程，不要被'How to Code'这个大众化标题劝退。
wikibob查看英文原文
The approach in this book is incredibly important and deserves far wider awareness than it has had so far. Unfortunately the book itself is less than ideal for working through directly, it would benefit greatly from the polish of professional editing. However, Gregor Kiczales of University of British Columbia has a absolutely top notch class he teaches based on the book. It's available free on EdX: https://www.edx.org/course/how-code-simple-data-ubcx-htc1x Don't be put off like I was at first by the mass-market title ("How to Code").
一线教学经验证明该课程的实际效果
作为 NEU 学生并担任课程助教三年，我亲眼见证学生起初抱怨 Racket，但到课程结束时几乎没人再骂它。
nixpulvis查看英文原文
As a student of NEU, I personally swear by this resource. Having been a part of the staff of the course for 3 years now, I can say that students love to bitch about Racket at the start, but few curse it's name by the end. I wish more people were as excited by Racket as I am.
历次讨论
同类还值得读
开源应用架构
The Architecture of Open Source Applications
《开源软件架构》（AOSA）是一本在线免费书，邀请知名开源项目的作者亲自剖析其内部设计，涵盖 SQLAlchemy、LLVM、Audacity、Apache、Bash 等系统。
编程与软件工程上首页 9 次 · 2011–2024aosabook.org编辑精选编程语言简史：简短、不完整且多半错误
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
一篇以戏谑、故意不准确的方式回顾编程语言史的博客文章，用夸张轶事和讽刺定义串起 Lisp、C、C++、Java、JavaScript、PHP 等语言。
编程与软件工程上首页 8 次 · 2009–2021james-iry.blogspot.comSQLite 是如何测试的
How SQLite is tested
SQLite 官方文档页，系统介绍 SQLite 的测试体系：多种测试方法（TCL 测试、模糊测试、回归测试、静态分析等）和海量测试用例，展示了这个小型开源项目如何靠极致测试获得…
编程与软件工程上首页 8 次 · 2009–2025sqlite.org编辑精选高级编程语言（2009）
Advanced programming languages (2009)
Matt Might 的经典文章，按用途推荐“高级编程语言”：如果追求就业就选主流语言，如果追求表达力、学术研究或创业，则推荐 Haskell、OCaml、Scala 等函数式语…
编程与软件工程上首页 8 次 · 2009–2022matt.might.net我的 Forth 与栈机器经历
Yosefk - My history with Forth & stack machines
作者以亲身经历回顾了使用 Forth 语言和栈式机器的历程：既赞叹其简洁优雅、代码量小、可自举的优点，也坦率指出栈操作在实际编程中的痛苦，以及 Forth 社区文化中的问题。
编程与软件工程上首页 8 次 · 2010–2024yosefk.com编辑精选