本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。本书适合高等院校计算机相关专业的学生学习，也可供专业技术人员参考。

Chris Hanson,Gerald Jay Sussman：Software Design for Flexibility：How to Avoid Programming Yourself into a Corner（ISBN 978-0-262-04549-0）.

Original English language edition copyright © 2021 by Massachusetts Institute of Technology.

Simplified Chinese Translation Copyright © 2024 by China Machine Press.

Simplified Chinese translation rights arranged with MIT Press through Bardon-Chinese Media Agency.

No part of this book may be reproduced or transmitted in any form or by any means, electronic or mechanical,including photocopying, recording or any information storage and retrieval system,without permission, in writing, from the publisher.

All rights reserved.

本书中文简体字版由MIT Press通过Bardon-Chinese Media Agency授权机械工业出版社在中国大陆地区（不包括香港、澳门特别行政区及台湾地区）独家出版发行。未经出版者书面许可，不得以任何方式抄袭、复制或节录本书中的任何部分。

北京市版权局著作权合同登记 图字：01-2021-4305号。

图书在版编目（CIP）数据

软件灵活性设计：如何避免陷入编程困境/（美）克里斯·汉森（Chris Hanson），（美）杰拉尔德·杰伊·萨斯曼（Gerald Jay Sussman）著；谢学说等译.—北京：机械工业出版社，2023.11

（软件工程技术丛书）

书名原文：Software Design for Flexibility：How to Avoid Programming Yourself into a Corner

ISBN 978-7-111-74704-8

Ⅰ.①软…　Ⅱ.①克…②杰…③谢…　Ⅲ.①软件工具—程序设计　Ⅳ.①TP311.561

中国国家版本馆CIP数据核字（2024）第002925号

机械工业出版社（北京市百万庄大街22号 邮政编码100037）

策划编辑：曲　熠　　　　　　责任编辑：曲　熠

责任校对：王小童　王　延　　责任印制：常天培

北京铭成印刷有限公司印刷

2024年3月第1版第1次印刷

186mm×240mm·20.25印张·438千字

标准书号：ISBN 978-7-111-74704-8

定价：99.00元

电话服务

客服电话：010-88361066

010-88379833

010-68326294

网络服务

机　工　官　网：www.cmpbook.com

机　工　官　博：weibo.com/cmp1952

金　　书　　网：www.golden-book.com

机工教育服务网：www.cmpedu.com

封底无防伪标均为盗版