I've not seen a paper with it yet, and doing it introduces an ambiguity into an otherwise clean, parsable syntax. And frankly, doing that is completely unnecessary. Adds pretty much zero value, and is presumptuous.
I am quite sure you can show me one too, and the point being this isn't in broad use just yet. Should not be.
Frankly, this reminds me of the one space after sentence mess. Similar reasons have been given. It reads better! It flows better! You get the idea here.
But, ever notice how often your mobile device gets capitalization wrong?
This is why!
The same people who thought cleaning up that one space made sense did not think through the parsing implications. One space means we no longer have a way to differentiate an end to a sentence from an abbreviation.
That nice, clean space has already cost untold human hours spent on hobbled user input. Your phone literally has no way to capitalize in a more effective, assistive way. (same goes for any code assistant depending on that information, which is lost in the one space after sentence scenario.)
Here we have a similar thing. If the brackets are allowed to overwrite quoted material, then we lose the ability to differentiate some of how brackets are used, which means we've made our language and grammar more ambiguous, and for what?
The example given in the article highlights this perfectly!
Given the use: go home and bite [his] pillow
Did Corky say, "go home and bite pillow" , or was something else said, and if something else was said, what was it, and why was it not simply quoted?
I am quite sure you can show me one too, and the point being this isn't in broad use just yet. Should not be.
Frankly, this reminds me of the one space after sentence mess. Similar reasons have been given. It reads better! It flows better! You get the idea here.
But, ever notice how often your mobile device gets capitalization wrong?
This is why!
The same people who thought cleaning up that one space made sense did not think through the parsing implications. One space means we no longer have a way to differentiate an end to a sentence from an abbreviation.
That nice, clean space has already cost untold human hours spent on hobbled user input. Your phone literally has no way to capitalize in a more effective, assistive way. (same goes for any code assistant depending on that information, which is lost in the one space after sentence scenario.)
Here we have a similar thing. If the brackets are allowed to overwrite quoted material, then we lose the ability to differentiate some of how brackets are used, which means we've made our language and grammar more ambiguous, and for what?
The example given in the article highlights this perfectly!
Given the use: go home and bite [his] pillow
Did Corky say, "go home and bite pillow" , or was something else said, and if something else was said, what was it, and why was it not simply quoted?