Programming and Meta-Programming in Scheme

در حال حاضر، Scheme یک زبان برنامه نویسی تثبیت شده است و محبوبیت فزاینده ای در دوره های برنامه نویسی برای دانشجویان کارشناسی پیدا می کند. قابلیت های بیانی آن با سادگی زبان و سهولت استفاده که طرفدارانش را شاگرد کرده است، مطابقت دارد! این کتاب درسی اولین دوره جامع Scheme را ارائه می دهد و تمام ویژگی های اصلی آن را پوشش می دهد: انتزاع، برنامه نویسی تابعی، انواع داده، بازگشت و برنامه نویسی معنایی. اگرچه هدف اولیه این متن آموزش برنامه نویسی به دانش آموزان در Scheme است، اما برای هر دانش آموزی که یک دوره اصول برنامه نویسی عمومی را مطالعه می کند مناسب خواهد بود. هر فصل به سه بخش اصلی، ضمیمه و مسائل تقسیم می شود. اکثر موضوعات ضروری در بخش اصلی پوشش داده شده است، اما فرض بر این است که اکثر دانش آموزان پیوست ها را می خوانند و بیشتر مسائل را حل می کنند. (تقریباً همه مشکلات، دانش‌آموزان را ملزم به نوشتن رویه‌های Scheme کوتاه می‌کند.) نویسنده علاوه بر ارائه یک زمینه کامل در Scheme، پارادایم‌های مختلف برنامه‌نویسی را به طور عمیق مورد بحث قرار می‌دهد. یک موضوع مهم در سرتاسر موضوع «متابرنامه‌نویسی» است: این دیدگاه که خود برنامه‌ها را می‌توان به‌عنوان داده در نظر گرفت و از این رو می‌توان آن‌ها را به‌عنوان اشیا تحلیل و اصلاح کرد. این اطلاعات بینشی در مورد موضوعاتی مانند بررسی نوع و بارگذاری بیش از حد ارائه می دهد که در غیر این صورت ممکن است نادیده گرفته شوند.

By now, Scheme is a well-established programming language and is finding increasing popularity in programming courses for undergraduates. Its expressive capabilities are matched by a simplicity of language and ease-of-use which have made its adherents disciples! This textbook provides a comprehensive first course in Scheme and covers all of its major features: abstraction, functional programming, data types, recursion, and semantic programming. Although the primary goal of this text is to teach students to program in Scheme, it will be suitable for any student studying a general programming principles course. Each chapter is divided into three sections: core, appendix , and problems. Most essential topics are covered in the core section, but it is assumed that most students will read the appendices and solve most of the problems. (Nearly all of the problems require students to write short Scheme procedures.) As well as providing a thorough grounding in Scheme, the author discusses in depth different programming paradigms. An important theme throughout is that of "meta-programming": the perspective that programs themselves can be treated as data, and hence can be analyzed and modified as objects. This provides insight into topics such as type-checking and overloading which might otherwise be missed.