Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81934
Return-Path: <pierre.php@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 8455 invoked from network); 5 Feb 2015 15:00:38 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 5 Feb 2015 15:00:38 -0000
Authentication-Results: pb1.pair.com smtp.mail=pierre.php@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=pierre.php@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.182 as permitted sender)
X-PHP-List-Original-Sender: pierre.php@gmail.com
X-Host-Fingerprint: 209.85.216.182 mail-qc0-f182.google.com  
Received: from [209.85.216.182] ([209.85.216.182:61735] helo=mail-qc0-f182.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id E5/10-27691-59583D45 for <internals@lists.php.net>; Thu, 05 Feb 2015 10:00:38 -0500
Received: by mail-qc0-f182.google.com with SMTP id l6so6699910qcy.13
        for <internals@lists.php.net>; Thu, 05 Feb 2015 07:00:35 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=FGTY5s46HUJ8dzcvfyG1DWR9gA3fblYXAG9qH2xxkcQ=;
        b=cX5fbVEaU3KAepFWM4kwkhfEfbULeG0OUz8jK6JDSkxBHPIZ4xcSVPvllosxEy515R
         LykajG1BJyvzXRvU3+nX7Ht/DAFXBSKeZ1DtKDnX9RuJzO5MIDjj1aJaT0MpB91kFK/m
         /90nvRpmtarvUOQvGNeoFCXSHPM1XRnHcF7NuOhClVFNCOVyZLbLVKleVzJmssNB6xd/
         xzs5voCjxbOcfXLndlvZ2IWASyy+7Vi4wz6IHYSLlZARnJonKe1uzUQ+xSXoHoVVj0tF
         Nbq9eyZFcFF5Zei1KNPbl6vPFhWBoi7/JIRuO3CNlfm3OH0v9tErjHO55U8UUtdOSbWb
         prLg==
MIME-Version: 1.0
X-Received: by 10.140.95.179 with SMTP id i48mr8740943qge.4.1423148435347;
 Thu, 05 Feb 2015 07:00:35 -0800 (PST)
Received: by 10.96.3.168 with HTTP; Thu, 5 Feb 2015 07:00:33 -0800 (PST)
Received: by 10.96.3.168 with HTTP; Thu, 5 Feb 2015 07:00:33 -0800 (PST)
In-Reply-To: <020c01d0414b$2c3a1120$84ae3360$@tekwire.net>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
	<01d601d04146$6fbda4c0$4f38ee40$@tekwire.net>
	<CA+9eiLvQroYuUW_dVr+r5c=O=1aQ3upfahVUd1e-9qpLQRrxUw@mail.gmail.com>
	<020c01d0414b$2c3a1120$84ae3360$@tekwire.net>
Date: Thu, 5 Feb 2015 22:00:33 +0700
Message-ID: <CAEZPtU41ud0JSzfc6axnzdKCNJ48-LBCx=zuiFVpQ1mNdTK-kA@mail.gmail.com>
To: =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>
Cc: Yasuo Ohgaki <yohgaki@ohgaki.net>, PHP internals <internals@lists.php.net>, 
	Dmitry Stogov <dmitry@zend.com>
Content-Type: multipart/alternative; boundary=001a11c16dfcf39fb0050e5890e2
Subject: RE: [PHP-DEV] Design by Contract
From: pierre.php@gmail.com (Pierre Joye)

--001a11c16dfcf39fb0050e5890e2
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Feb 5, 2015 8:54 PM, "Fran=C3=A7ois Laupretre" <francois@tekwire.net> wr=
ote:
>
> De : Dmitry Stogov [mailto:dmitry@zend.com]
>
> > Yeah, this may work.
> > The only problem, that it looks not native and defines additional
language for constraints.
> > I don't talk it's wrong. Both approaches may make sense, but of course,
we have to select one.
>
> Yes, it makes phpdoc more tied to the engine but is it a problem ?

And here I have to jump in and say: don't.

And remind about one of the exact purposes of annotations.

--001a11c16dfcf39fb0050e5890e2--