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.)

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

<< Home

This page is powered by Blogger. Isn't yours?