2 ms·
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
by riffraff 6y ago
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) https://en.wikipedia.org/wiki/SPARK_(programming_language)