This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Generalizing Payment as Types | Miao ZhiCheng - CTO and co-founder at Superfluid ABSTRACT Payment as we know it is a discrete amount of money units transferred one to one, either as banknotes, coins or through a bank. In Superfluid, we have generalized it to continuous money units transferred not only one to one but also one to many. The system is live on various EVM blockchains. In the next iteration, these concepts of new types of money transfer are being defined and made type-safe using Haskell. Why Specification? It serves as a reference implementation which will help to port the protocol to different blockchain implementations. It allows faster prototyping of new ideas in abstraction without being limited by any specific blockchain. Why Haskell? First of all, haskell is a pure, strongly typed, concise, high level, memory-managed modular language. Because of that, it is well suited for the job of writing the specification for the protocol where abstraction, precision and succinctness matter. Having a higher level of abstractions gets Superfluid protocol closer to being able to formal concepts, where deeper relations between entities, patterns of interactions and composability of categories may emerge. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global