Replacing # with backticks for exotic identifiers

[Paul Benedict]

Hello,

I didn't initiate this suggestion, but I am passing it along because
it is really good, imo. Furthermore, I've complained about the #""
syntax and, well, I still complain about it :-)

Artur Biesiadowski, in the Coin Dev mailing list, made the suggestion
to replace the #"" notation with backticks [1]. I think his suggestion
was great for at least four reasons:

1) Closures might use pound symbol
2) Method literals might use pound symbol
3) JavaDoc already uses pound symbol
4) Backticks are commonly supported by several RDMS to represent
exotic identifiers (like table names with spaces).

Is the pound symbol really the choice favorite by the participants in
this list? John and Remi, unless your heart is set on it, can you
consider a change with regards to all the other language changes now
going to happen?

Paul

[1] http://mail.openjdk.java.net/pipermail/coin-dev/2009-November/002556.html