On 4/28/2015 8:16 AM, bearophile wrote:
Luc Bourhis:
The author of that blog seems to see his finding in a
positive light actually. As it makes it possible to write
more powerful template metaprograms!
One of the essences of modern languages is to restrict the power of the
programmer in specific parts, to reduce unwanted interactions and make
complexity more manageable. His finding seems a design mistake.
Most languages suffer from quirky, unexpected behaviors from interactions
between otherwise sensible features. The awful thing, though, is programmers
discover these things and then build a store around them, making it impossible
to fix those quirks.