I'm not sure what is the advantage of such syntax:
String res="hi "+x+"!";//pure java
String res="hi ${x}!";//proposed syntax saves a single char
I sort of understand the
String res="hi {x}!";//swift syntax saves two char
but it has the price that now { and } need to be escaped....
> --
> You received this message because you are subscribed to the Google Groups
> "Project Lombok" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
project-lombo...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.