If the core functionality remains ASCII based then there is no need to drop case insensitivity, but if there is a move to better multi-lingual support, then it may be necessary for compatibility with Unicode?
Sent from my android device so the quoting is crap! -----Original Message----- From: Xinchen Hui <[email protected]> To: Pierre Joye <[email protected]> Cc: Mike Dugan <[email protected]>, Andrea Faulds <[email protected]>, Marco Pivetta <[email protected]>, PHP internals <[email protected]>, David Muir <[email protected]>, Paul Dragoonis <[email protected]>, "[email protected]" <[email protected]>, Kevin Israel <[email protected]> Sent: Mon, 22 Dec 2014 6:25 AM Subject: Re: [PHP-DEV] Proposal for PHP 7 : case-sensitive symbols On Mon, Dec 22, 2014 at 12:35 PM, Pierre Joye <[email protected]> wrote: > On Mon, Dec 22, 2014 at 3:05 PM, Mike Dugan <[email protected]> wrote: >> Development should also be a consideration, I see a lot of developers using >> Windows for local development (even on the irc channels). These are the same >> ones who are, in my experience, less likely to be aware of solutions like >> Vagrant just as much as the subtleties of case sensitivity across operating >> systems. > > I think we coul be more realistic here. > > In my opinion the pains introduced by such a change does not match > with any possible gains. Many areas affect the request time badly > (IOs, mem, etc), I do not see case insensitivity as one, even if it > may look very bad if a simple small script is taken as example of the > slowdown (obviously worst case). > > I am not saying discussing that is bad, but it may not be the most > important thing to spend time on :) Agree.. I am afraid that will never happen(case-sesentive class/function name) in the whole php life thanks > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > -- Xinchen Hui @Laruence http://www.laruence.com/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
