RFC: design of the tr! macro

[ogoffart]

Syntax

Current syntax:

tr!("Hello", ...args... )
tr!("ctx" => "Hello", ...args...) // with '=>' for context
tr!("one Hello" | "{} Hello's" % count, ...args...) // plurals with '|' and '%'
tr!("ctx" => "one Hello" | "{} Hello's" % count, ...args...) // context and plural

I chose the oprator =>, | and % because out of all possible operator or keywords, this was what seemed to me the most logical. I was considering puting the count variable before the string, but
that makes the macro difficult to parse because only some token are allowed after an expr in a macro, and => was already taken for the context

Another possibility could be, for example

tr!("ctx" @ count => "one Hello" | "{n} Hello's", ...args...)

But @ is a bit more alien. Or maybe that'd actually be better?
(other possible contex separator itoken includes ;, # or $, or maybe keywords)
Other suggestions are welcome.

Return Type

What should be the type of the tr! expression? Currently it is a String, which is probably the easier to use. Alternatiely, this could be a type whiwh could be implementing Display and possibly other trait, it would allow

• to save one memory allocation in case the string is only used within another format!
• better error reporting, maybe (that the format was incorrect, or that the string was not translated)

Maybe another macro name could be used, or a keyword inside the macro to vary the return type.

Formating

If we want to support translation script based on the argument, we need to have the arguments within the same macro. I think it is better to have the same formating as the format! macro, as everybody is familiar with that (currently, not everything is implemented, but that can be solved).
The question is what to do when the formating contains error. Panicing is not a good idea, as we do not want to crash the program when a translation is invalid. Returning an error is not making the all site convininent. So I currently try to make best effort to recover. And perhaps showing an error on stderr could be done.