There have been many other languages before solidity (LLL, Serpent, others) Solidity is actually pretty well engineered, it is problematic mainly because it put

There have been many other languages before solidity (LLL, Serpent, others) Solidity is actually pretty well engineered, it is problematic mainly because it put beginner-friendliness before security as a design goal. I think the future the ethereum smart contract options will consist of (1) Solidity with many static analysis tests added to generate warnings about dangerous code use and (2) an ML-style language that is less novice-friendly but allows for deep type-level constraints to mitigate potential attack scenarios.