в языке ML как идентификаторы
general_insert_element: (('t x 't) -> bool) -> 't -> 't list
где типовые переменные записаны в языке ML как идентификаторы с предшествующим
апострофом
Использование функций более высокого порядка, т. е. функций, аргументами которых являются функции, не ограничено такими статическими конструкциями, как обобщения. Чрезвычайно полезная функция — тар:
fun map f [] = [ ]
| mар f head :: tail = (f head):: (map f tail)
Эта функция применяет первый аргумент к списку значений, производя список результатов. Например:
map even [1, 3, 5, 2, 4, 6] = [false, false, false, true, true, true]
map min [(1,5), (4,2), (8,1)] = [1,2,1]
Этого фактически невозможно достичь в процедурных языках; самое большее, мы могли бы написать подпрограмму, которая получает указатель на функцию в качестве аргумента, но мы потребовали бы разных подпрограмм для каждой допустимой сигнатуры аргумента функции.
Обратите внимание, что эта конструкция надежная. Тип тар следующий:
mар: (t1 -> t2) -> 't1 list -> t2 list
Это означает, что элементы списка аргументов t1 list все должны быть совместимы с аргументом функции t1, а список результата t2 list будет состоять только из элементов, имеющих тип результата функции t2.
Функции более высокого порядка абстрагируются от большинства управляющих структур, которые необходимы в процедурных языках. В другом примере функция accumulate реализует «составное» применение функции, а не создает список результатов, подобно mар:
fun accumulate f initial [] = initial
| accumulate f initial head::tail - accumulate f (f initial head) tail
Функция accumulate может использоваться для создания ряда полезных функций. Функции
fun minlist = accumulate min maxint
fun sumlist = accumulate "+" 0
вычисляют минимальное значение целочисленного списка и сумму целочисленного списка соответственно.