News for hackers. Stuff that matters.

A comment on Apple starts rejecting apps with “hot code push” features. Parent comment

Re:Apple starts rejecting apps with “hot code push” features by Spivak on Wednesday March 08, 2017 @11:55AM (#13821493)
Which is why you're not allowed to use a Lisp interpreter or use any method of evaluating data as code. In this model the only thing that data can do is change which code paths run, not what they do.
[ Parent | on HN ]
Re:Apple starts rejecting apps with “hot code push” features by cortesoft on Wednesday March 08, 2017 @12:42PM (#13821887)
Changing a code path is the same as changing what they do.
[ Parent | on HN ]
Re:Apple starts rejecting apps with “hot code push” features by nevir on Wednesday March 08, 2017 @09:24PM (#13826358)
They do allow things like pushing updated JS bundles to react native apps. My guess: RN constrains the surface area of the native API it comes into contact with (e.g. no performSelector, or similar)
[ Parent | on HN ]
Re:Apple starts rejecting apps with “hot code push” features by kazinator on Thursday March 09, 2017 @03:38PM (#13833330)
That characterization isn't enough to distinguish a Turing complete interpreter from something that trivially manipulates an input datum. An interpreter is just a program containing code paths, which are activated in response to the input (the interpreted code).
[ Parent | on HN ]
Re:Apple starts rejecting apps with “hot code push” features by wolfgke on Friday March 10, 2017 @06:14AM (#13837773)
> That characterization isn't enough to distinguish a Turing complete interpreter from something that trivially manipulates an input datum. An interpreter is just a program containing code paths, which are activated in response to the input (the interpreted code).

It is surprisingly simple to make an interpreter that is "accidentally" Turing complete (this IMHO so often happens by accident that I love to say that if an interpreter is not "obviously" more restricted than a Turing machine, it probably is Turing complete).

This is not just my opinion - there lots of pages in the internet of things that are "accidentally" Turing complete, for example:

http://beza1e1.tuxen.de/articles/accidentally_turing_complet...

https://www.gwern.net/Turing-complete

[ Parent | on HN ]