Dans une révélation récente, le fondateur de Cardano, Charles Hoskinson, a déclaré qu'il avait presque construit la plate-forme blockchain Cardano en utilisant le langage de programmation Clojure.
Dans une discussion X, le fondateur de Cardano a récemment partagé un aperçu fascinant du premier processus décisionnel qui a conduit à la création de Cardano. Il a révélé un moment charnière : le choix entre utiliser Clojure, un dialecte Lisp dynamique et fonctionnel, et Haskell, un langage de programmation fonctionnel typé statiquement.
Cependant, la décision a finalement penché en faveur de Haskell, influencée par le potentiel de Cloud Haskell et les espoirs de tirer parti de Liquid Haskell et Agda.
J'ai presque construit Cardano avec Clojure. Nous en avons même discuté avec Cognitech il y a des années. J'ai choisi haskell plutôt que clojure en raison du cloud haskell et aussi de l'espoir d'utiliser haskell/agda liquide. Avec le recul, cela aurait été un voyage incroyable de tout écrire en clojurescript…
– Charles Hoskinson (@IOHK_Charles) 30 mai 2024
Hoskinson l'a révélé lors d'une conversation X avec Ktorz, le directeur technique de la Fondation Cardano, car tous deux ont démontré une connaissance de divers langages de programmation avec un intérêt particulier pour Lisp, dont Clojure est un dialecte.
Malgré son intérêt initial pour Clojure, Hoskinson a révélé qu'il avait choisi Haskell plutôt que Clojure en raison de Cloud Haskell et également de l'espoir d'utiliser le liquide Haskell/agda. Cloud Haskell offre un cadre informatique distribué qui correspond bien aux besoins d'une plate-forme blockchain, tandis que Liquid Haskell et Agda offrent des fonctionnalités avancées pour la vérification formelle et garantir l'exactitude du code.
Avec le recul, Hoskinson réfléchit au voyage qui aurait pu être si Cardano avait été construit avec Clojure. Il imagine un Cardano entièrement construit sur Clojure, utilisant ClojureScript pour le développement côté client et ClojureSpec pour les spécifications et les tests.
carte
Les réflexions de Hoskinson ne sont pas remplies de regret mais d'une réflexion réfléchie sur ce qui aurait pu être. Cet itinéraire, pense-t-il, aurait pu être un « voyage incroyable ».
"Avec le recul, cela aurait été un voyage incroyable de tout écrire dans Cardano en utilisant ClojureScript et ClojureSpec", a fait remarquer Hoskinson.