卡达诺创始人查尔斯-霍斯金森（Charles Hoskinson）透露他差点用 Clojure 构建平台

据 U.Today 报道，Cardano 创始人查尔斯-霍斯金森（Charles Hoskinson）最近透露，他曾考虑使用 Clojure 编程语言来构建 Cardano 区块链平台。在一次讨论中，霍斯金森对导致 Cardano 成立的早期决策过程提出了耐人寻味的见解。他强调了一个关键点：在使用 Clojure（一种动态和函数式 Lisp 方言）和 Haskell（一种静态类型的函数式编程语言）之间做出决定。最终，在 Cloud Haskell 的潜力以及利用 Liquid Haskell 和 Agda 的愿望的推动下，选择了 Haskell。 霍斯金森在与 Cardano 基金会技术总监 Ktorz 的交谈中分享了这些信息。两人都展示了对各种编程语言的深刻理解，尤其是对 Lisp 的兴趣，而 Lisp 的一种方言就是 Clojure。尽管最初对 Clojure 很感兴趣，但霍斯金森透露，他之所以选择 Haskell 而不是 Clojure，是因为 Cloud Haskell 和 Liquid Haskell/Agda 的潜在用途。Cloud Haskell提供的分布式计算框架非常符合区块链平台的要求，而Liquid Haskell和Agda则为形式验证和确保代码正确性提供了先进的功能。 在回顾过去时，Hoskinson 思考了如果 Cardano 使用 Clojure 构建，可能会走的道路。他设想 Cardano 完全由 Clojure 构建，采用 ClojureScript 进行客户端开发，采用 ClojureSpec 进行规范和测试。不过，霍斯金森的反思中并不充满遗憾，而是对本可以实现的目标进行了深思熟虑。他认为，使用 ClojureScript 和 ClojureSpec 编写 Cardano 中的所有内容本可以是一段 "奇妙的旅程"。