Основы функционального программирования/Вводная лекция: различия между версиями
Содержимое удалено Содержимое добавлено
Jinnuse (обсуждение | вклад) м ссылка с именем вывод типов ссылалась на приведение типов. теперь ссылается правильно. |
|||
Строка 125:
В языке Си++ имеется такое понятие, как шаблон, которое позволяет программисту определять полиморфные функции, подобные <tt>quickSort</tt>. В стандартную библиотеку Си++ — [[w:Standard Template Library|STL]] — входит такая функция и множество других полиморфных функций. Но шаблоны Си++, как и родовые функции Ады, на самом деле порождают множество перегруженных функций, которые, кстати, нужно каждый раз компилировать, что неблагоприятно сказывается на времени компиляции и размере [[w:Машинный код|кода]]. А в функциональных языках полиморфная функция <tt>quickSort</tt> — это одна единственная функция. С другой стороны, функциональные языки в этом плане проигрывают по скорости выполнения.
В некоторых языках, например в Аде, строгая типизация вынуждает программиста явно описывать тип всех значений и функций. Для избежания этого, в строго типизированные функциональные языки встроен механизм, позволяющий компилятору определять типы констант, выражений и функций из контекста, — механизм [[w:
=== Модульность ===
| |||