Într-o revelație recentă, fondatorul Cardano, Charles Hoskinson, a spus că aproape a construit platforma blockchain Cardano folosind limbajul de programare Clojure.
Într-o discuție X, fondatorul Cardano a împărtășit recent o privire fascinantă asupra procesului timpuriu de luare a deciziilor care a dus la crearea Cardano. El a dezvăluit un moment esențial: alegerea între utilizarea Clojure, un dialect Lisp dinamic și funcțional, și Haskell, un limbaj de programare funcțional tipizat static.
Cu toate acestea, decizia sa înclinat în cele din urmă către Haskell, influențată de potențialul Cloud Haskell și de speranțele de a folosi Liquid Haskell și Agda.
Aproape că am construit Cardano cu Clojure. Am discutat chiar și cu Cognitech cu ani în urmă. Am ales haskell în locul clojure din cauza cloud haskell și, de asemenea, speranța de a folosi lichid haskell/agda. În retrospectivă, ar fi fost o călătorie uimitoare să fi scris totul în clojurescript...
– Charles Hoskinson (@IOHK_Charles) 30 mai 2024
Hoskinson a dezvăluit acest lucru într-o conversație X cu Ktorz, directorul tehnic al Fundației Cardano, deoarece ambii au demonstrat cunoștințe despre diferite limbaje de programare cu un interes deosebit pentru Lisp, din care Clojure este un dialect.
În ciuda interesului său inițial pentru Clojure, Hoskinson a dezvăluit că l-a ales pe Haskell în locul lui Clojure datorită lui Cloud Haskell și, de asemenea, speranței de a folosi Haskell/agda lichid. Cloud Haskell oferă un cadru de calcul distribuit care se aliniază bine cu nevoile unei platforme blockchain, în timp ce Liquid Haskell și Agda oferă capabilități avansate pentru verificarea formală și asigurarea corectitudinii codului.
În retrospectivă, Hoskinson reflectă asupra călătoriei care ar fi putut fi dacă Cardano ar fi fost construit cu Clojure. El își imaginează un Cardano construit în întregime pe Clojure, utilizând ClojureScript pentru dezvoltarea clientului și ClojureSpec pentru specificații și testare.
card
Reflecțiile lui Hoskinson nu sunt pline de regret, ci de o analiză atentă a ceea ce ar fi putut fi. Acest traseu, gândește el, ar fi putut fi o „călătorie uimitoare”.
„Privind în urmă, ar fi fost o călătorie uimitoare să scrii totul în Cardano folosind ClojureScript și ClojureSpec”, a remarcat Hoskinson.