Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Offered By: Code Sync via YouTube
Course Description
Overview
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
FinTech and the Transformation in Financial ServicesCopenhagen Business School via Coursera Vulnerable Populations
Doane University via edX E-Business
Indian Institute of Technology, Kharagpur via Swayam Learn How to Build an E-Commerce Website by WordPress
Udemy Learn How To Build An E-Commerce Web Site By Prestashop
Udemy