05-27, 10:35–11:00 (CET), Seed
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!
The primary motivation behind Yolc is to strike a balance between these values for building Ethereum smart contracts, since it is:
- /Safe/ - Yolc is purely functional with linear-type safety and is made for the Ethereum virtual machine.
- /Expressive/ - Yolc embeds itself in the Haskell language before being compiled into Solidity/Yul code.
- /Fun/ - Yolc allows you to write safe code in production, a joyful experience for super coders.
In this presentation, the presenter will walk you through a few examples of using Yolc to build smart contracts. By the end of the talk, the presenter hopes to convince you that Yolc balances safety, expressiveness, and fun when programming on Ethereum.
References:
- Main website: https://yolc.dev/
- Github: https://github.com/yolc-dev/yul-dsl-monorepo
- Linktr.ee: https://linktr.ee/yolc
"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.