Cardano Overview
  • πŸ“–What is cardano?
    • Cardano 101
    • Onboarding Guide
      • Simple Cardano
    • Cardano Statistics
    • Flawed Narratives About Cardano
      • Facts About Cardano Market Evolution
  • βš™οΈHow does Cardano work?
    • Table of Contents
      • Three Layers
        • Consensus Layer
          • Proof of Stake (PoS)
          • Pros and Cons of PoS
        • Ledger Layer
        • Network Layer
      • Cryptography
      • Peer-to-peer Communication Between Nodes
      • Interoperability
      • Hard Fork Combinator
      • Stake pools
      • Financial Aspects
        • The ada token: definition and functionality
        • Staking
        • RealFi
  • 🌐Blockchain Model
    • Blockchain Model Contents
      • Cardano Roadmap
        • BYRON
        • SHELLEY
        • GOGUEN
        • BASHO (We are here)
          • Basho Era Progresses with Vasil Hard Fork
        • VOLTAIRE
      • Extended Unspent Transaction Output (EUTXO)
      • No-Surprises Transaction Validation on Cardano
      • Things Cardano Does Not Do
        • Cryptocurrency Burning
  • πŸ•ΈοΈDescentralization
    • Descentralization Contents
      • Ouroboros
      • The Ouroboros Path to Descentralization
        • Further Reading
  • 🌌Scalability
    • Scalability Contents
      • Taking a Closer Look at IOG Research
        • How Layer 1 and Layer 2 Solutions Create a Faster and More Resilient Blockchain
        • Scaling Cardano
      • Layer 1 Solutions
        • Pipelining in Ouroboros
        • Input Endorsers
        • Tiered Pricing
      • Layer 2 Solutions
        • Sidechains
          • Easy Addition of New features
          • Scalability
        • Hydra
        • Mithril
  • πŸ›οΈGovernance
    • Governance Contents
      • Liquid Democracy
      • Project Catalyst
      • Catalyst Circle and Community Participation
  • 🎨Cardano Ecosystem
    • Ecosystem Contents
      • Wallets
        • Daedalus
        • Lovelace
          • By building Lovelace we aim to...
        • Yoroi
        • Hardware wallets
        • Other compatible wallets
      • Ecosystem
        • Ecosystem Explorer
        • Marketplaces -Minting service
        • P2P trade
        • Cardano Blockchain Explorer
        • Tools
        • Faucets
        • Documentation
        • Payments
        • News
      • EVM Compatibility
        • Milkomeda
        • Blueshift
      • Descentralized Exchanges (DEX)
      • DApp Store
        • Demeter Run
      • Stable Coins in Cardano
      • Projects
        • Digital Identity
        • Educational Initiatives
        • A Long List of Projects
      • NFTs
      • Glossary
  • πŸ“£Social media
    • Social Media
      • Official Cardano Media
      • Cardano Fans Media
  • πŸ› οΈDeveloper portal
    • Developer Portal Contents
      • Programming Languages
        • Haskell
        • Plutus
        • Marlowe
      • Plutus Tx: Compiling Haskell Into Plutus Core
      • Cardano Resources and Further Reading
      • Research Papers
  • πŸ“About
    • About
      • Purpose of This Site
      • Who am I?
Powered by GitBook
On this page
  1. Developer portal
  2. Developer Portal Contents
  3. Programming Languages

Haskell

PreviousProgramming LanguagesNextPlutus

Last updated 2 years ago

Cardano is written in Haskell, a functional language that emphasizes 'pure' functions. That is, functions that produce the same result for the same input.

Haskell is particularly well suited to Cardano's high-assurance code, and the need for greater formal verification in the blockchain. Cardano aims to become a global social and financial system, which requires a very high degree of reliability and verification.

Many other companies use Haskell, both because of its security properties and pure functional nature. Well-known firms like Oracle and Facebook use Haskell for blockchain research and advertising, respectively, while lesser known companies such as Atos IT and Jotron use it for building applications for the aerospace industry.

Why Cardano Choose Haskell and why you should care
πŸ› οΈ
Page cover image