В недавнем заявлении основатель Cardano Чарльз Хоскинсон рассказал, что он почти создал блокчейн-платформу Cardano, используя язык программирования Clojure.
В ходе обсуждения X основатель Cardano недавно поделился захватывающим взглядом на ранний процесс принятия решений, который привел к созданию Cardano. Он раскрыл ключевой момент: выбор между использованием Clojure, динамического и функционального диалекта Lisp, и Haskell, статически типизированного функционального языка программирования.
Однако решение в конечном итоге склонялось в сторону Haskell под влиянием потенциала Cloud Haskell и надежд на использование Liquid Haskell и Agda.
Я почти создал Cardano с помощью Clojure. Мы даже обсуждали это с Cognitech много лет назад. Я выбрал Haskell вместо Clojure из-за облачного Haskell, а также из-за надежды использовать Liquid Haskell/agda. Оглядываясь назад, можно сказать, что написать все в Clojurescript было бы удивительным путешествием…
– Чарльз Хоскинсон (@IOHK_Charles) 30 мая 2024 г.
Хоскинсон рассказал об этом в разговоре X с Кторцем, техническим директором Cardano Foundation, поскольку оба продемонстрировали знание различных языков программирования и особый интерес к Lisp, диалектом которого является Clojure.
Несмотря на свой первоначальный интерес к Clojure, Хоскинсон рассказал, что предпочел Haskell Clojure из-за Cloud Haskell, а также из-за надежды на использование жидкого Haskell/agda. Cloud Haskell предлагает структуру распределенных вычислений, которая хорошо соответствует потребностям платформы блокчейна, а Liquid Haskell и Agda предоставляют расширенные возможности для формальной проверки и обеспечения корректности кода.
Оглядываясь назад, Хоскинсон размышляет о путешествии, которое могло бы произойти, если бы Cardano был создан с помощью Clojure. Он представляет себе Cardano, полностью построенный на Clojure, использующий ClojureScript для разработки на стороне клиента и ClojureSpec для спецификаций и тестирования.
карта
Размышления Хоскинсона наполнены не сожалением, а вдумчивым размышлением о том, что могло бы быть. Этот маршрут, размышляет он, мог бы стать «удивительным путешествием».
«Оглядываясь назад, я понимаю, что написать все на Cardano, используя ClojureScript и ClojureSpec, было бы удивительным путешествием», — заметил Хоскинсон.
