Programmazione funzionale: l'uso di un generico rende impura una funzione?

Question

Programmazione funzionale: l'uso di un generico rende impura una funzione?

#1 da (7 voti)
#2 da (3 voti)

2

    public static Func<string, Task<T>> MyMethod<T>(
        UserCredentials credentials,
        Func<string, string, string, Task<T>> func
    ) =>
        async (value) => await func(credentials.user, credentials.pwd, value);

Ho difficoltà a discernere la purezza della funzione, perché ovviamente T(int) genera un output diverso come T(string) . Oppure la purezza dipende da T(int) = 5 sempre risultante in 10 e T(string) ="Foo" che risulta sempre in "Bar"?

c# functional-programming pure-function

posta Yatrix 23.02.2018 - 18:43

fonte

2 risposte

3

Utilizzando la definizione di Pure Function da wikipedia , una funzione è pura se:

La funzione valuta sempre lo stesso valore di risultato dato lo stesso valore di argomento. Il valore del risultato della funzione non può dipendere da informazioni o stati nascosti che possono cambiare durante l'esecuzione del programma o tra diverse esecuzioni del programma, né può dipendere da qualsiasi ingresso esterno dai dispositivi I / O (di solito, vedere sotto).
La valutazione del risultato non causa alcun effetto collaterale semanticamente osservabile o output, come la mutazione di oggetti mutabili o l'output su dispositivi I / O (di solito, vedi sotto).

Ci sono due modi in cui penso che tu possa guardare a questo: 1. il parametro type T fa parte della definizione della funzione o fa parte dell'input alla funzione. Ad ogni modo, non penso che sia importante per determinare se la funzione è pura.

risposta data 23.02.2018 - 19:00

fonte

Leggi altre domande sui tag c# functional-programming pure-function

Nelle lingue senza gestione delle eccezioni, i codici di errore devono essere restituiti dalla funzione o dai parametri di funzione? come automatizzi più requisiti di report che sono complessi?

score 7 · Accepted Answer

Or does the purity depend on T(int) = 5 always resulting in 10 and T(string) = "Foo" always resulting in "Bar"?

Sì.

Un parametro di tipo è ancora uno dei parametri di input della funzione, anche se non risiede tra parentesi della funzione. La definizione di una funzione pura è che, dati gli stessi valori per i suoi parametri di input, produrrà comunque lo stesso risultato (senza effetti collaterali).