Pattern Calculus: Computing with Functions and Structures

در طول زمان، تحقیقات پایه به سمت تخصصی شدن منتهی می‌شود - جوامعی که به طور فزاینده‌ای متمرکز شده‌اند، به موضوعات محدود فزاینده‌ای پرداخته می‌شوند، در کارگاه‌ها و کنفرانس‌هایی که به طور فزاینده‌ای محدود می‌شوند، بحث می‌کنند، و در مورد محدودیت‌های فزاینده بحث می‌کنند. در حال حاضر جامعه زبان های برنامه نویسی به جوامع مختلف تقسیم شده است که به جنبه ها و پارادایم های مختلف (عملکردی، امری، رابطه ای و شی گرا) می پردازند. فقط تعداد کمی از افراد می‌توانند دید وسیع‌تری داشته باشند و حتی تعداد کمتری به عقب برگردند تا درک درستی از اصول اساسی، روابط متقابل آنها و تأثیر آنها در یک زمینه بزرگ‌تر به دست آورند. محاسبات الگو نتیجه یک بررسی مجدد عمیق از یک تحول 50 ساله است. این تلاش می کند تا یک رویکرد یکپارچه ارائه دهد، شکاف بین سبک های برنامه نویسی و پارادایم های مختلف را طبق یک شعار جدید پر کند - محاسبه تطبیق الگو است. کمک این کتاب به ارائه و ارزیابی سیستماتیک و ظریف قدرت تطبیق الگو به عنوان پارادایم راهنمای برنامه نویسی است. الگوها بر اساس تطبیق الگو و فناوری بازنویسی به صورت پویا تولید، کشف، تصویب، اعمال و به طور خودکار تطبیق داده می‌شوند، که به فرد اجازه می‌دهد تا به زیبایی چیزها را به اندازه توابع و ساختارهای داده مرتبط کند. البته تطبیق الگو چیز جدیدی نیست. زیربنای بازنویسی عبارت است - برای مثال، در زبان های برنامه نویسی معمولاً کاربردی مانند استاندارد ML گنجانده شده است - اما هرگز به عنوان مبنای یک چارچوب یکپارچه برای برنامه نویسی دنبال نشده است.

Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation, and their impact in a larger context. The pattern calculus is the result of a profound re-examination of a 50-year - velopment. It attempts to provide a unifying approach, bridging the gaps between different programming styles and paradigms according to a new slogan – compu- tion is pattern matching. It is the contribution of this book to systematically and elegantly present and evaluate the power of pattern matching as the guiding paradigm of programming. Patterns are dynamically generated, discovered, passed, applied, and automatically adapted, based on pattern matching and rewriting technology, which allows one to elegantly relate things as disparate as functions and data structures. Of course, pattern matching is not new. It underlies term rewriting – it is, for example, inc- porated in, typically functional, programming languages, like Standard ML – but it has never been pursued as the basis of a unifying framework for programming.