Cover Image

In una recente rivelazione, il fondatore di Cardano Charles Hoskinson ha condiviso di aver quasi costruito la piattaforma blockchain di Cardano utilizzando il linguaggio di programmazione Clojure.

In una discussione su X, il fondatore di Cardano ha recentemente condiviso uno sguardo affascinante sul processo decisionale iniziale che ha portato alla creazione di Cardano. Ha rivelato un momento cruciale: la scelta tra l'utilizzo di Clojure, un dialetto Lisp dinamico e funzionale, e Haskell, un linguaggio di programmazione funzionale tipizzato staticamente.

Tuttavia, la decisione alla fine si è orientata verso Haskell, influenzata dal potenziale di Cloud Haskell e dalla speranza di sfruttare Liquid Haskell e Agda.

Ho quasi costruito Cardano con Clojure. Ne abbiamo parlato anche con Cognitech anni fa. Ho scelto haskell rispetto a clojure a causa del cloud haskell e anche della speranza di utilizzare liquid haskell/agda. Col senno di poi, sarebbe stato un viaggio fantastico aver scritto tutto in clojurescript…

— Charles Hoskinson (@IOHK_Charles) 30 maggio 2024

Hoskinson lo ha rivelato in una conversazione X con Ktorz, il direttore tecnico della Fondazione Cardano, poiché entrambi hanno dimostrato di conoscere vari linguaggi di programmazione con un interesse peculiare per il Lisp, di cui Clojure è un dialetto.

Nonostante il suo interesse iniziale per Clojure, Hoskinson ha rivelato di aver scelto Haskell invece di Clojure a causa di Cloud Haskell e anche della speranza di utilizzare Haskell/agda liquido. Cloud Haskell offre un framework di calcolo distribuito che si allinea bene con le esigenze di una piattaforma blockchain, mentre Liquid Haskell e Agda forniscono funzionalità avanzate per la verifica formale e la garanzia della correttezza del codice.

Col senno di poi, Hoskinson riflette sul viaggio che avrebbe potuto essere se Cardano fosse stato costruito con Clojure.  Immagina un Cardano costruito interamente su Clojure, utilizzando ClojureScript per lo sviluppo lato client e ClojureSpec per specifiche e test.

carta

Le riflessioni di Hoskinson non sono piene di rimpianti ma di una considerazione ponderata di ciò che avrebbe potuto essere. Questo percorso, riflette, avrebbe potuto essere un "viaggio straordinario".

"Guardando indietro, sarebbe stato un viaggio fantastico scrivere tutto in Cardano utilizzando ClojureScript e ClojureSpec", ha osservato Hoskinson.