تفاوت میان نسخه‌های «نوع‌دهی نیرومند و سست»

جز
جکسون در این باره نوشته‌است، «در یک زبان وابسته زیاد به نوع ناحیه هر داده یک نوع متفاوت دارد و هر فرایند الزامات ارتباطش را به شروط این نوع‌ها توضیح می‌دهد.»<ref>{{cite journal | title = Parallel processing and modular software construction | first1 = K. | last1 = Jackson | journal = Lecture Notes in Computer Science | year = 1977 | volume = 54 | pages = 436–443 | doi = 10.1007/BFb0021435 | url = http://www.springerlink.com/content/wq02703237400667/ | series = Lecture Notes in Computer Science | isbn = 3-540-08360-X}}</ref>
 
== تعاریف «زیاد» یا «کم» ==
{{بخش-خرد}}
تعدادی از تصمیم‌گیری‌های مختلف طراحی زبان به عنوان نشانه‌ای از وابستگی «زیاد» یا «کم» به نوع نسبت داده شده‌است. در حقیقت، بسیاری از اینها دقیق‌تر وجود یا عدم وجود [[ایمنی نوع]]، [[ایمنی حافظه]]، [[بررسی ایستایی نوع]]، یا [[بررسی پویایی نوع]] را درک کرده‌اند.
۱۷٬۷۰۷

ویرایش