Funktionale Programmierung: Sprachdesign und Programmiertechnik

این کار به تئوری و عمل برنامه نویسی تابعی مدرن می پردازد. تمرکز اصلی بر روی سوالات طراحی زبان و تکنیک های برنامه نویسی مرتبط است. با این حال، بسیاری از مفاهیم مورد بحث بسیار فراتر از زبان های کاربردی هستند، زیرا آنها برای همه انواع زبان های برنامه نویسی مرتبط هستند.

در پیش زمینه ایده ها و تکنیک های یک زبان برنامه نویسی است. فرم برنامه نویسی زیبا، ایمن و سازنده که امروزه تا حد زیادی در زبان هایی مانند ML، HASKELL یا OPAL امکان پذیر است. با این حال، نویسندگان از محدوده زبان‌های موجود امروز فراتر رفته و مفاهیم و روش‌هایی را ارائه می‌کنند که فقط در زبان‌های نسل بعدی در دسترس خواهند بود.

موضوعات خاص تحت پوشش پیچیده هستند: از یک طرف، تکنیک های برنامه نویسی پیشرفته ارائه شده است، مانند استفاده از ساختارهای داده بی نهایت، تجزیه کننده ها به عنوان توابع مرتبه بالاتر، راه حل سیستم های معادلات با تشکیل نقاط ثابت و غیره نشان داده شده است که انواع مسائل ریاضیات عددی را نیز می توان به صورت فشرده و ظریف حل کرد.

زبان پیشرفته. مفاهیم نیز مورد بحث قرار می گیرند، مانند مدولارسازی سیستماتیک یا مفاهیم خاص بیانگر و اشکال انعطاف پذیر تایپ. این کتاب تاکید ویژه ای بر ادغام برنامه نویسی تابعی با پارادایم های برنامه نویسی شی گرا، همزمان و موازی دارد. در این زمینه، معنای مونادها تحلیل شده و به طور انتقادی مورد سوال قرار می گیرد.

این کتاب برای خوانندگانی است که قبلاً دانش اولیه برنامه نویسی تابعی را دارند و اکنون می خواهند مهارت های برنامه نویسی خود را بهبود بخشند. و می خواهید عمیق تر به مبانی نظری بپردازید.

Dieses Werk befasst sich mit Theorie und Praxis der modernen Funktionalen Programmierung. Dabei geht es vor allem um Fragen des Sprachdesigns und der zugehörigen Programmiertechniken. Viele der behandelten Konzepte weisen aber weit über die Funktionalen Sprachen hinaus, weil sie für alle Arten von Programmiersprachen relevant sind.

Im Vordergrund stehen die Ideen und Techniken einer eleganten, sicheren und produktiven Form der Programmierung, die heute in Sprachen wie ML, HASKELL oder OPAL schon weitgehend möglich sind. Die Autoren gehen aber über den Rahmen der heute verfügbaren Sprachen hinaus und präsentieren Konzepte und Methoden, die erst in den Sprachen der nächsten Generation verfügbar sein werden.

Die konkret behandelten Themen sind vielschichtig: Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen höherer Ordnung, die Lösung von Gleichungssystemen durch Fixpunktbildung usw. Es wird gezeigt, dass sich damit vielfältige Arten von Problemen auch aus der Numerischen Mathematik kompakt und elegant lösen lassen.

Es werden aber auch fortgeschrittene Sprachkonzepte diskutiert, wie z.B. systematische Modularisierung oder besonders ausdrucksstarke und flexible Formen der Typisierung. Besonderes Gewicht legt das Buch auf die Integration der Funktionalen Programmierung mit den Paradigmen der objektorientierten, der nebenläufigen und der parallelen Programmierung. In diesem Zusammenhang wird speziell auch die Bedeutung von Monaden analysiert und kritisch hinterfragt.

Das Buch wendet sich an Leser, die bereits Grundkenntnisse in der Funktionalen Programmierung besitzen und jetzt ihre Programmierfertigkeit verbessern möchten und tiefer in die theoretischen Grundlagen vordringen wollen.