Logo
Cardano Ecosystem

The Crypto Times

05/30/2024

·

84 views


Charles Reflects on Alternate Path in Cardano's Development

Cardano Co-Founder Reflects on Alternative Path in Cardano’s Development Additionally, Liquid Haskell and Agda provide advanced capabilities for formal verification and ensuring code...

Charles Reflects on Alternate Path in Cardano's Development

Cardano Co-Founder Reflects on Alternative Path in Cardano’s Development

Additionally, Liquid Haskell and Agda provide advanced capabilities for formal verification and ensuring code correctness.

Cardano’s Founder Throws Jab at Solana Over Recent Outage

In a recent revelation, Cardano founder Charles Hoskinson shared that he nearly built the Cardano blockchain platform using the Clojure programming language. This decision-making process was a pivotal moment in Cardano’s creation, with the choice ultimately favoring Haskell over Clojure.

Key Decision in Programming Language

During an X discussion with Ktorz, Cardano Foundation’s technical director, Hoskinson detailed his early interest in Clojure, a dynamic and functional Lisp dialect. However, he chose Haskell, a statically typed functional programming language, due to its potential for Cloud Haskell and the capabilities of Liquid Haskell and Agda. 

I almost built Cardano with Clojure. We even discussed it with cognitech years ago. I chose haskell over clojure due to cloud haskell and also the hope of using liquid haskell/agda.

In hindsight, it would have been an amazing journey to have written everything in clojurescript…

— Charles Hoskinson (@IOHK_Charles) May 30, 2024

Cloud Haskell’s distributed computing framework aligns well with the needs of a blockchain platform. Additionally, Liquid Haskell and Agda provide advanced capabilities for formal verification and ensuring code correctness.

Hoskinso imagines a Cardano built entirely on Clojure, utilizing ClojureScript for client-side development and ClojureSpec for specifications and testing. This route, he muses, could have been an “amazing journey.” He remarked, “Looking back, it would have been an amazing journey to write everything in Cardano using ClojureScript and ClojureSpec.”

Also Read: Cardano’s CEO Challenges Bitcoin’s Role in Blockchain Future



Avatar

Kelvin Munene is a seasoned crypto journalist who excels in news writing, analysis, trading, editorial services, and market research. With over 5 years of working with major publications in different roles, Kelvin has earned extensive experience in the Crypto space. A passionate blockchain enthusiast, Kelvin balances his extensive research with family time and football.

AD

Cardano Catalyst Project - Discover and Vote for our proposals in Fund 12 by July 11, 2024 11:00 UTC

If you are you using your ADA to vote in Cardano’s Project Catalyst don’t forget to voice your vote. We would be excited if you can see, comment, share and vote for us.Vote for Us


Read Original Article on The Crypto Times

ORIGINAL SOURCE

https://www.cryptotimes.io/2024/05/30/ca...

Disclaimer: Cardano Feed is a Decentralized News Aggregator that enables journalists, influencers, editors, publishers, websites and community members to share news about the Cardano Ecosystem. User must always do their own research and none of those articles are financial advices. The content is for informational purposes only and does not necessarily reflect our opinion.


Argentina Digital Nation 2024

More from The Crypto Times

See more
Cardano’s Sundae V3 Hits 9264 Orders in 24 Hours
The Crypto Times
Cardano’s Sundae V3 Hits 9264 Orders in 24 Hours

last Monday at 6:50 PM

·

14 views

Related News

See more
Argentina Digital Nation 2024

Featured News

See more



    DEFAULTENGLISH (EN)SPANISH (ES)RUSSIAN (RU)GERMAN (DE)ITALIAN (IT)POLISH (PL)HUNGARIAN (HU)JAPANESE (JA)THAI (TH)ARABIC (AR)VIETNAMESE (VI)PERSIAN (FA)GREEK (EL)INDONESIAN (ID)ROMANIAN (RO)KOREAN (KO)FRENCH (FR)CZECH (CS)PORTUGUESE (PT)TURKISH (TR)