Structure and Interpretation of Computer Programs

کتاب «ساختار و تفسیر برنامه‌های رایانه‌ای» (Structure and Interpretation of Computer Programs یا SICP) طی دهه گذشته تأثیر شگرفی بر برنامه‌های درسی علوم رایانه گذاشته است. این نسخه‌ی بازبینی‌شده‌ی مورد انتظار، شامل تغییراتی اساسی در سراسر متن است.

در این ویرایش، پیاده‌سازی‌ اکثر سیستم‌های اصلی برنامه‌نویسی موجود در کتاب—از جمله مفسرها و کامپایلرها—بازنویسی شده‌اند. نویسندگان با بهره‌گیری از سال‌ها تجربه تدریس این درس در MIT از زمان انتشار نخستین نسخه، تغییرات جزئی اما فراوانی اعمال کرده‌اند تا کتاب کاربردی‌تر و روان‌تر شود.

در این نسخه، یک درون‌مایه‌ی جدید معرفی شده که بر نقش محوری رویکردهای مختلف نسبت به مفهوم زمان در مدل‌های محاسباتی تأکید دارد. این رویکردها شامل:

• اشیاء با حالت (objects with state)
• برنامه‌نویسی هم‌زمان (concurrent programming)
• برنامه‌نویسی تابعی و ارزیابی تنبل (functional programming & lazy evaluation)
• برنامه‌نویسی غیرقطعی (nondeterministic programming)

هستند.

همچنین بخش‌هایی جدید به کتاب افزوده شده‌اند، از جمله:

• مثال‌هایی درباره رویه‌های مرتبه بالا (higher-order procedures) در گرافیک
• کاربردهای پردازش جریان (stream processing) در برنامه‌نویسی عددی
• مجموعه‌ای از تمرین‌های تازه و چالش‌برانگیز برای تقویت یادگیری

علاوه بر این‌ها، تمامی برنامه‌ها به گونه‌ای بازنویسی شده‌اند که با هر پیاده‌سازی از زبان Scheme که مطابق با استاندارد IEEE باشد، قابل اجرا باشند.

این کتاب نه تنها یک منبع آموزشی فنی، بلکه یک اثر کلاسیک در درک عمیق مفاهیم بنیادی علوم رایانه به شمار می‌رود.

Structure and Interpretation of Computer Programs (SICP) has had a profound impact on computer science curricula over the past decade. This highly anticipated revised edition introduces substantial updates throughout the text.

Most of the core programming systems in the book—including interpreters and compilers—have been reimplemented. Drawing on years of teaching experience at MIT since the first edition was published, the authors have incorporated numerous refinements and improvements to enhance clarity and usability.

A new overarching theme has been introduced, emphasizing the crucial role that different approaches to time play in computational models. These include:

• Objects with state
• Concurrent programming
• Functional programming and lazy evaluation
• Nondeterministic programming

Several new sections have been added, including:

• Examples of higher-order procedures in graphics
• Applications of stream processing in numerical programming
• A wide range of new and challenging exercises

In addition, all programs have been rewritten to ensure compatibility with any Scheme implementation that conforms to the IEEE standard.

This book remains not just a technical manual but a classic work that offers deep insight into the fundamental principles of computer science.

Table of Contents

1. Building Abstractions with Procedures
2. Building Abstractions with Data
3. Modularity, Objects, and State
4. Metalinguistic Abstraction
5. Computing with Register Machines

About the Author

Hal Abelson is Class of 1922 Professor of Computer Science and Engineering at Massachusetts Institute of Technology and a fellow of the IEEE. He is a founding director of Creative Commons, Public Knowledge, and theFree Software Foundation. Additionally, he serves as co-chair for the MIT Council on Educational Technology.Gerald Jay Sussman is Panasonic Professor of Electrical Engineering at MIT.