Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

برنامه نویسی عمومی در مورد کاربرد گسترده تر برنامه ها از طریق انواع پارامترهای عجیب و غریب است --- نه فقط در امتداد ابعاد مقادیر یا انواع، بلکه همچنین مواردی مانند شکل داده ها، ساختارهای جبری، استراتژی ها، پارادایم های محاسباتی، و غیره برنامه‌نویسی نمایه‌سازی شده شکل سبکی از برنامه‌نویسی تایپ شده وابسته است که انعطاف‌پذیری را محدود می‌کند و به شخص اجازه می‌دهد تا روابط بین پارامترها را بیان و بررسی کند: اینکه اشکال دو آرگومان موافق هستند، یک مقدار کدگذاری شده با برخی از انواع مطابقت دارد، اینکه مقادیر ارسال شده در طول یک کانال با موارد گفته شده مطابقت دارند. پروتکل و غیره دو نیروی عمومی و نمایه سازی به خوبی یکدیگر را متعادل می کنند و به طور همزمان کلیت را ترویج و کنترل می کنند. 5 سخنرانی موجود در این کتاب از مدرسه بهار در برنامه‌نویسی عمومی و نمایه‌سازی شده، در آکسفورد، انگلستان، در مارس 2010 به عنوان فعالیت پایانی پروژه برنامه‌نویسی عمومی و نمایه‌شده در آکسفورد که در سال‌های 2006-2010 برگزار شد، نشأت می‌گیرد.

Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on. The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010.