نظریه نوع‌ها شاخه‌ای از منطق، دانش رایانه و فلسفه است که به شناخت سیستم‌های منطقی و کاربرد آن‌ها به جای نظریه مجموعه‌ها می‌پردازد. در نظریه زبان‌های برنامه‌نویسی نظریه نوع‌ها ممکن است به طراحی، تحلیل و شناخت انواع داده‌ها اشاره داشته باشد.
 | گمان می‌رود که این مقاله ناقض حق تکثیر باشد، اما بدون داشتن منبع امکان تشخیص قطعی این موضوع وجود ندارد. اگر می‌توان نشان داد که این مقاله حق نشر را زیر پا گذاشته است، لطفاً مقاله را در ویکی‌پدیا:مشکلات حق تکثیر فهرست کنید. اگر مطمئنید که مقاله ناقض حق تکثیر نیست، شواهدی را در این زمینه در همین صفحهٔ بحث فراهم آورید. خواهشمندیم این برچسب را بدون گفتگو برندارید. (ژانویه ۲۰۱۹) |
منابع
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
