No referential transparency, no purity, no algebraic data types . . . it's scary stuff for writing contracts.
It sounds like the core team has realized what a hole they're in and are taking it seriously, which is great. But I think a lot of the Etherium-related businesses still have no idea what a sandy foundation they're building on. It's going to be ugly.
http://www.stephendiehl.com/posts/smart_contracts.html :
> "Solidity, while being an interesting proof of concept, is dangerously under-contained and very difficult to analyze statically."
Solidity docs are here: http://solidity.readthedocs.io/en/develop/solidity-in-depth....
No referential transparency, no purity, no algebraic data types . . . it's scary stuff for writing contracts.
It sounds like the core team has realized what a hole they're in and are taking it seriously, which is great. But I think a lot of the Etherium-related businesses still have no idea what a sandy foundation they're building on. It's going to be ugly.