flint

> Are there are books/video lectures that explain linear types how they are useful in a programming language? Just to throw out an example of how they are useful: loads of Ethereum contracts (e.g. every ERC20 variant) track a kind of private assets (tokens). A big class of bugs is double-spend or double-store of these assets, since any instance of that kind of behaviour completely invalidates the contract. As it turns out, linear types[0] are just the tool to prevent those bugs. [0]: https://github.com/flintlang/flint/blob/master/proposals/000...

The EVM is just a virtual machine. People are working on languages with less opportunity for bugs than Solidity, like Flint: https://github.com/flintlang/flint Also Vyper, which doesn't go as far but is already used in production: https://github.com/ethereum/vyper The EVM itself isn't the end of the road either. Over the next couple years, Ethereum is migrating to a more scalable sharded version using proof of stake, and it looks like that will allow pluggable execution engines.