Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Offered By: Code Sync via YouTube
Course Description
Overview
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a conference talk from Lambda Days 2022 that delves into generalizing payment as types. Learn how Miao ZhiCheng, CTO and co-founder of Superfluid, presents a novel approach to payment systems. Discover how Superfluid has expanded the concept of discrete money transfers to continuous money units, enabling one-to-many transactions on various EVM blockchains. Understand the importance of creating a specification using Haskell for faster prototyping and potential porting to different blockchain implementations. Gain insights into why Haskell was chosen for its purity, strong typing, conciseness, and suitability for abstracting and specifying protocols. Explore how this approach brings the Superfluid protocol closer to formalizing concepts, potentially revealing deeper relationships between entities, interaction patterns, and category composability in financial systems.
Syllabus
Generalizing Payment as Types | Miao ZhiCheng | Lambda Days 2022
Taught by
Code Sync
Related Courses
Blockchain EssentialsA Cloud Guru Blockchain Explained
A Cloud Guru Advanced Blockchain Architectures
LearnQuest via Coursera Amazon Quantum Ledger Database (QLDB) Service Introduction (Japanese)
Amazon Web Services via AWS Skill Builder Introduction to Innovation and Technology in Legal Services
University of Law via FutureLearn