据 U.Today 报道，Cardano 创始人 Charles Hoskinson 近日透露，他曾考虑使用 Clojure 编程语言来构建 Cardano 区块链平台。在讨论中，Hoskinson 对 Cardano 成立的早期决策过程提出了有趣的见解。他强调了一个关键点：在使用 Clojure（一种动态和函数式的 Lisp 方言）和 Haskell（一种静态类型的函数式编程语言）之间做出选择。最终，选择落在了 Haskell 上，这是由 Cloud Haskell 的潜力以及使用 Liquid Haskell 和 Agda 的愿望所驱动的。
Hoskinson 在与 Cardano 基金会技术总监 Ktorz 的对话中分享了这一信息。两人都展示了对各种编程语言的深刻理解，尤其对 Lisp 感兴趣，Clojure 是 Lisp 的一个方言。尽管 Hoskinson 最初对 Clojure 感兴趣，但他透露，他之所以选择 Haskell 而不是 Clojure，是因为 Cloud Haskell 和 Liquid Haskell/Agda 的潜在用途。Cloud Haskell 提供了一个分布式计算框架，与区块链平台的要求非常吻合，而 Liquid Haskell 和 Agda 则提供了用于形式化验证和确保代码正确性的高级功能。
回顾过去，霍斯金森思考了如果 Cardano 是用 Clojure 构建的，那么它的发展道路可能会是怎样的。他设想了一个完全基于 Clojure 构建的 Cardano，使用 ClojureScript 进行客户端开发，使用 ClojureSpec 进行规范和测试。然而，霍斯金森的反思并不充满遗憾，而是对可能发生的事情进行了深思熟虑。他沉思道，使用 ClojureScript 和 ClojureSpec 在 Cardano 中编写所有内容可能会是一次“奇妙的旅程”。
