Philip Wadler and Haskell have/had a generic relationship

Promotes for smart contract use Philip Wadler
Promotes for smart contract use Haskell
Start Date 2020-00-00
Notes IOHK 72.1K subscribers 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 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/
Updated about 4 years ago