Cos'è una funzione di prima classe?

La funzione di prima classe è un termine che può essere applicato nella programmazione informatica e nell'informatica a un linguaggio di programmazione informatica se il trattamento delle funzioni aderisce a una serie di linee guida, sebbene l'intera portata e profondità di queste linee guida non siano formalmente concordati.Per avere un linguaggio di programmazione del computer di funzione di prima classe, la caratteristica principale che deve essere supportata è la capacità di passare le funzioni come argomenti ad altre funzioni.Una funzione deve anche essere assegnata a una variabile in modo che possa essere archiviata.Altre proprietà utilizzate per determinare ciò che costituisce una funzione di prima classe includono la capacità di generare dinamicamente una funzione in fase di esecuzione e la capacità del linguaggio di avere una funzione come valore di ritorno di un'altra funzione.Le lingue che supportano l'architettura delle funzioni di prima classe consentono un alto livello di astrazione e anche, in alcuni casi, forniscono un meccanismo per la generazione di codice dinamico di runtime.

Quando il termine funzione viene utilizzato in un senso vagamente definito, il concetto diPassare una funzione all'interno di un programma attraverso variabili non è necessariamente unico per le lingue che implementano nativamente il supporto delle funzioni di prima classe.La possibilità di passare blocchi di codice alle funzioni o di restituire un codice non dinamico da una funzione, può essere facilmente eseguita in molti linguaggi di programmazione attraverso diversi meccanismi.Una delle parti rigorose della definizione di un linguaggio della funzione di prima classe, tuttavia, è che la gestione delle funzioni come variabili deve essere eseguita in modo nativo, senza l'uso di metadati come definisce condizionale e senza chiamare un compilatore per ricompilare un pezzo di pezzocodice.La funzione a termine viene anche utilizzata per fare riferimento a blocchi di codice indipendenti che vengono chiamati da soli, il che significa che non includono i blocchi di codice noti come metodi nei linguaggi di programmazione orientati agli oggetti o i blocchi a volte chiamati procedure in altre lingue.

è progettato per consentire il codice funzione di prima classe, alcuni modelli di progettazione possono essere implementati più direttamente che in altre lingue.Una funzione può ricevere una funzione come variabile, quindi costruire una nuova funzione e restituire la nuova funzione al codice chiamante, quindi questo crea un meccanismo per la creazione di runtime del codice del programma.Ciò può anche rendere possibili l'uso di funzioni in-inputted in tempo reale all'interno della lingua senza l'uso di processi come la riflessione o la valutazione.

Alcuni degli usi più basilari per l'architettura delle funzioni di prima classe includono la creazione di funzioni generiche che possono facilmenteessere riutilizzato e implementare algoritmi matematici ricorsivi che sono in grado di auto-modificare le loro equazioni mentre progrediscono.Un uso simile e più avanzato per i meccanismi di prima classe è l'implementazione del polimorfismo nelle lingue in cui non è specificamente implementato.Ciò può consentire di chiamare le funzioni con la stessa firma della funzione ma eseguire il codice in base al contesto in cui è stato chiamato, a volte passando una funzione chiave alla funzione polimorfica.