V nedávném odhalení zakladatel Cardano Charles Hoskinson sdělil, že téměř vybudoval blockchainovou platformu Cardano pomocí programovacího jazyka Clojure.
V diskuzi X se zakladatel Cardano nedávno podělil o fascinující pohled do raného rozhodovacího procesu, který vedl k vytvoření Cardana. Odhalil klíčový moment: volbu mezi použitím Clojure, dynamického a funkčního dialektu Lisp, a Haskell, staticky typovaného funkcionálního programovacího jazyka.
Rozhodnutí se však nakonec přiklonilo k Haskell, ovlivněné potenciálem Cloud Haskell a nadějemi na využití Liquid Haskell a Agda.
Málem jsem postavil Cardano s Clojure. Dokonce jsme to před lety probírali s cognitechem. Vybral jsem si haskell před clojure kvůli cloud haskell a také naději na použití tekutého haskell/agda. Při zpětném pohledu by to byla úžasná cesta napsat vše v clojurescriptu…
— Charles Hoskinson (@IOHK_Charles) 30. května 2024
Hoskinson to odhalil v X rozhovoru s Ktorzem, technickým ředitelem Cardano Foundation, protože oba prokázali znalosti o různých programovacích jazycích se zvláštním zájmem o Lisp, jehož dialektem je Clojure.
Přes svůj počáteční zájem o Clojure Hoskinson prozradil, že si vybral Haskell před Clojure kvůli Cloud Haskell a také naději na použití tekutého Haskell/agda. Cloud Haskell nabízí distribuovaný výpočetní rámec, který dobře odpovídá potřebám blockchainové platformy, zatímco Liquid Haskell a Agda poskytují pokročilé funkce pro formální ověření a zajištění správnosti kódu.
Při zpětném pohledu Hoskinson uvažuje o cestě, která by mohla být, kdyby byl Cardano postaven s Clojure. Představuje si Cardano postavené výhradně na Clojure, využívající ClojureScript pro vývoj na straně klienta a ClojureSpec pro specifikace a testování.
Kartu
Hoskinsonovy úvahy nejsou plné lítosti, ale promyšlené úvahy o tom, co mohlo být. Tato trasa, přemítá, mohla být „úžasnou cestou“.
"Když se ohlédnu zpět, byla by to úžasná cesta napsat vše v Cardano pomocí ClojureScript a ClojureSpec," poznamenal Hoskinson.