Skip to content


A functional programming language with a focus on producing secure code.  Haskell is well suited to Cardano's high-assurance code, and the need for greater formal verification in the blockchain. Core parts of Cardano are written in Haskell and extensive testing processes ensure Plutus Core smart contracts work properly.