Haskell: the Basis for Cardano’s Plutus & Marlowe Smart Contract Languages
Haskell is a functional programming languages that gives the same result for the same input, it is well-suited for high-assurance code and programs that require a high degree of formal verification; thus, programmers have a large degree of certainty that the code being implemented is correct - for the next global social and financial operating system - high assurance and reliability are essential.
With the arrival of decentralized applications, tokenization, and smart contracts on the Cardano blockchain, it is expect that an entire ecosystem of decentralized financial services will arise, bring billions of dollars of value or more on-chain, locked through smart contracts, or managed via decentralized autonomous organizations. Via Haskell, Cardano’s Plutus and Marlowe smart contracts can be implemented in a precise, formally-verified code with a high-level of assurance.
Read more >> Why Haskell for Cardano