Mi chiedo se / quale differenza tra la funzione di prima classe e la funzione di ordine superiore .
Ho letto quelle due pagine wiki e sembrano piuttosto simili. Se parlano dello stesso, perché hanno bisogno di due terminologie?
Ho provato a google ma non ho trovato nulla di utile.
Risposte:
C'è una differenza. Quando dici che una lingua ha funzioni di prima classe, significa che la lingua tratta le funzioni come valori - che puoi assegnare una funzione in una variabile, passarla in giro ecc. Le funzioni di ordine superiore sono funzioni che funzionano su altre funzioni, il che significa che prendono una o più funzioni come argomento e possono anche restituire una funzione.
Il concetto di "ordine superiore" può essere applicato a funzioni in generale, come funzioni in senso matematico. Il concetto di "prima classe" riguarda solo le funzioni nei linguaggi di programmazione. Viene usato raramente quando si fa riferimento a una funzione, come "una funzione di prima classe". È molto più comune affermare che "una lingua non ha / non ha il supporto di funzioni di prima classe".
Le due cose sono strettamente correlate, poiché è difficile immaginare un linguaggio con funzioni di prim'ordine che non supporterebbe anche funzioni di ordine superiore e viceversa un linguaggio con funzioni di ordine superiore ma senza supporto di funzioni di prima classe.
into char, nel senso che non possono essere esplicitamente definite (da un corpo di funzione) dove si desidera.
Sono diversi.
Funzioni di prima classe
I valori in una lingua che sono gestiti in modo uniforme in tutto sono chiamati "prima classe". Possono essere archiviati in strutture di dati, passati come argomenti o utilizzati in strutture di controllo.
I linguaggi che supportano valori con tipi di funzione e li trattano allo stesso modo di valori non funzionali, si può dire che abbiano "funzioni di prima classe".
Funzioni di ordine superiore
Una delle conseguenze di avere funzioni di prima classe è che dovresti essere in grado di passare una funzione come argomento a un'altra funzione. Quest'ultima funzione è ora "ordine superiore". È una funzione che accetta una funzione come argomento.
L'esempio canonico è "mappa"
map :: (a -> b) -> [a] -> [b]
map f [] = []
map f (x:xs) = f x : map f xs
Cioè, prende una funzione e un array e restituisce un nuovo array con la funzione applicata a ciascun elemento.
Linguaggi funzionali - linguaggi in cui le funzioni sono il mezzo principale per creare programmi - tutte hanno funzioni di prima classe. La maggior parte ha anche funzioni di ordine superiore (eccezioni molto rare sono lingue come Excel, che si può dire che sia funzionale, ma non di ordine superiore).
Oltre alle risposte precedenti, nota che un linguaggio con funzioni di prima classe abilita automaticamente l'espressione di funzioni di ordine superiore (perché puoi passare funzioni come parametri come qualsiasi altro valore).
D'altra parte, puoi immaginare linguaggi che supportano funzioni di ordine superiore, ma non rendono le funzioni di prima classe (e in cui i parametri che sono funzioni sono trattati in modo speciale e diversi dai parametri di valore "ordinario").
Quindi la presenza di funzioni di prima classe (come caratteristica del linguaggio) implica la presenza di funzioni di ordine superiore, ma non viceversa.
Le funzioni di prima classe possono:
La funzione di ordine superiore è una funzione che restituisce un'altra funzione.
Per esempio:
function highOrderFunc() {
return function () {
alert('hello');
};
}
Le funzioni di prima classe significano tutto ciò che puoi fare con altri tipi (variabili, valori booleani, numeri ...), puoi farlo con le funzioni.
Ad esempio, assegnali a variabili, passali in giro, creali al volo.