This article appears to argue against basic facts about formal languages and the limits of machines. The argument seems to go something like "I don't like prog

This article appears to argue against basic facts about formal languages and the limits of machines. The argument seems to go something like "I don't like programming languages because they force me to work in a certain way! Now, here's another way to do programming!" The "programming environments as toys" argument seems to be at odds with fixed syntactic and semantic interpretation for programming languages, which is a bit like arguing against steering wheels for cars - sure, having the car drive itself would be nice, but throwing away the steering wheel is really not going to have the desired effect.