Functional smart contracts on Cardano

In this session from the recent #Cardano2020 virtual summit, three of the leading minds behind smart contracts come together to outline their work: Senior IOHK research fellow, Prof Philip Wadler, opens the conversation talking about developing robust, secure, and accessible smart contracts on Cardano using Marlowe and Plutus.

IOHK technical architect Manuel Chakravarty then outlines how the Plutus language can be used to build new assets on Cardano. Plutus is the ‘batteries included approach’ which allows all programming to be done in a single Haskell library. Using this functional programming allows users to make a safe, deterministic programming environment for smart contracts and forging tokens.
—
Research lead for the Marlowe team Simon Thompson also joins us to discuss Marlowe, Cardano’s domain specific language for expressing financial contracts. Marlowe uses the language of the user rather than the language of the blockchain to create monetary agreements. With Marlowe you can:

– Analyze contracts without having to run them
– Check behavior through simulation
– Describe financial agreements on the blockchain

To learn more about Cardano visit http://www.cardano.org
To learn more about IOHK and our work: https://iohk.io
Get our latest news updates: Follow us on Twitter @InputOutputHK or read more on our blog https://iohk.io/blog/
Meet the team: https://iohk.io/team/
Work with us: https://iohk.io/careers/