A statically typed, purely functional programming language. Functions in Haskell have no side effects by default, which makes program behavior easier to reason about and to test, useful properties for a system that must agree on outcomes across thousands of independent nodes.
Cardano's core node, its consensus layer, and the original Plutus toolchain are written primarily in Haskell. Newer smart-contract languages like Aiken target the same Plutus Core on-chain runtime but offer different developer ergonomics.
Explore next
- Plutus CoreCardano's on-chain smart-contract runtime. Higher-level languages (Plinth, Aiken) compile down to Plutus Core for execution.View term
- AikenA modern smart contract language for Cardano, designed to be beginner-friendly while producing efficient on-chain code.View term
- Smart ContractSelf-executing code stored on a blockchain that automatically enforces and executes agreement terms when predefined conditions are met.View term