--
P.S. It would be great to have a proper SIP for this and not just a bunch of discussions scattered around the Internet. Someone want to write one? Even if it didn't fully go through until we had a code-rewriting tool, there's still a possibility of it happening sooner but behind a flag (`-Xfuture` or what have you).
--
--
You received this message because you are subscribed to the Google Groups "scala-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scala-user+...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
"The answer is " + 42 + "."
scala> Seq("a","b","c") + "d"res0: String = List(a, b, c)d
Seq("a","b","c").toString + "d"
Apart from that, what is the most straight-forward way to output a series of objects a1, a2, a3, a4?
This is exactly the sort of case were you don't want to accidentally be concatenating accidentally stringified objects.
--
The only reason for not deprecating it that I can see is that usage of
`+' is still ubiquitous. In my opinion, if we deprecate something as
common as String `+' (or procedure syntax, which is similarly widely
used), we need to have tooling for automatic program rewriting place.
Otherwise we force all users to do a lot of busywork which they might
find annoying.
Cheers
- Martin
> --
> You received this message because you are subscribed to the Google Groups
> "scala-user" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to scala-user+...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
Martin Odersky
EPFL
--
You received this message because you are subscribed to a topic in the Google Groups "scala-user" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/scala-user/9h41cxPDvI8/unsubscribe.
To unsubscribe from this group and all its topics, send an email to scala-user+...@googlegroups.com.
To unsubscribe from this group and all its topics, send an email to scala-user+unsubscribe@googlegroups.com.