Haskell

Haskell is a declarative, statically-typed programming language used for Cardano smart contracts.

Supported by DataDog and DreamHost, Haskell serves as the main smart contract programming language for the Cardano blockchain.

Developers can leverage Haskell's concurrency features to build Cardano smart contracts that perform faster than those written in other chain languages, while benefiting from its expressive syntax and a type system that helps developers reason about code more clearly.

Its design supports developers working within Cardano's ecosystem.