Người sáng lập Cardano Charles Hoskinson tiết lộ ông gần như đã xây dựng nền tảng bằng Clojure

Theo U.Today, Charles Hoskinson, người sáng lập Cardano, gần đây tiết lộ rằng ông đã cân nhắc sử dụng ngôn ngữ lập trình Clojure để xây dựng nền tảng blockchain Cardano. Trong một cuộc thảo luận, Hoskinson đã đưa ra một cái nhìn sâu sắc hấp dẫn về quá trình ra quyết định ban đầu dẫn đến việc thành lập Cardano. Ông nhấn mạnh một điểm quan trọng: quyết định 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. Cuối cùng, sự lựa chọn thuộc về Haskell, được thúc đẩy bởi tiềm năng của Cloud Haskell và mong muốn sử dụng Liquid Haskell và Agda. Hoskinson đã chia sẻ thông tin này trong cuộc trò chuyện với Ktorz, giám đốc kỹ thuật của Cardano Foundation. Cả hai đều thể hiện sự hiểu biết sâu sắc về các ngôn ngữ lập trình khác nhau, đặc biệt quan tâm đến Lisp, một phương ngữ của ngôn ngữ này là Clojure. 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à khả năng sử dụng Liquid Haskell/Agda. Cloud Haskell cung cấp khung điện toán phân tán phù hợp tốt với các yêu 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 quá khứ, Hoskinson suy ngẫm về con đường có thể xảy ra nếu Cardano được xây dựng bằng Clojure. Anh ấy đã hình dung ra 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 khách hàng và ClojureSpec cho các thông số kỹ thuật và thử nghiệm. Tuy nhiên, những suy ngẫm của Hoskinson không chứa đầy sự tiếc nuối mà là sự cân nhắc kỹ lưỡng về những gì có thể xảy ra. Anh ấy trầm ngâm rằng việc viết mọi thứ bằng Cardano bằng ClojureScript và ClojureSpec có thể là một 'cuộc hành trình tuyệt vời'.