[mitchmindtree]

We put our lives in the hands of code written by humans every day, e.g. cars, planes, trains, etc.

Perhaps the permanence of executing solidity contracts will at least motivate some safer, more secure practises, in the same way that the permanence of death does when programming vehicles that carry human lives.

It would be cool to see APIs for compiling Solidity contracts from safer languages with more concise type systems like Idris[1]. That said, I haven't had a proper dig into Solidity myself yet so it could very well offer some of these features. I'd love to hear some experiences from devs who have written a significant amount of code in it.

[1]: https://www.idris-lang.org/

[elmigranto]

> We put our lives in the hands of code written by humans every day, e.g. cars, planes, trains, etc.

Except that code is regulated and tested to the degree average eth enthusiast making this point either not aware of, or intentionally omits.

[justusw]

Not only is it regulated and tested, the question of liability is easy to answer: Product Liability is regulated by countless national and international laws.

But in the case of Ethereum Smart Contracts, who is liable in the real world?

[ym705]

That's why you need to get a good education and accessible education on the subject...

[bshanks]

You might appreciate https://news.ycombinator.com/item?id=14835977#14839943