Як повідомляє U.Today, Чарльз Хоскінсон, засновник Cardano, нещодавно повідомив, що розглядав можливість використання мови програмування Clojure для створення блокчейн-платформи Cardano. Під час обговорення Хоскінсон запропонував інтригуюче розуміння раннього процесу прийняття рішень, який призвів до створення Cardano. Він підкреслив важливий момент: вибір між використанням Clojure, динамічного та функціонального діалекту Lisp, і Haskell, статично типізованої функціональної мови програмування. Зрештою вибір упав на Haskell, керуючись потенціалом Cloud Haskell і прагненням використовувати Liquid Haskell і Agda.
Хоскінсон поділився цією інформацією під час розмови з Кторзом, технічним директором Cardano Foundation. Обидва продемонстрували глибоке розуміння різних мов програмування, з особливим інтересом до Lisp, діалектом якого є Clojure. Незважаючи на свій початковий інтерес до Clojure, Хоскінсон розповів, що він вибрав Haskell замість Clojure через Cloud Haskell і потенційне використання Liquid Haskell/Agda. Cloud Haskell забезпечує структуру розподілених обчислень, яка добре відповідає вимогам платформи блокчейн, тоді як Liquid Haskell і Agda пропонують розширені можливості для формальної перевірки та забезпечення правильності коду.
Розмірковуючи про минуле, Хоскінсон подумав про шлях, який міг би бути, якби Cardano був побудований з Clojure. Він уявляв Cardano, повністю побудований на Clojure, використовуючи ClojureScript для розробки на стороні клієнта та ClojureSpec для специфікацій і тестування. Однак роздуми Хоскінсона сповнені не жалю, а вдумливого розгляду того, що могло бути. Він подумав, що написати все в Cardano за допомогою ClojureScript і ClojureSpec могло бути «дивовижною подорожжю».
