Hi Pascal,
Pascal MARTIN, AFUP wrote:
Le 13/01/2016 19:48, Thomas Punt a écrit :
Voting has opened for the inclusion of a digit separator in PHP[1].
Voting ends in
one week's time on January 20th.
Hi,
At AFUP, we would be on the -1 side (by a huge margin).
The "good" thing would be code that's a bit more readable, yes.
But it would be harder to search in code, as there would be more than
one way to write a number. Basically, it would break grep/find.
Splitting numbers so they are more readable is kind of a presentation
matter and, as such, could be done by an editor/IDE when displaying
code, without having to modify the code by hand (actually, I'm quite
surprised it's not a feature I remember seeing in any IDE).
In any case, thanks for you work on this!
One other approach I thought of is to use constant scalar expressions:
+('123'.'456'.'789')
It's not quite the same of native support, but it works.
Thanks.
--
Andrea Faulds
https://ajf.me/
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
