9.3.06
The Rule of Least Power
A pronouncement from the W3C, with Berners Lee's name on it. I was surprised to see that it mentioned Haskell! (Jonathan Robie was annoyed that it did not mention XQuery.)
Comments:
<< Home
Section 3 is getting at the problem of what "expressive power" means in the context of Turing-complete programs, which naturally makes me think of Matthias Felleisen's definition.
In my experience, language designers always run into the problem of the balance of expressive power and reasoning power, they just don't always realize it.
Post a Comment
In my experience, language designers always run into the problem of the balance of expressive power and reasoning power, they just don't always realize it.
<< Home
