Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83267
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.42 as permitted sender)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
In-Reply-To: <CAEYWF=7-mZRgDdu4eVZ8LCVD18e3dHJS2BAMQkSW9ajVdc6waA@mail.gmail.com>
References: <CAEYWF=7-mZRgDdu4eVZ8LCVD18e3dHJS2BAMQkSW9ajVdc6waA@mail.gmail.com>
Date: Fri, 20 Feb 2015 15:34:50 +0900
Message-ID: <CAGa2bXbpXM8h-2nnuh6pfOWHcjSU2yLfzHOHVmvK7HxSwxzT=g@mail.gmail.com>
To: Bishop Bettini <bishop@php.net>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11337bfc4a20a5050f7f4257
Subject: Re: [PHP-DEV] Nightmares on type hints, annotations, and aop...
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a11337bfc4a20a5050f7f4257
Content-Type: text/plain; charset=UTF-8

Hi Bishop,

On Wed, Feb 18, 2015 at 9:18 PM, Bishop Bettini <bishop@php.net> wrote:

> THING 2: Hints are truthy callables
>
> function my_mixed($m) {
>     return (null === $m || is_string($m));
> }
> function f(is_scalar $s, is_int $i, my_mixed $m) {};
>
>
This is interesting idea. I'm sure it will be much slower than type hints
as it
calls functions, but it's still interesting idea. i.e. Cost of calling
functions are
not cheap. Inline optimization will help, but it increases byte code size.

Type hint implementation is a lot simpler than this.

THING 3: Pre- and post- blocks to define contracts, establish formal join
> points, with or without hints from above
>
> function f($s, $i, $m)
> before {
>     if (! is_scalar($s)) throw new \InvalidArgumentException;
> },
> inside {
>     $fp = fopen($s, 'r');
>     return [ $i, $m ];
> },
> after ($retval) {
>     assert(is_array($retval) && 2 === count($retval));
> },
> finally ($retval) {
>     fclose($fp);
>     if ($retval instanceof \Exception) {
>         // I got here by an unhandled exception
>     }
> }
>
> weave('before', 'f', function ($s, $i, $m) {
>     syslog(LOG_DEBUG, __POINTCUT__); // is 'f'
> }
>

Although it has similarities, AOP and DbC cannot share blocks/etc. AOP is
for production codes, DbC is _not_ for production codes, but only for
development
and testing. These are 2 distinct features.

Regards,

>
--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a11337bfc4a20a5050f7f4257--