Cardano founder Charles Hoskinson says he is personally developing a new programming language for the network. He did not share its name, specs, or release timeframe.
Charles Hoskinson is working on a new programming language for the Cardano blockchain, promising to add advanced cryptography features to it. The language will handle intents and proof-carrying data (PCD) with the help of Groth16 proofs.
According to Hoskinson: "I'm actually personally developing a programming language for Cardano." He made the announcement after a community member asked about the unique benefits of Cardano as a highly decentralized base for blockchain use cases.
Details remain scarce
However, the founder did not share the language's name, specs, or release timeframe. Earlier this week, he also hinted at an ambitious use case for Midnight, a partner blockchain for Cardano focused on privacy.
On that project, Hoskinson said he is working on a concept that only Midnight can bring to the cryptocurrency space. It is unclear whether the two announcements are related.
Hoskinson's history with programming languages
Hoskinson has shared his views on programming languages many times. He is a fan of Haskell, which was originally used as the basis of Cardano's development architecture. In June 2022, he joined a discussion between Elon Musk and Jack Dorsey on the merits of programming languages, and suggested they try Haskell after Musk said he preferred C over C++.
Later, Hoskinson admitted he was not sure about the choice of Haskell for Cardano. In May 2024, he revealed that he nearly picked Clojure at one point, and that Haskell won out because of Cloud Haskell and the option to use technologies like Liquid Haskell and Agda.
In an interview in April 2025, he said he would probably pick another language if he could rewrite Cardano from scratch. Cardano currently supports a few smart contract languages, including Plutus, which is based on Haskell, and Aiken, while the privacy-focused language on Midnight is called Compact.
Source: U.Today
Trading involves risk.