Строгий язык программирования

Строгий язык программирования — это язык программирования , который позволяет пользователю определять только строгие функции (функции, параметры которых должны быть полностью вычислены, прежде чем они могут быть вызваны). Нестрогий язык программирования позволяет пользователю определять нестрогие функции и, следовательно, может допускать ленивую оценку . В большинстве нестрогих языков нестрогость распространяется на конструкторы данных .

Описание

Строгий язык программирования — это язык программирования , который использует строгую парадигму программирования , позволяя пользователю определять только строгие функции (функции, параметры которых должны быть полностью оценены, прежде чем они могут быть вызваны). Нестрогий язык программирования позволяет пользователю определять нестрогие функции и, следовательно, может допускать ленивую оценку . ^[1]

Нестрогость имеет ряд недостатков, которые помешали ее широкому распространению: ^{[ необходима ссылка ]}

Из-за неопределенности относительно того, будут ли выражения оцениваться и когда, нестрогие языки, как правило, должны быть чисто функциональными, чтобы быть полезными.
Все широко используемые аппаратные архитектуры оптимизированы для строгих языков, поэтому лучшие компиляторы для нестрогих языков создают более медленный код, чем лучшие компиляторы для строгих языков.
Пространственную сложность нестрогих программ трудно понять и предсказать.
Во многих строгих языках некоторые преимущества нестрогих функций могут быть получены за счет использования макросов или преобразователей .

Строгие языки программирования часто ассоциируются с энергичной оценкой , а нестрогие языки — с ленивой оценкой , но в каждом случае возможны и другие стратегии оценки . ^{[ требуется ссылка ]} Термины «энергичный язык программирования» и «ленивый язык программирования» часто используются как синонимы для «строгого языка программирования» и «нестрогого языка программирования» соответственно. ^{[ требуется ссылка ]}

Примеры

Почти все языки программирования , которые сегодня широко используются, являются строгими. ^{[ требуется ссылка ]} Примерами служат C# , Java , Perl (все версии, т. е. до версии 5 и версии 7), Python , ^[2] Ruby , Common Lisp и ML . Некоторые строгие языки программирования включают функции, имитирующие ленивость. ^{[ требуется пояснение ]} Raku (ранее известный как Perl 6) имеет ленивые списки, ^[3] Python имеет функции-генераторы, ^[4] а Julia предоставляет систему макросов для создания нестрогих функций, ^[5] как и Scheme .

Примерами нестрогих языков являются Haskell , R , Miranda и Clean . ^[6]

Расширение

В большинстве нестрогих языков нестрогость распространяется на конструкторы данных . Это позволяет манипулировать концептуально бесконечными структурами данных (такими как список всех простых чисел ) так же, как и обычными конечными структурами данных. Это также позволяет использовать очень большие, но конечные структуры данных, такие как полное игровое дерево шахмат .

Цитаты

^ Скотт 2006, стр. 541.
^ Лотт, Стивен (2015). Функциональное программирование на Python . Бирмингем, Великобритания: Packt Publishing. стр. 35. ISBN 978-1-78439-699-2. Python фокусируется на строгой оценке
^ "Raku Programming/Lazy Lists and Feeds - Wikibooks, открытые книги для открытого мира". en.wikibooks.org . Получено 2021-02-09 .
^ Лотт, Стивен (2015). Функциональное программирование на Python . Бирмингем, Великобритания: Packt Publishing. стр. 35. ISBN 978-1-78439-699-2. функция генератора не является строгой. [...] мы можем использовать функции генератора для создания ленивых вычислений.
^ Иннес, Майк Дж. (2021-02-06), MikeInnes/Lazy.jl , получено 2021-02-09
↑ Клюэт и Халл, 1998, стр. 25–26.

Ссылки

Скотт, Майкл Ли (2006) [1999], Макфадден, Нейт и др. (ред.), Programming Language Pragmatics, т. 2, опубликовано Дениз Пенроуз (2 ^-е изд.), Сан-Франциско: Morgan Kaufmann, ISBN 9780126339512, OCLC 551774322 , получено 21 ноября 2014 г.
Клюэ, Софи; Халл, Рик; и др., ред. (1998) [1997], Языки программирования баз данных, Конспект лекций по информатике, т. 1369, Берлин; Гейдельберг: Springer, ISBN 9783540648239, ISSN 0302-9743, OCLC 873553545 , получено 21 ноября 2014 г.