Crypto Times Logo Black
Google News Follow Banner
  • News
    • Market
    • Bitcoin
    • Ethereum
    • Altcoins
    • Regulations & Policies
    • DeFi News
    • Blockchain News
    • Industry
  • Exclusive
    ExclusiveShow More
    GENIUS Act Scorecard What US Regulators Have Done So Far
    GENIUS Act Scorecard: What US Regulators Have Actually Delivered
    The Final 30 Days Will America Get Its GENIUS Act Stablecoin Rulebook
    The Final 30 Days: Will America Get Its GENIUS Act Stablecoin Rulebook?
    Telegram Ban India Crypto, TON & Durov's Attack on Reliance
    Telegram Ban in India: Crypto, TON & Durov’s Attack on Reliance
    Hormuz Peace Dividend How the US-Iran Deal Fuels Dubai RWAs & Not Tehran
    Hormuz Peace Dividend: How the US-Iran Deal Fuels Dubai RWAs & Not Tehran
    Kevin Warsh's First FOMC What It Means for Bitcoin and Crypto
    Bitcoin and the ‘Fed Chair Curse’: What Kevin Warsh’s First FOMC Means for Crypto
  • Opinion
    OpinionShow More
    The Arthur Hayes Paradox Macro Prophet or Market Opportunist
    The Arthur Hayes Paradox: Macro Prophet or Market Opportunist?
    RBI Denies Gold Sale Amid Oil Crisis: Could It Speed Up India's Digital Rupee Push?
    RBI Denies Gold Sale Amid Oil Crisis: Could It Speed Up India’s Digital Rupee Push?
    The CLARITY Act War Starts Jamie Dimon Vs Armstrong
    The CLARITY Act War Starts: Jamie Dimon Vs Armstrong
    Is Crypto Dying, or Is Pump.fun Turning It Into an Attention Casino
    Is Crypto Dying, or Is Pump.fun Turning It Into an Attention Casino?
    CoinSwitch on TMKOC India Saw a ₹100 Crypto Pitch, But Not the Risks Behind It_
    CoinSwitch on TMKOC: India Saw a ₹100 Crypto Pitch, But Not the Risks Behind It
  • Learn
    • Explained
    • How To
    • Insights
  • Videos
  • More
    • About Us
    • Our Authors
    • Contact Us
    • Editorial Policy
The Crypto TimesThe Crypto Times
  • All News
  • Market
  • Bitcoin
  • Ethereum
  • Altcoins
  • Regulations & Policies
  • Blockchain
  • DeFi
  • Industry
  • Exclusive
  • Opinion
Search
  • News
    • Market
    • Bitcoin
    • Ethereum
    • Altcoins
    • Regulations & Policies
    • Blockchain
    • DeFi
    • Industry
    • Exclusive
    • Opinion
  • Learn
    • Explained
    • How To
    • Insights
  • Quick Links
    • About Us
    • Our Authors
    • Contact Us
    • Editorial Policy
    • AI Policy
    • Sponsored & Advertorial Policy
  • Podcasts
Follow US
© 2026 By Crypto Times. All Rights Reserved.
Blockchain News

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.

Written By:
Kelvin Munene

Last updated: May 30, 2024 10:38 PM
Published 2024-05-30
Share
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

Disclaimer: The information researched and reported by The Crypto Times is for informational purposes only and is not a substitute for professional financial advice. Investing in crypto assets involves significant risk due to market volatility. Always Do Your Own Research (DYOR) and consult with a qualified Financial Advisor before making any investment decisions.

Follow The Crypto Times on Google News to Stay Updated!      Google News
Google News Banner

Share This Article
Whatsapp Whatsapp LinkedIn Telegram Copy Link
Kelvin is former crypto journalist at The Crypto Times
By Kelvin Munene
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.

Latest News

Whales Pull $29M in Ethereum From Binance as Accumulation Grows
Whales Pull $29M in Ethereum From Binance as Accumulation Grows
'No More' FBI Director Kash Patel Warns Crypto Fraudsters
‘No More’: FBI Director Kash Patel Warns Crypto Fraudsters
'We Need to Land This Plane': Sen. McCormick on CLARITY Act Push
‘We Need to Land This Plane’: Sen. McCormick on CLARITY Act Push
GENIUS Act Scorecard What US Regulators Have Done So Far
GENIUS Act Scorecard: What US Regulators Have Actually Delivered
$4.67M Exploit Hits Axelar-Secret Network Bridge, Links Disabled
$4.67M Exploit Hits Axelar-Secret Network Bridge, Links Disabled

Find Us on Socials

You may also like

Algorand Unveils 2027 Post-Quantum Defense Plan

Algorand Unveils 2027 Post-Quantum Defense Plan

Tether Kills Alloy and aUSD₮, Shifting Focus to Liquid Assets

Tether Kills Alloy and aUSD₮, Shifting Focus to Liquid Assets

Ethereum’s ‘Glamsterdam’ Upgrade Enters Final Testing Phase

Ethereum’s “Glamsterdam” Upgrade Enters Final Testing Phase

How Zcash’s Ironwood Turnstiles Will Trap Counterfeit Coins

How Zcash’s Ironwood Turnstiles Will Trap Counterfeit Coins

The Crypto Times Logo PNG

Providing real-time, accurate Crypto reporting. Your trusted source for Crypto News and Research.

Stay Updated

All News
Exclusive
Opinions
Learn
Videos

Company

About Us
Our Authors
Editorial Policy
AI Policy
Advertorial Policy

Get In Touch

Contact Us
Career

Find Us on Socials

X-twitter Linkedin Telegram Youtube Instagram

© 2026 The Crypto Times | A BITROCK TECHNOLOGIES L.L.C. Company.

DMCA.com Protection Status
  • Terms and Conditions
  • Disclaimer
  • Privacy Policy
  • Cookie policy
Do Not Sell or Share My Personal Information