Будь-яка різниця між функцією першого класу і функцією високого замовлення

Мені цікаво, чи / яка різниця між функцією першого класу і функцією високого замовлення .

Я прочитав ці дві сторінки вікі, і вони виглядають досить схоже. Якщо вони говорять про те саме, навіщо потрібні дві термінології?

Спробував google, але не знайшов корисної речі.

Є різниця. Коли ви говорите, що мова має функції першого класу, це означає, що мова розглядає функції як значення - ви можете призначити функцію змінній, передавати її навколо і т.д. Функції вищого порядку - це функції, що працюють на інших функціях, тобто що вони беруть одну або кілька функцій як аргумент, а також можуть повернути функцію.

Концепція «вищого порядку» може бути застосована до функцій взагалі, як до функцій у математичному сенсі. Концепція «першокласного» стосується лише функцій у мовах програмування. Він рідко використовується при посиланні на функцію, наприклад "функцію першого класу". Набагато частіше говорити, що "мова не має / не підтримує функцію першокласного".

Дві речі тісно пов’язані між собою, оскільки важко уявити мову з функціями першого класу, які також не підтримували б функції вищого порядку, і навпаки мовою з функціями вищого порядку, але без підтримки першого класу.

Функції першого класу - це функції, які розглядаються як об'єкт (або можуть бути віднесені до змінної).

Функції вищого порядку - це функції, які приймають принаймні одну функцію першого класу як параметр або повертають принаймні одну функцію першого класу.

Вони різні.

Функції першого класу

Значення мови, якою рівномірно обробляються, називаються "першим класом". Вони можуть зберігатися в структурах даних, передаватися як аргументи або використовуватися в структурах управління.

Мови, які підтримують значення з типами функцій і трактують їх так само, як і значення, що не функціонують, можна сказати, що вони мають "функції першого класу".

Функції вищого порядку

Одним із наслідків наявності функцій першого класу є те, що ви повинні мати можливість передавати функцію як аргумент іншій функції. Остання функція тепер "вищого порядку". Це функція, яка приймає функцію як аргумент.

Канонічний приклад - "карта"

map :: (a -> b) -> [a] -> [b]
map f []     = []
map f (x:xs) = f x : map f xs

Тобто він бере функцію та масив та повертає новий масив із функцією, застосованою до кожного елемента.

Функціональні мови - мови, де функції є основним засобом побудови програм - усі вони мають функції першого класу. Більшість також мають функції вищого порядку (дуже рідкісні винятки становлять такі мови, як Excel, які можна сказати як функціональні, але не вищого порядку).

На додаток до попередніх відповідей, зауважте, що мова з функціями першого класу автоматично дозволяє виражати функції вищого порядку (адже ви можете передавати функції як параметри, як і будь-яке інше значення).

З іншого боку, ви можете уявити мови, які підтримують функції вищого порядку, але не роблять функцій першокласними (і де параметри, які є функціями, обробляються спеціально та відрізняються від "звичайних" значень параметрів).

Тож наявність першокласних функцій (як мовної особливості) означає наявність функцій вищого порядку, але не навпаки.

Функції першого класу можуть:

• Зберігати у змінних
• Повертається з функції.
• Передаються як аргументи в іншу функцію.

Функція високого замовлення - це функція, яка повертає іншу функцію.

Наприклад:

function highOrderFunc() {
  return function () {
    alert('hello');
  };
}

Функції першого класу означають все, що ви можете зробити з іншими типами (змінні, булеві числа, числа ...), ви можете це робити за допомогою функцій.

Наприклад, призначте їх змінним, передайте їх навколо, створіть їх на ходу.