Re: [RFC][VOTE] Number Format Separator
| From: | Pascal MARTIN, AFUP | Date: | Tue, 19 Jan 2016 12:37:23 +0000 |
| Subject: | Re: [RFC][VOTE] Number Format Separator | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-90713@lists.php.net to get a copy of this message | ||
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! -- Pascal MARTIN, AFUP - French UG http://php-internals.afup.org/