a non-turing complete language can still be useful and "expressive" in a loose s...

		riffraff on March 13, 2021 \| parent \| context \| favorite \| on: Vitalik escalates ETH 2.0 merge as miners plan a 5... a 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)