[kerkeslager]

There are proposed Ethereum-like systems which use tables and formal proving systems to validate contracts, which may be a good-enough solution to bugs in contracts (this is untested). However, the Ethereum community as a whole doesn't even see this as a problem, and is happy with their JavaScript-like contract language, so I don't see any real potential that they will even attempt to solve this problem.