It doesn't need to be bug free if there are checks and balances. Like an independent contract layer that holds funds in escrow for 10 days and allow a third party to cancel fraudulent transaction under certain conditions.

You don't need to prevent all bad behaviors, just slow attackers down.

Of course sometimes they can get through the review process too, but you start having probabilities you can multiply to decrease the likelihood of losses.

Over time we'll start to have good defaults for how those checks work. For now it's the wild west.

i'd like formally verified laws if i could

I dislike algorithms that I understand, and I distrust algorithms that I don't when it comes to stuff like social security or insurance.

Smart contracts by composition would be really nice. Like a compile to EVM lisp!

Related: could we please have a Lisp for Ethereum VM? Thanks!

Lisp programmers know the value of everything and the gas cost of nothing...

Yeah if someone's working on it, please link. Would contribute

There is LLL: https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a57...

Nice thanks! Is this officialy supported still?

No problem! It looks like there is some activity in its github repository:

https://github.com/ethereum/solidity/tree/develop/liblll

https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q...

This might be possible at some point, but for that we first need to figure out how to formalize intent and meaning. In real-world laws, both are extremely important.