3 ms·
> If a layperson decides to trust that contract without reading the code, does it matter whether the language used to implement the contract was Turing-complete
by Blackthorn 9y ago
> If a layperson decides to trust that contract without reading the code, does it matter whether the language used to implement the contract was Turing-complete or not?
Um, yes? Literally the point of weaker languages in this context is that they can be statically provable.
- inimino 9y agoAs would the same program written in a Turing-complete language. The Turing-completeness here is a total red herring.