Hey guys, just wanted to spark some conversation about the future of smart contract languages. With the rise of rollups and sharding, I'm curious to see how programming languages like Solidity and Vyper will adapt to the changing landscape. Will we see a shift towards more high-level languages or do y'all think we'll stick with the tried-and-true approaches?