> With more constraints in the language, one gains greater power to reason. Not only that, but you can also apply more tools onto it, treating the code as data

> With more constraints in the language, one gains greater power to reason. Not only that, but you can also apply more tools onto it, treating the code as data and having a chance to use that as input data for totally different purposes. Another classic example is structured text. If you want to aggregate facts from that, this is totally easy when the data is available in a simple JSON structure. If it is a simple HTML site, this is slightly more involved: you need to scrape the site and recognize irrelevant stuff ( navigation bars, tables only used for layouting, etc.). But if it is a blob of Flash code that happens to display the text in some shiny way, you are essentially becoming a reverse engineer, and your tool will almost certainly break apart with every change / new version of that structured text.