Yolc
A safe, expressive, fun language for Ethereum
-- ⭐ pattern matching coming to Ethereum
\x y def -> match (x + y) \case
Nothing -> def -- number overflown
Just z -> z -- just do it
-- enforced linear type safety for side effects
sputs $ -- ⚠️ after this, data version increased by 1
senderBalanceRef := newSenderBalance :|
receiverBalanceRef := newReceiverBalance : []
-- linearly versioned data is here to help: --->
-- 🌟 reentrance vulnerability gone forever 🌟
externalCall onTokenMinted hackerAccount mintAmount