2 ms·
> Since code is a lot more complex than written human language, expressing intent can be very difficult. Isn’t that the other way around? Natural language rema
by herval 5y ago
> Since code is a lot more complex than written human language, expressing intent can be very difficult.
Isn’t that the other way around? Natural language remains an unsolved problem, and formal verification of software is pretty much a requirement for compilers. Your example is evidence of that: intent in natural language is easy to distort and hard to prove, thus making it much more complex
- Traster 5y agoWell let's put it this way - in natural language, we say stuff and implicitly assume we've done our best to express intent, but it may not be perfect (hence lawyers). In smart contracts you express your intent into a contract and then we pretend there was no intent. There is only the contract. And that's a massive floor.
- herval 5y agoRight. Natural language is more complex and nuanced.