Hi Michael, On Wed, Nov 16, 2016 at 9:06 AM, Guy Marriott <php-li...@scopey.co.nz> wrote: > I think it would make more sense for typed properties to exist first, and > it so happens that there was a recent RFC for this: > https://wiki.php.net/rfc/typed-properties. That RFC failed by a very small > margin. > > I would suggest you read through the discussions on the mailing list > regarding that RFC for some common arguments to typing in PHP.
In addition, type safety provides limited safety. e.g. Range checks are mandatory for safety. DbC provides more powerful features to ensure proper operations without production environment overheads. https://wiki.php.net/rfc/introduce_design_by_contract https://wiki.php.net/rfc/dbc https://wiki.php.net/rfc/dbc2 In order to exploit power of DbC, we need usable/easy to use validation feature like https://wiki.php.net/rfc/add_validate_functions_to_filter though. i.e. Most DbC checks are omitted in production environment, therefore validation function that is executed in production environment is mandatory with DbC. Regards, -- Yasuo Ohgaki yohg...@ohgaki.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
