دانلود کتاب Categorical Combinators, Sequential Algorithms, and Functional Programming

ترجمه فارسی توضیحات (ترجمه ماشینی)

ترکیب‌کننده‌های دسته‌بندی، الگوریتم‌های ترتیبی و برنامه‌نویسی تابعی

این کتاب یک نسخه کاملاً اصلاح شده از یک تک نگاری است که رویکردی به طراحی و اجرای زبان های برنامه نویسی متوالی بر اساس رابطه بین حساب لامبدا و نظریه دسته ارائه می دهد. پایه های یک منطق ترکیبی «مقوله ای» جدید گذاشته شده است. تکنیک های گردآوری و ارزیابی مورد بررسی قرار می گیرد. یک ماشین انتزاعی ساده به نام ماشین انتزاعی طبقه‌بندی ارائه شده است: این ماشین به عنوان هسته اصلی اجرای زبان CAML از خانواده ML است که در INRIA-Roquencourt و Ecole Normale Superieure توسعه یافته و اولین بار در سال 1987 منتشر شد. ویژگی های اصلی این رویکرد سادگی مفهومی و فشردگی است، با توجه به قابلیت حمل، کارایی و اثبات صحت. یک معناشناسی ریاضی ترتیبی پیشنهاد شده است که در آن از “الگوریتم های متوالی” به جای توابع برای تفسیر رویه ها استفاده می شود. تحقیقات نظری منجر به توسعه یک زبان برنامه نویسی، CDSO شده است که در آن انواع پایه و کاربردی از هم متمایز نمی شوند. چارچوب ارزیابی یک شبکه جریان داده مبتنی بر تقاضا است. مدل الگوریتم‌های متوالی با توجه به این زبان کاملاً انتزاعی است: دو رویه اگر و تنها در صورتی که رفتار یکسانی داشته باشند، معنای یکسانی دارند. پیشینه انتزاع کامل داده شده است. نسخه جدید نتایج جدید را پوشش می‌دهد، و اتصالات جدیدی را معرفی می‌کند، همانطور که توسط مشت غیر جامع کلمات کلیدی زیر پیشنهاد می‌شود: ویژگی‌های تلاقی ترکیب‌کننده‌های طبقه‌ای، جایگزین‌های صریح، عملیات کنترل، منطق خطی، هندسه تعامل، پایداری قوی.

Categorical Combinators, Sequential Algorithms, and Functional Programming

This book is a thoroughly revised edition of a monograph that presents an approach to the design and implementation of sequential programming languages based on the relationship between lambda-calculus and category theory. The foundations of a new “categorical” combinatory logic are laid down. Compilation and evaluation techniques are investigated. A simple abstract machine, called the Categorical Abstract Machine, is presented: it has served as the core of the implementation of the language CAML, of the ML family, developed at INRIA-Roquencourt and Ecole Normale Superieure, and first released in 1987. The main characteristics of this approach are conceptual simplicity and compactness, with bearings on portability, efficiency, and correctness proofs. A mathematical semantics of sequentiality is proposed, in which “sequential algorithms” rather than functions are used to interpret procedures. The theoretical investigation has led to the development of a programming language, CDSO, in which basic and functional types are not differentiated. The evaluation framework is a demand-driven data flow network. The model of sequential algorithms is fully abstract with respect to this language: two procedures have the same denotation if and only if they have the same behaviour. Background on full abstraction is given. The new edition covers new results, and introduces new connections, as suggested by the following non-exhaustive fist of keywords: confluence properties of categorical combinators, explicit substitutions, control operations, linear logic, geometry of interaction, strong stability.