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