Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82031 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 13086 invoked from network); 6 Feb 2015 09:42:28 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 6 Feb 2015 09:42:28 -0000 Authentication-Results: pb1.pair.com header.from=dmitry@zend.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=dmitry@zend.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.173 as permitted sender) X-PHP-List-Original-Sender: dmitry@zend.com X-Host-Fingerprint: 209.85.220.173 mail-vc0-f173.google.com Received: from [209.85.220.173] ([209.85.220.173:58168] helo=mail-vc0-f173.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 5B/4D-45146-38C84D45 for ; Fri, 06 Feb 2015 04:42:28 -0500 Received: by mail-vc0-f173.google.com with SMTP id hy4so61133vcb.4 for ; Fri, 06 Feb 2015 01:42:24 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=dWXZfDe8JCXfc1CeuHN/lTAd4o9j4Wdo2jeiR0KoJWQ=; b=QSmGq50Mgo8j9B6b5nOxV7f2xJ10gzZVFZLT2RfPAodxOALvrU4hEeVPCaNun8bpsj 6xfGTskXUp38hxCu8sBFhE50e/RQgJxbTqVUIgW8BiJQsgsi8UBmW1RlbGLfkvIZve3Z N0FeQqO1A5rsUj9mqW66FKnteibGwhrezjyC992t2OwcvkMN7lMyi0vYtB6lXjgEoPq+ tnBdNg2RrayhVZWbD8teaXDYSdGuvR5Ye1ngHAyLQHTqru2SvLBefPuFDwZ55joE/4xg dzDevp9JDOIMqWB3yaXjOge0wkbM5QgIq3B2OqRIJrVdg8Zo6Ol8tauBTIDG2lndwIyX carg== X-Gm-Message-State: ALoCoQkbOL86uOH1wNfH8PmDt4FUjX23e/BlleXFSa1YwFoH4Y+LqQDeKe/wcGvVZmy2RRrM7M4aHojGLPzCqyw7+nWnn5O6K5R/AqOvqQ70131zIUHO0QZDT1VVTlBFewY6CheNkBBoA1osc92ABw5bKyq6x1wJyQ== MIME-Version: 1.0 X-Received: by 10.220.98.136 with SMTP id q8mr1689551vcn.4.1423215744719; Fri, 06 Feb 2015 01:42:24 -0800 (PST) Received: by 10.52.74.73 with HTTP; Fri, 6 Feb 2015 01:42:24 -0800 (PST) In-Reply-To: References: <01d601d04146$6fbda4c0$4f38ee40$@tekwire.net> <020c01d0414b$2c3a1120$84ae3360$@tekwire.net> <022801d0415a$027e0620$077a1260$@tekwire.net> Date: Fri, 6 Feb 2015 13:42:24 +0400 Message-ID: To: "guilhermeblanco@gmail.com" Cc: Pierre Joye , =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= , Yasuo Ohgaki , PHP internals Content-Type: multipart/alternative; boundary=001a11c20e52e732ee050e683cf8 Subject: Re: [PHP-DEV] Design by Contract From: dmitry@zend.com (Dmitry Stogov) --001a11c20e52e732ee050e683cf8 Content-Type: text/plain; charset=UTF-8 Hi, do you have a link to old proposal and/or implementation? Thanks. Dmitry. On Fri, Feb 6, 2015 at 7:08 AM, guilhermeblanco@gmail.com < guilhermeblanco@gmail.com> wrote: > Hi all, > > I already said before and I'm happy to say it again... > Whenever you feel ready to get true, complete Annotations into core, just > tell me and I'll be ready to work on previously suggested Annotations in > sync with current internals. > > Cheers, > > On Thu, Feb 5, 2015 at 11:00 PM, Pierre Joye wrote: > >> On Thu, Feb 5, 2015 at 11:36 PM, Dmitry Stogov wrote: >> > phpdoc is annotation as well, but to split it into specific attributes >> we >> > have to write specialized parsers. >> > Other languages support annotation or attributes that may be used more >> > easily. >> > >> > http://docs.hhvm.com/manual/en/hack.attributes.php >> >> Exactly, phpdoc is used as annotation (or comments with some similar >> syntax) but is definitively not aimed to be annotations. >> >> -- >> Pierre >> >> @pierrejoye | http://www.libgd.org >> >> -- >> PHP Internals - PHP Runtime Development Mailing List >> To unsubscribe, visit: http://www.php.net/unsub.php >> >> > > > -- > Guilherme Blanco > MSN: guilhermeblanco@hotmail.com > GTalk: guilhermeblanco > Toronto - ON/Canada > --001a11c20e52e732ee050e683cf8--