Ah, la vecchia, cara inversione delle dipendenze! E in programmazione funzionale?

​Con Arialdo Martini parleremo di: "Ah, la vecchia, cara inversione delle dipendenze! E in programmazione funzionale?"

​

​Abstract:

​Ah, i vecchi, cari principi SOLID! Ah, l'inversione delle dipendenze!

​"I moduli devono dipendere da astrazioni, non da implementazioni concrete". E tutti giù a iniettare interfacce nei costruttori.

​Liscio come l'olio, fintanto che interfacce e costruttori ci sono. E in un linguaggio funzionale puro, dove interfacce e costruttori non esistono proprio? Come la si sfanga?

​È divertente scoprire che per ottenere Depencency Inversion in FP puro si debba fare un passo indietro, scoprire che Depencency Inversion non si traduca necessariamente in Depencency Injection, che alla radice di Dependency Inversion ci sia una combinazione di sostituzione di elementi con loro rappresentazioni e una separazione tra costruzione e uso.

​Tutto un po' fumoso, se si resta sul teorico. Per cui, mani sulla tastiera! Vediamo di cavarne le gambe re-inventando la Free Monad, in F#. Non sarà facile ma potrebbe gratificarci dandoci una prospettiva inedita su Dependency Inversion.

​

​Biografia:

​Nonostante i (sempre più radi) capelli bianchi, Arialdo si ostina a programmare in C# e F#, a volte in Emacs Lisp e Haskell. Ogni tanto è speaker e blogger. Se lo incuriosite, vi entra in casa e vi intervista davanti a una telecamera.