Сильная и слабая типизация: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Gromolyak (обсуждение | вклад) Метки: с мобильного устройства через мобильное приложение через приложение для Android |
Метки: с мобильного устройства из мобильной версии |
||
Строка 52:
== Определение «сильной» и «слабой» типизации ==
«Сильной» и «слабой» типизацией называется продукт множества решений, принятых при разработке языка. Более точно языки характеризуются наличием или отсутствием [[типобезопасность|безопасности согласования типов]] и [[Безопасность доступа к памяти|безопасности доступа к памяти]], а также характерным временем осуществления такого контроля ([[статическая типизация|в статике]] или [[динамическая типизация|в динамике]]).
Например, яркими примерами
При этом [[Вывод типов|система типов Хиндли — Милнера]] обеспечивает чрезвычайно высокий показатель [[повторное использование кода|повторного использования кода]] за счёт [[параметрический полиморфизм|параметрического полиморфизма]]. Сильная, но не полиморфная система типов может затруднить решение многих алгоритмических задач, как это было отмечено в отношении языка [[Pascal]]<ref>{{Cite web |url=http://www.cs.virginia.edu/~cs655/readings/bwk-on-pascal.html# |title=Why Pascal is Not My Favorite Programming Language|author=[[Керниган, Брайан|Brian Kernighan]] |accessdate=2014-03-13 |archiveurl=https://web.archive.org/web/20120406094058/http://www.cs.virginia.edu/~cs655/readings/bwk-on-pascal.html# |archivedate=2012-04-06 |deadlink=yes }}</ref>.
|