Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
How to Design Programs
open-in-new
<p><i>How to Design Programs</i> (<i>HtDP</i>) is a textbook by <a href="/facts/Matthias_Felleisen/zU62cWPr">Matthias Felleisen</a>, <a href="/facts/Robert_Bruce_Findler/et97GVMA">Robert Bruce Findler</a>, <a href="/facts/Matthew_Flatt/cEbwLbSY">Matthew Flatt</a>, and <a href="/facts/Shriram_Krishnamurthi/LnGpGvtH">Shriram Krishnamurthi</a> on the systematic design of <a href="/facts/Computer_program/e38jH9N9">computer programs</a>. <a href="/facts/MIT_Press/eTerUM3c">MIT Press</a> published the first edition in 2001, and the second edition in 2018, which is freely available online and in print. The book introduces the concept of a <i>design recipe</i>, a six-step process for creating programs from a problem statement. While the book was originally used along with the education project <i>TeachScheme!</i> (renamed <a href="/facts/ProgramByDesign/mrRbpUmM">ProgramByDesign</a>), it has been adopted at many colleges and universities for teaching program design principles. </p><p>According to HtDP, the design process starts with a careful analysis of a problem statement with the goal of extracting a rigorous description of the kinds of <a href="/facts/Data/AUBFN97o">data</a> that the desired program consumes and produces. The structure of these data descriptions determines the organization of the program. </p><p>Then, the book carefully introduces data forms of progressively growing complexity. It starts with data of <i>atomic</i> forms and then progresses to <i>compound</i> forms, including data that can be arbitrarily large. For each kind of data definition, the book explains how to organize the program in principle, thus enabling a programmer who encounters a new form of data to still construct a program systematically. </p><p>Like <i><a href="/facts/Structure_and_Interpretation_of_Computer_Programs/1uQnItn6">Structure and Interpretation of Computer Programs</a></i> (SICP), HtDP relies on a variant of the programming language <a href="/facts/Scheme_(programming_language)/0aGdf3SC">Scheme</a>. It includes its own programming <a href="/facts/Integrated_development_environment/jbEINSQf">integrated development environment</a> (IDE), named <a href="/facts/DrRacket/5n7LW08b">DrRacket</a>, which provides a series of programming languages. The first language supports only functions, atomic data, and simple structures. Each language adds expressive power to the prior one. Except for the largest teaching language, all languages for HtDP are <a href="/facts/Functional_programming/cdxqPEIM">functional programming</a> languages. </p>