Hi, I’d like to announce 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, becoming 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.
More importantly, I would like to participate in the discussion in this forum regarding the IR, the Yul language itself, etc., since Yolc relies on them!
Please find the complete introduction blog post of the Yolc project on its website at “yolc.dev”, and follow its progress through your favorite channels listed at “linktr.ee/yolc”.
I look forward to having you join Yolc’s journey!