A consequence of Rice's Theorem is that there can never be a useful, enforced distinction between the garbagepile that we have right now and anything more than "no JS".
Before WHATWG hijacked the web we had apps on the internet -- Flash, Java applets, etc. They had slightly more friction than ordinary webpages, which forced publishers to think hard about hey do I really need an app or can I do this with static HTML? Now maybe Flash and Java-applets aren't the best platforms for web apps, but the apps need to be kept separate from the documents, and there needs to be some small frictional cost imposed on publishers who choose the app route -- because otherwise all of them will choose it out of laziness.
A consequence of Rice's Theorem is that there can never be a useful, enforced distinction between the garbagepile that we have right now and anything more than "no JS".
Before WHATWG hijacked the web we had apps on the internet -- Flash, Java applets, etc. They had slightly more friction than ordinary webpages, which forced publishers to think hard about hey do I really need an app or can I do this with static HTML? Now maybe Flash and Java-applets aren't the best platforms for web apps, but the apps need to be kept separate from the documents, and there needs to be some small frictional cost imposed on publishers who choose the app route -- because otherwise all of them will choose it out of laziness.