Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92624
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 207.46.100.114 as permitted sender)
To: Dominic Grostate <codekestrel@googlemail.com>
References: <BY2PR0201MB178479B3AF8BD49583233034BF6E0@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <CAFKaYMqg6H2YAgS-ATjcYtXw8GLbp_Kr+VuZFMRPZTkAS1g0hA@mail.gmail.com>
CC: PHP internals <internals@lists.php.net>
Message-ID: <571965D1.9020102@zend.com>
Date: Fri, 22 Apr 2016 02:44:17 +0300
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.1
MIME-Version: 1.0
In-Reply-To: <CAFKaYMqg6H2YAgS-ATjcYtXw8GLbp_Kr+VuZFMRPZTkAS1g0hA@mail.gmail.com>
Content-Type: multipart/alternative;
	boundary="------------060702000207070306030806"
SpamDiagnosticOutput: 1:23
SpamDiagnosticMetadata: NSPM
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Apr 2016 23:44:38.0381 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY2PR0201MB1784
Subject: Re: [PHP-DEV] [RFC] PHP Attributes
From: dmitry@zend.com (Dmitry Stogov)

--------------060702000207070306030806
Content-Type: text/plain; charset="utf-8"; format=flowed
Content-Transfer-Encoding: 7bit



On 04/22/2016 02:16 AM, Dominic Grostate wrote:
>
> This is amazing.  It would actually allow us to implement our 
> automated assertions ourselves, as opposed to requiring it within the 
> language.
>
this was the idea - to give a good tool instead of implementing every 
possible use-case in the language.

> Could it also support references?
>
> <<sanitize(&$a)>>
> function foo($a) {
>
> }
>
yes. "&$a" is a valid PHP expression.

If you plan to use this, I would appreciate, if you to build the patched 
PHP and try it.
The early we find problems the better feature we will get at the end.

Thanks. Dmitry.

> On 21 Apr 2016 10:13 p.m., "Dmitry Stogov" <dmitry@zend.com 
> <mailto:dmitry@zend.com>> wrote:
>
>     Hi,
>
>
>     I would like to present an RFC proposing support for native
>     annotation.
>
>     The naming, syntax and behavior are mostly influenced by HHVM
>     Hack, but not exactly the same.
>
>     The most interesting difference is an ability to use arbitrary PHP
>     expressions as attribute values.
>
>     These expressions are not evaluated, but stored as Abstract Syntax
>     Trees, and later may be accessed (node by node) in PHP extensions,
>     preprocessors and PHP scripts their selves. I think this ability
>     may be useful for "Design By Contract", other formal verification
>     systems, Aspect Oriented Programming, etc
>
>
>     https://wiki.php.net/rfc/attributes
>
>
>     Note that this approach is going to be native, in contrast to
>     doc-comment approach that uses not well defined syntax, and even
>     not parsed by PHP itself.
>
>
>     Additional ideas, endorsement and criticism are welcome.
>
>
>     Thanks. Dmitry.
>


--------------060702000207070306030806--