3 ms·
Solidity needs formal verification much more than syntactic sugar. There's a chance solidity is already too sweet as it is.
by itsnotlupus 9y ago
Solidity needs formal verification much more than syntactic sugar. There's a chance solidity is already too sweet as it is.
- eximius 9y agoFormal verification is needed but syntactic sugar is not inherently the problem. The problem is that there a a million gotchas because it looks high level, but isn't. Defaulting to `storage` instead of `memory` for variables is one huge issue that can let you silently corrupt your contract. Lack of builtin manipulation of datatypes, weird types that are cumbersome to use correctly... I am not equipped to exhaustively lament it as a language, but it is not a pleasant experience.
- j_s 9y agoUnderstanding Ethereum Smart Contracts | https://news.ycombinator.com/item?id=15786780 https://news.ycombinator.com/item?id=15786780 HN user jatsign shared some of his inital gotchas two weeks ago.