On Understanding Types, Data Abstraction and Polymorphism

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان: Cardelli L.,  Wegner P.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 42 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 161 کیلوبایت 

قیمت کتاب (تومان) : 38,000

Статья Л. کاردلی و پی. Вегнера, опубликовная в Computing Surveys, Vol. 17، n. 4، دسامبر 1985. Посвящена системам типизации, абстракции данных и полиморфизму. Содержание.
از Untyped به Typed Universes.
سازماندهی جهان های بدون تایپ.
تایپ ایستا و قوی.
انواع چند شکلی.
تکامل انواع در زبان های برنامه نویسی.
زیر زبان های عبارت نوع.
پیش نمایش سرگرمی.
l-Calculus.
The Untyped l-Calculus.
The Typed l-Calculus.
انواع اساسی، انواع ساختار یافته و بازگشتی.
Types مجموعه ای از مقادیر هستند.
کمی‌سازی جهانی.
کمی‌سازی جهانی و توابع عمومی.
انواع پارامتریک.
کمی‌سازی وجودی.
کمی‌سازی وجودی و پنهان‌سازی اطلاعات.
بسته‌ها و انواع داده‌های انتزاعی.
ترکیب کمی‌سازی جهانی و وجودی.
کمی‌سازی و ماژول‌ها.
ماژول‌ها ارزش‌های درجه یک هستند.
کمی‌سازی محدود.
نوع شامل، زیرمجموعه‌ها و وراثت.
محدود شده کمی سازی و زیرتایپ جهانی.
مقایسه با سایر مکانیسم های زیرگروهی.
کمی سازی وجودی محدود و انتزاع جزئی.
بررسی نوع و استنتاج نوع.
طبقه بندی سلسله مراتبی سیستم های نوع.
نتیجه‌گیری.
تقدیر.
مراجع.
پیوست: قوانین استنتاج را تایپ کنید.

Статья Л. Карделли и П. Вегнера, опубликованная в Computing Surveys, Vol. 17, n. 4, Dec 1985. Посвящена системам типизации, абстракции данных и полиморфизму. Содержание.
From Untyped to Typed Universes.
Organizing Untyped Universes.
Static and Strong Typing.
Kinds of Polymorphism.
The Evolution of Types in Programming Languages.
Type Expression Sublanguages.
Preview of Fun.
The l-Calculus.
The Untyped l-Calculus.
The Typed l-Calculus.
Basic Types, Structured Types and Recursion.
Types are Sets of Values.
Universal Quantification.
Universal Quantification and Generic Functions.
Parametric Types.
Existential Quantification.
Existential Quantification and Information Hiding.
Packages and Abstract Data Types.
Combining Universal and Existential Quantification.
Quantification and Modules.
Modules are First-Class Values.
Bounded Quantification.
Type Inclusion, Subranges, and Inheritance.
Bounded Universal Quantification and Subtyping.
Comparison with Other Subtyping Mechanisms.
Bounded Existential Quantification and Partial Abstraction.
Type Checking and Type Inference.
Hierarchical Classification of Type Systems.
Conclusions.
Acknowledgements.
References.
Appendix: Type Inference Rules.