3 ms·
Right, so an alternative approach is to require all client-side scripts that your browser downloads to come with a proof of safety. This requires extra work for
by zeteo 15y ago
Right, so an alternative approach is to require all client-side scripts that your browser downloads to come with a proof of safety. This requires extra work for each script. Which can be avoided if the script language was non-Turing complete instead, and you had a general-purpose code analyzer on your machine.
- deleted 15y ago[deleted]
- sp332 15y agoOh, I see. Turing-complete language + certificate of good behavior = non-turing-complete language. Cool :)
- nwmcsween 15y agoThe amount of effort that would be needed to shift from a Turing complete language to a non Turing complete would outweigh the benefits by a very large amount.