Solidity - Smart-Contracts language
Solidity as other languages without suffer from. My expectation that we’ll see more and more errors, static analyser for that language exactly. In my opinion, developers shoud concentrate on formal verification of smart-contracts, at least on low-level parts. And use languages with dependent types like Idris or F* to ensure contract correctness.
If you liked this work, you can reward so I can write more often or simply buy me a tea/beer/donut:
If you want me to write about some specific topic, check about section and send me email with request