Криптовалюта

Соучредитель Cardano размышляет об альтернативном пути развития Cardano

Михаель ван де Поппе

Как опытный криптоинвестор с большим опытом разработки программного обеспечения, я не могу не быть заинтригован недавним откровением Чарльза Хоскинсона о его решении использовать Haskell вместо Clojure для создания блокчейн-платформы Cardano.

Недавно Чарльз Хоскинсон, основатель Cardano, раскрыл интригующую деталь: он почти создал блокчейн-платформу Cardano, используя Clojure в качестве языка программирования. Этот решающий момент принятия решения в истории Cardano привел к тому, что для проекта вместо Clojure был выбран Haskell.

Ключевое решение в языке программирования

Исследуя X вместе с Ktorz из Cardano Foundation, я поделился своим первоначальным увлечением Clojure, динамичным и функциональным диалектом Lisp. Тем не менее, я предпочел Haskell Clojure из-за его преимуществ в области Cloud Haskell и отличительных особенностей Liquid Haskell и Agda.

Как криптоинвестор, оглядываясь назад на свои прошлые решения, я почти приступил к созданию Cardano с использованием Clojure. Фактически, мы обсуждали эту возможность с Cognitech много лет назад. Однако в конечном итоге я выбрал Haskell по двум причинам: привлекательность Cloud Haskell и мое ожидание использования Liquid Haskell/Agda.

— Чарльз Хоскинсон (@IOHK_Charles), 30 мая 2024 г.

Совместимость инфраструктуры распределенных вычислений Cloud Haskell превосходна для приложений блокчейна. Более того, Liquid Haskell и Agda предлагают сложные функции формальной проверки, гарантирующие точность кодов.

«Представьте себе острые ощущения от написания каждого аспекта Cardano с использованием ClojureScript и ClojureSpec».

Смотрите также

2024-05-30 19:48