Secondo U.Today, Charles Hoskinson, il fondatore di Cardano, ha recentemente rivelato di aver preso in considerazione l'utilizzo del linguaggio di programmazione Clojure per costruire la piattaforma blockchain Cardano. In una discussione, Hoskinson ha offerto uno sguardo intrigante sul processo decisionale iniziale che ha portato alla fondazione di Cardano. Ha evidenziato un punto cruciale: la decisione tra l'utilizzo di Clojure, un dialetto Lisp dinamico e funzionale, e Haskell, un linguaggio di programmazione funzionale tipizzato staticamente. Alla fine, la scelta è caduta su Haskell, spinta dal potenziale di Cloud Haskell e dall'aspirazione a utilizzare Liquid Haskell e Agda.

Hoskinson ha condiviso queste informazioni durante una conversazione con Ktorz, il direttore tecnico della Fondazione Cardano. Entrambi hanno dimostrato una profonda conoscenza di vari linguaggi di programmazione, con un particolare interesse per il Lisp, un dialetto del quale è Clojure. Nonostante il suo interesse iniziale per Clojure, Hoskinson ha rivelato di aver scelto Haskell invece di Clojure a causa di Cloud Haskell e del potenziale utilizzo di Liquid Haskell/Agda. Cloud Haskell fornisce un framework di calcolo distribuito che si allinea bene con i requisiti di una piattaforma blockchain, mentre Liquid Haskell e Agda offrono funzionalità avanzate per la verifica formale e la garanzia della correttezza del codice.

Riflettendo sul passato, Hoskinson ha riflettuto sul percorso che avrebbe potuto essere se Cardano fosse stato costruito con Clojure. Ha immaginato un Cardano costruito interamente su Clojure, utilizzando ClojureScript per lo sviluppo lato client e ClojureSpec per specifiche e test. Tuttavia, le riflessioni di Hoskinson non sono piene di rimpianti ma di considerazioni ponderate su ciò che avrebbe potuto essere. Ha pensato che avrebbe potuto essere un "viaggio fantastico" scrivere tutto in Cardano usando ClojureScript e ClojureSpec.