В таких языках задачи решаются в терминах отображений на множестве сложных объектов данных, имеющих структуру, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Филд А.N. Функциональное программирование


В таких языках задачи решаются в терминах отображений на множестве сложных объектов данных, имеющих структуру, соответствующую логике решения, а не компьютеру, на котором выполняется программа. Кроме того, понятие полиморфизма ( введенное в гл. Альтернатива полиморфизму в строго типизированных языках состоит в определении отдельной версии функции для каждого типа данных, к которому она применима. Более того, если реализация типизированного языка обеспечивает проверку типов на этапе компиляции, нет никакой необходимости хранить информацию о типах на этапе выполнения программы, так как можно считать, что созданный компилятором код не содержит ошибок, связанных с типами данных. Это означает, например, что функции всегда применяются к аргументам правильного типа.

(cкачать страницу)

Смотреть книгу на libgen

В таких языках задачи решаются в терминах отображений на множестве сложных объектов данных,  имеющих структуру,  соответствующую логике решения,  а не компьютеру,  на котором выполняется программа.  Кроме того,  понятие полиморфизма ( введенное в гл.  Альтернатива полиморфизму в строго типизированных языках состоит в определении отдельной версии функции для каждого типа данных,  к которому она применима.  Более того,  если реализация типизированного языка обеспечивает проверку типов на этапе компиляции,  нет никакой необходимости хранить информацию о типах на этапе выполнения программы,  так как можно считать,  что созданный компилятором код не содержит ошибок,  связанных с типами данных.  Это означает,  например,  что функции всегда применяются к аргументам правильного типа.