Plutus programming language
- Haskell knowledge
NOTICE: This course is out of date. It shows PLUTUS as it was in 2019. We are currently working in the new edition that depicts the latest development of the PLUTUS programming language.
In this course, Alejandro Garcia, software developer at IOHK teaches you the basics of Plutus programing language, designed by IOHK to write secure and reliable smart contracts.
Plutus provides an execution platform and functional programming language that runs on the Cardano settlement layer and provides considerable security advantages. It delivers an easier, more robust way to show that your smart contracts are correct and will not encounter the problems found in previous smart contract language design. By using Plutus you can be confident in the correct execution of your smart contracts. It has been designed with three major audiences in mind: developers, business experts, and academia.
Plutus is embedded in Haskell, is familiar to Haskell programmers, while being easier to analyse than Haskell itself.
- Blockchain developers
- Haskell programmers
- Functional programmers
- About this Plutus course. Alejandro Garcia02:23
- Professor Philip Wadler on Plutus14:43
- Manuel Chakravarty on Plutus and extended UTXO15:24
- Rebecca Valentine, why Plutus?11:23
- Jann Muller and Michael Payton Jones introduce Plutus Playground34:19
- Introduction to Plutus Playground07:29
- Playground quiz1 question
- Crowd-funding smart contract in Plutus11:34
- Hello World10:20
- Hello world quiz2 questions
- Adding actions10:58
- Event handlers16:30
- Event triggers2 questions
- Watchers quiz2 questions
- Defining custom data types26:18
- Custom data type quiz2 questions
- Validation logic34:48
- Validation logic quiz2 questions
- Key Takeaways08:27
I’m a software developer, CS teacher and Entrepreneur with experience creating small tech companies. I love leading small focused teams to achieve success and I also love teaching introduction to programming to high school, college and graduated students.
My favorite technologies right now: Elixir, Elm, GoLang, Haskell, Rest APIs, Emacs, Ubuntu.