⚠️ Người sáng lập Cardano tiết lộ con đường chưa được thực hiện trong việc xây dựng Cardano

Trong một tiết lộ gần đây, người sáng lập Cardano Charles Hoskinson đã chia sẻ rằng ông gần như đã xây dựng được nền tảng chuỗi khối Cardano bằng ngôn ngữ lập trình Clojure.

Trong một cuộc thảo luận về X, người sáng lập Cardano gần đây đã chia sẻ cái nhìn thú vị về quá trình ra quyết định ban đầu dẫn đến việc tạo ra Cardano. Ông tiết lộ một thời điểm quan trọng: sự lựa chọn giữa việc sử dụng Clojure, một phương ngữ Lisp động và chức năng, và Haskell, một ngôn ngữ lập trình hàm kiểu tĩnh.

Tuy nhiên, quyết định cuối cùng nghiêng về Haskell, bị ảnh hưởng bởi tiềm năng của Cloud Haskell và hy vọng tận dụng Liquid Haskell và Agda.

💬 Tôi gần như đã xây dựng được Cardano bằng Clojure. Chúng tôi thậm chí còn thảo luận vấn đề này với Cognitech nhiều năm trước. Tôi đã chọn haskell thay vì clojure do cloud haskell và cũng hy vọng sử dụng haskell/agda lỏng. Nhìn lại, sẽ là một hành trình tuyệt vời nếu viết mọi thứ bằng clojurescript… - Charles Hoskinson

Hoskinson đã tiết lộ điều này trong cuộc trò chuyện X với Ktorz, giám đốc kỹ thuật của Cardano Foundation, khi cả hai đều thể hiện kiến ​​thức về các ngôn ngữ lập trình khác nhau và đặc biệt quan tâm đến Lisp, trong đó Clojure là một phương ngữ.

Bất chấp sự quan tâm ban đầu của anh ấy đối với Clojure, Hoskinson tiết lộ rằng anh ấy đã chọn Haskell thay vì Clojure do Cloud Haskell và cũng hy vọng sử dụng Haskell/agda lỏng. Cloud Haskell cung cấp khung điện toán phân tán phù hợp tốt với nhu cầu của nền tảng blockchain, trong khi Liquid Haskell và Agda cung cấp các khả năng nâng cao để xác minh chính thức và đảm bảo tính chính xác của mã.

Nhìn lại, Hoskinson suy ngẫm về hành trình có thể xảy ra nếu Cardano được xây dựng bằng Clojure.  Anh ấy tưởng tượng một Cardano được xây dựng hoàn toàn trên Clojure, sử dụng ClojureScript để phát triển phía máy khách và ClojureSpec cho thông số kỹ thuật và thử nghiệm.

Những suy ngẫm của Hoskinson không chứa đầy sự hối tiếc mà là sự cân nhắc kỹ lưỡng về những gì có thể xảy ra. Anh trầm ngâm, tuyến đường này có thể là một "cuộc hành trình tuyệt vời".

$ADA #ADA #Cardano