Today is the launch of the technical preview of the Yolc project. It is the first milestone where Yolc can produce a partial ERC20 code deployable to Ethereum networks, demonstrating the key idea of linear-type safety.
Yolc doesn’t rebuild wheels. Yolc integrates with foundry, generates Solidity/Yul code, and Yolc is not a language on its own since programming in Yul is programming in Haskell. What Yolc tries to achieve are:
- Being purely functional with linear-type safety and is made for the Ethereum virtual machine;
- Embedding itself in the Haskell language before being compiled into Solidity/Yul code;
- Allowing you to write safe code in production, a joyful experience for super coders.
Yolc aims to feature parity with Solidity plus additional advanced type-level features by 2025/Q1. At the same time, the prototype of the core of Superfluid protocol v3 will use Yolc.
Please find the complete introduction blog post of the Yolc project here, and follow its progress through your favorite channels listed at linktr.ee/yolc.
I look forward to having you join Yolc’s journey!