De acordo com o U.Today, Charles Hoskinson, o fundador da Cardano, revelou recentemente que considerou usar a linguagem de programação Clojure para construir a plataforma blockchain Cardano. Numa discussão, Hoskinson ofereceu uma visão intrigante sobre o processo inicial de tomada de decisão que levou ao estabelecimento da Cardano. Ele destacou um ponto crucial: a decisão entre usar Clojure, um dialeto Lisp dinâmico e funcional, e Haskell, uma linguagem de programação funcional de tipo estaticamente. Em última análise, a escolha recaiu sobre Haskell, impulsionada pelo potencial do Cloud Haskell e pela aspiração de utilizar Liquid Haskell e Agda.
Hoskinson compartilhou esta informação durante uma conversa com Ktorz, diretor técnico da Fundação Cardano. Ambos demonstraram um profundo conhecimento de diversas linguagens de programação, com particular interesse em Lisp, cujo dialeto é Clojure. Apesar de seu interesse inicial em Clojure, Hoskinson revelou que escolheu Haskell em vez de Clojure devido a Cloud Haskell e ao uso potencial de Liquid Haskell/Agda. Cloud Haskell fornece uma estrutura de computação distribuída que se alinha bem com os requisitos de uma plataforma blockchain, enquanto Liquid Haskell e Agda oferecem recursos avançados para verificação formal e garantia da correção do código.
Refletindo sobre o passado, Hoskinson ponderou sobre o caminho que poderia ter sido se Cardano tivesse sido construído com Clojure. Ele imaginou um Cardano construído inteiramente em Clojure, empregando ClojureScript para desenvolvimento do lado do cliente e ClojureSpec para especificações e testes. No entanto, as reflexões de Hoskinson não estão repletas de arrependimento, mas de uma reflexão cuidadosa sobre o que poderia ter sido. Ele pensou que poderia ter sido uma “jornada incrível” escrever tudo em Cardano usando ClojureScript e ClojureSpec.