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

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.