Hi! > type (or pseudo-type) to do this. We should add null as a return type > rather than void as null:
I don't think we should do either. The whole story bases on the premise that it is very important to avoid functions that accidentally return non-null value. I do not think this premise is valid - in fact, I think overall number of errors caused by this is so small that we already spent collectively more time on discussing this than would be ever saved over lifetime of PHP by introduction of this check. The only practical (in a wide sense of the word) use of the void/null type there would be making PHP functions more like ones in other languages, where you can (actually, in most cases, must) declare functions void, so we obviously need to have that too. In my book, this is not a very necessary thing. -- Stas Malyshev smalys...@gmail.com -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
