カルダノ創設者チャールズ・ホスキンソン、Clojureを使ってプラットフォームを構築しかけたことを明かす

U.Todayによると、カルダノの創設者であるチャールズ・ホスキンソン氏は最近、カルダノ・ブロックチェーン・プラットフォームの構築にプログラミング言語Clojureの使用を検討していたことを明らかにした。ホスキンソン氏は議論の中で、カルダノ設立に至った初期の意思決定プロセスについて興味深い洞察を示した。彼は、動的かつ関数型Lisp方言であるClojureを使うか、静的型付け関数型プログラミング言語であるHaskellを使うかという、極めて重要な点を強調した。最終的には、Cloud Haskellの可能性と、Liquid HaskellとAgdaを利用したいという熱望から、Haskellを選択した。 ホスキンソンは、カルダノ財団の技術責任者であるクトルツとの会話の中で、この情報を共有した。両者とも、さまざまなプログラミング言語への深い理解を示し、特にLisp（その方言がClojureである）に興味を示した。当初はClojureに興味があったものの、ホスキンソンはCloud HaskellとLiquid Haskell/Agdaの潜在的な利用可能性から、ClojureではなくHaskellを選んだことを明らかにした。Cloud Haskellは、ブロックチェーンプラットフォームの要件によく合致する分散コンピューティングフレームワークを提供し、Liquid HaskellとAgdaは、形式検証やコードの正しさを保証するための高度な機能を提供する。 ホスキンソンは過去を振り返り、もしカルダノがClojureで構築されていたらどうなっていたかを考えた。彼は、クライアントサイドの開発にClojureScript、仕様とテストにClojureSpecを採用し、完全にClojureで構築されたCardanoを思い描いていた。しかし、ホスキンソンの反省は後悔に満ちているのではなく、あり得たかもしれないことへの思慮深い考察で満たされている。彼は、ClojureScriptとClojureSpecを使ってCardanoのすべてを書くことは「驚くべき旅」だったかもしれないとつぶやいた。