4 ms·
Turing completeness is an anti feature in financial system like bitcoin. And pretty much zero contracts currently deployed to ethereum require Turing completene
by keymone 6y ago
Turing completeness is an anti feature in financial system like bitcoin. And pretty much zero contracts currently deployed to ethereum require Turing completeness. It’s just a buzzword to sell you this gigantic pre-mine scam.
- everfree 6y agoI can't think of a single Ethereum dapp that could be implemented without an expressive scripting language.
- keymone 6y agoWell, you’re misguided. It’s not the language, it’s platform features like kv store attached to blockchain that make these dapps possible to implement. And none of them require Turing completeness.
- everfree 6y agoThey may not require turing completeness in the strictest sense, but they do require branching logic and loops.
- keymone 6y agoBranching and looping are constructs that you can have in non-Turing complete language with some limitations that don’t matter in practice for the purpose of ethereum or bitcoin scripts.
- riffraff 6y agoa non-turing complete language can still be useful and "expressive" in a loose sense. SPARK[0] isn't Turing complete but it's still pretty useful, and likely a better language than Solidity. [0] https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language)