Today is the launch of the technical preview of the Yolc project 1. 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.

Read its introduction at: https://yolc.dev/blog/introduce-yolc/

If you are also a Haskell nerd, a slightly more Haskell oriented post too: https://discourse.haskell.org/t/ann-yolc-a-haskell-powered-safe-expressive-fun-language-for-ethereum/11145