نظریه نوع‌ها
گمان میرود که این مقاله ناقض حق تکثیر باشد، اما بدون داشتن منبع امکان تشخیص قطعی این موضوع وجود ندارد. اگر میتوان نشان داد که این مقاله حق نشر را زیر پا گذاشته است، لطفاً مقاله را در ویکی‌پدیا:مشکلات حق تکثیر فهرست کنید. اگر مطمئنید که مقاله ناقض حق تکثیر نیست، شواهدی را در این زمینه در همین صفحهٔ بحث فراهم آورید. خواهشمندیم این برچسب را بدون گفتگو برندارید. (ژانویه ۲۰۱۹) |
نظریه نوع‌ها شاخه‌ای از منطق، دانش رایانه و فلسفه است که به شناخت سیستم‌های منطقی و کاربرد آن‌ها به جای نظریه مجموعه‌ها می‌پردازد. در نظریه زبان‌های برنامه‌نویسی نظریه نوع‌ها ممکن است به طراحی، تحلیل و شناخت انواع داده‌ها اشاره داشته باشد.
منابع
ویرایش- (انگلیسی) (۳۵۷ ص) F.D. Kamareddine، A Modern Perspective on Type Theory: From its Origins until Today، Springer، ۲۰۰۴
- فرزاد حمیدی، تحلیلی نو، بر پارادوکس راسل و پیوستار همراه با معرفی یک هندسه جدید، (نوامبر ۲۰۰۰)
- (انگلیسی) Simon Thompson، Type Theory and Functional Programming، ۱۹۹۱
- (انگلیسی) The دانشنامه فلسفه استنفورد (Fall ۲۰۰۸ Edition)، Type Theory، ۲۰۰۶