Higher-order function

[ilovb]

Даже поясню:
Функция первого класса - это компьютерный термин, и определяет три действия:
1. Присвоить переменной
2. Принять аргументом
3. Вернуть

Если убрать первое действие, то получится математическое понятие "Функция высшего порядка" 

[valexey_u]

Все очень просто, valexey:

The distinction between the two is subtle: "higher-order" describes a mathematical concept of functions that operate on other functions, while "first-class" is a computer science term that describes programming language entities that have no restriction on their use (thus first-class functions can appear anywhere in the program that other first-class entities like numbers can, including as arguments to other functions and as their return values).

http://en.wikipedia.org/wiki/Functional_programming#First-class_and_higher-order_functions
 

Мы сейчас пойдем уже по второму кругу :-)
Еще раз процитирую оттуда же:

Higher-order functions enable partial application or currying, a technique in which a function is applied to its arguments one at a time, with each application returning a new function that accepts the next argument. This allows one to succinctly express, for example, the successor function as the addition operator partially applied to the natural number one.

А между прочим, пока мы ходим кругами, никто не задался вопросом - что такое функция, и чем от нее отличается указатель на оную функцию :-)

[Valery Solovey]

Если в языке возможен карринг, то возможен исключительно благодаря этим самым hof, но отсутствие карринга не является признаком отсутствия hof.

А про функцию и указатель: передача функции по ссылке так же законна, как и по значению.

hof - это элемент функционального языка, а не язык целиком, и не надо переносить с ФЯ на hof всё его содержание.

[Geniepro]

До-о! Мелкософт конечно знатоки функциональщины!

Вообще-то да. Ведь основные работы по тому же хаскелю ведутся в Microsoft Research, да и F# тоже достаточно развит в плане ФП...

[ilovb]

Higher-order functions enable partial application or currying, a technique in which a function is applied to its arguments one at a time, with each application returning a new function that accepts the next argument. This allows one to succinctly express, for example, the successor function as the addition operator partially applied to the natural number one.

Что в данном месте переводится "разрешают". Не вижу ничего противоречащего моим словам.
Вот если бы там было написано: "ФВП определяются наличием currying'а"...

ps И что такое функция в программировании? 

[valexey_u]

Если в языке возможен карринг, то возможен исключительно благодаря этим самым hof, но отсутствие карринга не является признаком отсутствия hof.

А про функцию и указатель: передача функции по ссылке так же законна, как и по значению.

hof - это элемент функционального языка, а не язык целиком, и не надо переносить с ФЯ на hof всё его содержание.

Везде имелось ввиду именно передача по значению (first class values).

[DIzer]

Отображение на  яп некоторого вспомогательного алгоритма,  иловб, более корректный ьермин - подпрограмма

[ilovb]

DIzer, не понял к чему вы это. Поясните плиз.

[DIzer]

Вы спросили- что такое функция в прогоаммировании - я ответил

[ilovb]

А я тут гадаю... 
Ну вопрос вообще к valexey был.

А между прочим, пока мы ходим кругами, никто не задался вопросом - что такое функция, и чем от нее отличается указатель на оную функцию :-)

[valexey_u]

Вы спросили- что такое функция в прогоаммировании - я ответил

Это никак не отвечает на поставленный мною вопрос :-)

[DIzer]

Я отвечал не на ваш  вопрос,  Алексей. а на Иловб

[ilovb]

 
Последние 6 постов доставляют.

[valexey_u]

Последние 6 постов доставляют.

Кстати, да. Напоминают игру "сломанный телефон".

[DIzer]

да нет - просто тяжко отвечать развернуто через телефон в движущемя междугороднем автобусе