Capitolo 1 - Currying a 3 parametri

[arialdomartini]

Implementare una funzione che restituisca la versione curried di una qualunque funzione a 3 parametri:

Func<int, int, string, string> printSum = 
    (int a, int b, string name) => $"Dear {name}, the sum of {a} and {b} is {a + b}";

printSum(2,3, "John")
    .Should().Be("Dear John, the sum of 2 and 3 is 5");

Func<int, Func<int, Func<string, string>>> curried = printSum.curried();

curried(2)(3)("John")
    .Should().Be("Dear John, the sum of 2 and 3 is 5");

Func<string, string> partiallyApplied = curried(2)(3);

[matteobertaiola]

public static class CurryExtensions
    {
        public static Func<int, Func<int, Func<string, string>>> curried(this Func<int, int, string, string> func)
                    => int1 => int2 => text1 => func(int1, int2, text1);
    }

poi la domanda diventa: faccio la curry per leggere meglio, ma la function che mi da la curried si complica nella lettura se aumento i parametri...quali sono i confini di utilità?

[matteobertaiola]

però quello che trovo interessante è la possibilità di avere le funzioni parziali... chiamata per i primi N input ho la funzione parziale da poter applicare ai successivi...

[arialdomartini]

Esatto, @matteobertaiola!! Bravissimo!

E hai anche intuito che il currying non è tanto una questione estetica e di lettura, ma lo strumento per avere la partial application!

A sua volta, la partial application è una forma funzionale di dependency injection.

Metti di avere una funzione con 2 parametri: il primo è una dipendenza, il secondo è il vero parametro di input

Student Read(DbConnection dbConnection, string key) => ...

All'avvio dell'applicazione hai la connection string, ma ancora non sai a runtime quali chiavi dovrai leggere. Potresti applicare la funzione parzialmente solo al primo parametro:

var myDbConnectn = EstablishConnection();
var readFromDb = Read(myDbConnection);

...

var student = readFromDb("john-doe");

In sostanza, facendo la partial application di una funzione curryied si possono fissare le dipendenze, senza essere costretti a progaparle nella profondità del codice, creando funzioni che dipendono solo dai parametri di ingresso.

Questo specifico esempio che ho fatto è pessimo, perché sto fissando un parametro molto poco funzionale, perché trasporta un side effect (le lettura da un DB). È quello che sostiene Mark Seemann (l'autore di Dependency Injection in C#) in questo post:

https://blog.ploeh.dk/2017/01/30/partial-application-is-dependency-injection/

Nel libro Bonanno fa un esempio molto carino nel capitolo 7.

Ci sono un sacco di altri usi del currying: quando riusciremo finalmente a risolvere il problema Just 3 + Just 5 vedremo che sarà necessario usare una versione parzialmente applicata di Func<int, int, int> sum = (a, b) => a + b.

Una volta che prendi la mano con la partial application ne scopri ogni volta un possibile uso.

Ti viene in mente uno use case per cui potresti aver bisogno di una lista di funzioni parzialmente applicate, alle quali manchi solo un ultimo parametro?

[matteobertaiola]

Scendendo nello specifico di tcpos potrei eliminare il propagarsi di LocalDB passando una funzione precaricata

[arialdomartini]

Sì.

Puoi fare la stessa cosa con Dependency Injection, comunque.

localdb inoltre ha side effect. Come racconta Mark Seemann in quel post, usare la partial application per emulare una Dependency Injection funziona, ma risulta in una soluzione non functional.

Dal capitolo 4 in poi inizieremo a vedere altri approcci, come la IO Monad.

[matteobertaiola]

In effetti se avessi bisogno di più di una funzione di DB il gioco non vale la candela Matteo

…

On Sat, Feb 6, 2021, 09:03 Arialdo Martini ***@***.***> wrote: Sì. Puoi fare la stessa cosa con Dependency Injection, comunque. localdb inoltre ha side effect. Come racconta Mark Seemann in quel post, usare la partial application per emulare una Dependency Injection funziona, ma risulta in una soluzione non functional. Dal capitolo 4 in poi inizieremo a vedere altri approcci, come la IO Monad. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#26 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AHZAOD66U32RFLXKSZUOXDDS5TZVLANCNFSM4WXY7DZQ> .