Am 05.02.2015 12:14 schrieb "Dmitry Stogov" <dmi...@zend.com>: > > For php it may look like the following: > > function foo() > require(<input-assert-expression>) > ensure(<output-assert-expression>) > { > ... > } > > It would require only one new reserved word "ensure".
How would one access the function return value in the output-assert-expression? And what about side effects in these expressions? Could they be suppressed / made into errors somehow? best regards Patrick