What is the role of programming languages in helping smart contracts become reliable and scalable technology? Are our current languages for the EVM up to the task? Has Ethereum lost the lead in this regard? This talk explores these questions and proposes a roadmap for the development of the next generation of smart contract languages for the EVM.