Convenzione di denominazione per funzioni di ordine superiore? [chiuso]

Esiste una convenzione di denominazione per le funzioni di ordine superiore? Cioè, funzioni che restituiscono altre funzioni.

Un esempio in Javascript:

function onlyDivisibleBy(div) { // <-- higher order function
  return function (n) {
    return n % div === 0;
  }
}

var arr = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9];

arr.filter(onlyDivisibleBy(3)); // [0, 3, 6, 9]
arr.filter(onlyDivisibleBy(5)); // [0, 5]

Ho teso a scriverlo come sopra: cioè, ottimizzando per la leggibilità nel punto di invocazione (avrei letto le ultime righe sopra come "filtrare l'array per ottenere elementi divisibili solo per 5"), tuttavia al punto di definizione lontano dal contesto in cui viene utilizzato, non è così facile capire cosa fa questa funzione dal suo nome.

No, non penso che tu abbia bisogno di una speciale convenzione di denominazione per indicare che stai restituendo una funzione. Come possiamo vedere dalle lingue in cui le funzioni sono curry , restituire una funzione è essenzialmente lo stesso di avere una funzione con più argomenti. per esempio c'è poca differenza tra onlyDivisibleBy(3)(6)eonlyDivisibleBy(3,6)

Vorrei cambiare il nome da onlyDivisibleByin isDivisibleByanche se penso che issia un modo più comune per indicare un predicato e onlyDivisibleBy(3)(6)sembra strano tornare, truedato che 6 chiaramente è anche divisibile per 2

Nei linguaggi funzionali fortemente tipizzati, dalla firma della funzione è evidente cosa sia una funzione di ordine superiore e cosa no, quindi semplicemente non è necessario.

In altre lingue, non mi sono mai imbattuto in una simile convenzione di denominazione e non riesco a pensare a una che non sia solo ingombrante. Meglio concentrarsi sulle funzioni di denominazione piuttosto che sovraccaricare i nomi in quel modo, credo.

No, e non dovresti usarne nessuno.

Perché?

Perché sarebbe una specie di notazione ungherese . L'idea è esattamente che le funzioni passate alle funzioni di ordine superiore sono solo una specie di variabili. Quindi trattali così.