Cover Image

Cardano'nun kurucusu Charles Hoskinson, yakın zamanda yapılan bir açıklamayla Cardano blockchain platformunu neredeyse Clojure programlama dilini kullanarak inşa ettiğini paylaştı.

Bir X tartışmasında, Cardano'nun kurucusu yakın zamanda Cardano'nun yaratılmasına yol açan erken karar alma sürecine büyüleyici bir bakış paylaştı. Çok önemli bir anı ortaya çıkardı: dinamik ve işlevsel bir Lisp lehçesi olan Clojure ile statik olarak yazılmış işlevsel bir programlama dili olan Haskell arasındaki seçim.

Ancak karar sonuçta Cloud Haskell'in potansiyelinden ve Liquid Haskell ile Agda'dan yararlanma umutlarından etkilenerek Haskell'e yöneldi.

Clojure ile neredeyse Cardano'yu inşa ediyordum. Hatta bunu yıllar önce cognitech ile tartışmıştık. Bulut haskell'i ve ayrıca sıvı haskell/agda kullanma umudu nedeniyle clojure yerine haskell'i seçtim. Geriye dönüp baktığımızda, her şeyi clojurescript ile yazmak harika bir yolculuk olurdu…

- Charles Hoskinson (@IOHK_Charles) 30 Mayıs 2024

Hoskinson bunu Cardano Vakfı teknik direktörü Ktorz ile yaptığı bir X konuşmasında açıkladı; her ikisi de çeşitli programlama dilleri hakkında bilgi sahibi olduklarını ve Clojure'un bir lehçesi olduğu Lisp'e özel bir ilgi duyduklarını gösterdiler.

Clojure'a olan ilk ilgisine rağmen Hoskinson, Cloud Haskell nedeniyle Clojure yerine Haskell'i seçtiğini ve ayrıca sıvı Haskell/agda kullanma umudunu açıkladı. Cloud Haskell, blockchain platformunun ihtiyaçlarına iyi uyum sağlayan dağıtılmış bir bilgi işlem çerçevesi sunarken, Liquid Haskell ve Agda, resmi doğrulama ve kod doğruluğunu sağlamak için gelişmiş yetenekler sunuyor.

Geriye dönüp bakıldığında Hoskinson, Cardano'nun Clojure ile inşa edilmiş olması durumunda olabilecek yolculuğu yansıtıyor.  Tamamen Clojure üzerine kurulmuş, istemci tarafı geliştirme için ClojureScript'ten ve spesifikasyonlar ve test için ClojureSpec'ten yararlanan bir Cardano hayal ediyor.

kart

Hoskinson'ın düşünceleri pişmanlıkla değil, ne olabileceğine dair düşünceli bir değerlendirmeyle dolu. Bu rotanın "harika bir yolculuk" olabileceğini düşünüyor.

Hoskinson, "Geriye dönüp baktığımızda, her şeyi Cardano'da ClojureScript ve ClojureSpec kullanarak yazmak harika bir yolculuk olurdu" dedi.