YoVDO

Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer

Offered By: Code Sync via YouTube

Tags

Haskell Courses Blockchain Development Courses Functional Programming Courses Payment Systems Courses Smart Contracts Courses Type Theory Courses

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

FinTech and the Transformation in Financial Services
Copenhagen 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