Hi! >> SPL is not a part of basic language syntax. There are no SPL keywords >> and no SPL classes used unless you explicitly instantiate those classes. >> So SPL is different. > > End users do not see nor buy the difference between what is Zend/ or > what is ext/spl (or other) and can't be disabled, like SPL.
Of course they'd see it. Here it goes again: "There are no SPL keywords and no SPL classes used unless you explicitly instantiate those classes". You can not just write some plain PHP syntax and end up having SPL class. If you use SPL class, you must do "new SplSomeClass" or something similar. It has nothing to do with disabling. > I really think we should consider exceptions, step by step, for the > language itself, when it makes sense. And the generators RFC is one We should consider them, but we should not do it in ad-hoc manner. It doesn't work ad hoc - this is exactly what keeps giving PHP users grief and PHP as a project reputation of environment that makes no sense - introducing stuff in random places without regard to how other parts of the language work. Why this piece has exceptions and that doesn't? Oh, that's because one guy implemented that part, another guy implemented this, they didn't want to get to agreement on this, so they just did completely different things in two places. And how the user is expected to work with both? Well, not anybody's problem, each guy got his piece committed, written in his favorite style, matching his unique use case, and couldn't care less about anything else. This is not how language environment should be properly designed. When (and if) we have a model of using exceptions in core, then we can introduce them in core, but introducing them piecemeal in random places just because people fell like it, without any plan or design is just not right. We have to stop doing it. -- Stanislav Malyshev, Software Architect SugarCRM: http://www.sugarcrm.com/ (408)454-6900 ext. 227 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
