Сильная и слабая типизация: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м →‎Определение «сильной» и «слабой» типизации: 1) был пропущен предлог; 2) уточнена викиссылка
оформление
Строка 35:
[[Python]] является одним из примеров языка с сильной динамической типизацией<ref>[http://wiki.python.org/moin/Why%20is%20Python%20a%20dynamic%20language%20and%20also%20a%20strongly%20typed%20language Why is Python a dynamic language and also a strongly typed language — PythonInfo Wiki<!-- Заголовок добавлен ботом -->]</ref>.
 
== СсылкиПримечания ==
{{примечания}}
 
Строка 47:
 
* {{статья
| автор = {{iw|Карделли, Лука|Лука Карделли|en|Luca Cardelli}}
| заглавие = Typeful programming
| ссылка = http://www.lucacardelli.name/Papers/TypefulProg.pdf
| язык = {{ref-en}}
| издание = IFIP State-of-the-Art Reports
| издательство = Springer-Verlag
|место = New York
| год = 1991
|издательство = Springer-Verlag
| выпуск = Formal Description of Programming Concepts
|год = 1991
| страницы = 431–507
|выпуск = Formal Description of Programming Concepts
| ref = Cardelli, - Typeful programming
|страницы = 431–507
|ref = Cardelli, Typeful
}}
* {{статьякнига
| автор = Pierce, Benjamin PierceC.
| заглавие = Types and Programming Languages
| ссылка = http://www.cis.upenn.edu/~bcpierce/tapl/
|язык = {{ref-en}}
| викитека =
|издательство = MIT Press
|год издание = 2002
| издательство = [[MIT Press]]
|isbn = 0-262-16209-1
|ref год = Pierce2002
| isbn = 0-262-16209-1
}}
** Перевод на русский язык: {{книга
| автор = Пирс Б.
| заглавие = Типы в языках программирования
| викитека =
| ответственный =
| издание =
| издательство = [[Добросвет]]
|язык год = {{ref-en}}2012
| страниц = 680
| isbn = 978-5-7913-0082-9
| ref = Pierce
}}
 
{{rq|img|refless|sources|check}}