HTDP如何设计程序 - CSDN文库

5星 · 超过95%的资源需积分: 10 120 浏览量更新于2023-06-17 评论收藏 25.77MB PDF 举报

身份认证购VIP最低享 7 折!

领优惠券(最高得80元）

资源详情

资源评论

资源推荐

-1-

How to Design Programs

An Introduction to Computing and Programming

Matthias Felleisen

Robert Bruce Findler

Matthew Flatt

Shriram Krishnamurthi

The MIT Press

Cambridge, Massachusetts

London, England

Book Description

This introduction to programming places computer science in the core of a liberal arts education.

Unlike other introductory books, it focuses on the program design process. This approach fosters

a variety of skills--critical reading, analytical thinking, creative synthesis, and attention to detail-

-that are important for everyone, not just future computer programmers.

The book exposes readers to two fundamentally new ideas. First, it presents program design

guidelines that show the reader how to analyze a problem statement; how to formulate concise

goals; how to make up examples; how to develop an outline of the solution, based on the analysis;

how to finish the program; and how to test. Each step produces a well-defined intermediate

product. Second, the book comes with a novel programming environment, the first one explicitly

designed for beginners. The environment grows with the readers as they master the material in

the book until it supports a full-fledged language for the whole spectrum of programming tasks.

All the book's support materials are available for free on the Web. The Web site includes the

environment, teacher guides, exercises for all levels, solutions, and additional projects.

TEAMFLY

TEAM FLY PRESENTS

-4-

15 Mutually Referential Data Definitions

15.1 Lists of Structures, Lists in Structures

15.2 Designing Functions for Mutually Referential Definitions

15.3 Extended Exercise: More on Web Pages

16 Development through Iterative Refinement

16.1 Data Analysis

16.2 Defining Data Classes and Refining Them

16.3 Refining Functions and Programs

17 Processing Two Complex Pieces of Data

17.1 Processing Two Lists Simultaneously: Case 1

17.2 Processing Two Lists Simultaneously: Case 2

17.3 Processing Two Lists Simultaneously: Case 3

17.4 Function Simplification

17.5 Designing Functions that Consume Two Complex Inputs

17.6 Exercises on Processing Two Complex Inputs

17.7 Extended Exercise: Evaluating Scheme, Part 2

17.8 Equality and Testing

18 Intermezzo 3: Local Definitions and Lexical Scope

18.2 Organizing Programs with local

Syntax of local

Semantics of local

Pragmatics of local, Part 1

Pragmatics of local, Part 2

Pragmatics of local, Part 3

18.3 Lexical Scope and Block Structure

IV Abstracting Designs

19 Similarities in Definitions

19.1 Similarities in Functions

19.2 Similarities in Data Definitions

20 Functions are Values

20.1 Syntax and Semantics

20.2 Contracts for Abstract and Polymorphic Functions

21 Designing Abstractions from Examples

21.1 Abstracting from Examples

21.2 Finger Exercises with Abstract List Functions

21.3 Abstraction and a Single Point of Control

21.4 Extended Exercise: Moving Pictures, Again

21.5 Note: Designing Abstractions from Templates

22 Designing Abstractions with First-Class Functions

22.1 Functions that Produce Functions

22.2 Designing Abstractions with Functions-as-Values

22.3 A First Look at Graphical User Interfaces

TEAMFLY

TEAM FLY PRESENTS

剩余564页未读，继续阅读

评论3

ZheGeZhenDe

2013-02-03

很好，看完这个再看sicp

bueryiru

粉丝: 2
资源: 13

会员权益专享

图片转文字

全年可省5，000元立即开通

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈