Miao ZC
"I believe in rational self-interest. I love to work with productive minds. I make things happen."
Currently, Miao focuses on a mission that he believes in: to fundamentally advance the experience of money in a world where money is superfluid, which he is the co-founder and CTO of.
Additionally, Miao is working on Yolc: A Safe, Expressive, Fun Language for Ethereum.
Session
05-27
10:35
25min
Using Yolc to Build Safe Ethereum Contracts in Haskell
Miao ZC
Yolc is a safe, expressive, and fun language. It is also a compiler that translates Haskell to Solidity/Yul, which is integrated with the foundry end-to-end.
In this talk, the author of Yolc will showcase a couple of demos built in Yolc and highlight a safety feature called linear type safety that can prevent re-entrance type errors in compile time altogether!
Developer Ecosystem & Tooling, and UX
Seed