Haskell
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.
2 contributors
- Olga Hryniukcontributed
- Olga Hryniukcontributed
Would you like to suggest changes to this glossary?
We encourage you to actively participate in the creation and moderation of our content—your contributions are invaluable. All content is reviewed by another community member.
Suggest edit