Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82071
Return-Path: <francois@tekwire.net>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 37378 invoked from network); 6 Feb 2015 21:48:19 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 6 Feb 2015 21:48:19 -0000
Authentication-Results: pb1.pair.com header.from=francois@tekwire.net; sender-id=softfail
Authentication-Results: pb1.pair.com smtp.mail=francois@tekwire.net; spf=softfail; sender-id=softfail
Received-SPF: softfail (pb1.pair.com: domain tekwire.net does not designate 212.27.42.2 as permitted sender)
X-PHP-List-Original-Sender: francois@tekwire.net
X-Host-Fingerprint: 212.27.42.2 smtp2-g21.free.fr  
Received: from [212.27.42.2] ([212.27.42.2:30702] helo=smtp2-g21.free.fr)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 81/00-37167-2A635D45 for <internals@lists.php.net>; Fri, 06 Feb 2015 16:48:18 -0500
Received: from moorea (unknown [82.240.16.115])
	by smtp2-g21.free.fr (Postfix) with ESMTP id 542694B022F;
	Fri,  6 Feb 2015 22:44:53 +0100 (CET)
Reply-To: <francois@tekwire.net>
To: <guilhermeblanco@gmail.com>,
	"'Dennis Birkholz'" <dennis@birkholz.biz>
Cc: "'PHP internals'" <internals@lists.php.net>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com> <54D37D41.2030706@hoa-project.net> <CAGa2bXa_E27ZK89j-C3c0-Kj8pDY4EN_8U6SQC2K19SNm46wqg@mail.gmail.com> <54D470FA.6000303@hoa-project.net> <CAGa2bXaGE3QWjGxvRadLG0btA5wd1u5bZ=AAo6WQHE_Uek8iaw@mail.gmail.com> <02d301d041f3$0c5f3990$251dacb0$@tekwire.net> <CAGa2bXafsdmTPutaYP_oyX9CbjaRcJyqk0r3_v-ud=yCiQT_SA@mail.gmail.com> <CAGa2bXZnBWoL7NogbQCrfy-80G7xWoD_EJT3KH3v9aPiJ68Csw@mail.gmail.com> <031501d04217$b393bff0$1abb3fd0$@tekwire.net> <CA+9eiLvfn570PY+9yxvN8nDODyvXwFKE--LaYOm5-1RLLd7DvA@mail.gmail.com> <CAFp73XsSEBubkVXeXary2tLbxDoAZntdZz5N6Y1x0p7bGq_6Rg@mail.gmail.com> <CA+9eiLtFpsg1usWTdTtGnkF9cp+ix2n3mMUtUYq8tOEn3AGtZw@mail.gmail.com> <54D4FFA4.3010703@birkholz.biz> <CAFp73XsmaMRdyQmyyjgsOJ9iPgEWwJnkkeufuPD1zS3RXRL3+g@mail.gmail.com>
In-Reply-To: <CAFp73XsmaMRdyQmyyjgsOJ9iPgEWwJnkkeufuPD1zS3RXRL3+g@mail.gmail.com>
Date: Fri, 6 Feb 2015 22:48:09 +0100
Message-ID: <035401d04256$997644f0$cc62ced0$@tekwire.net>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="utf-8"
Content-Transfer-Encoding: quoted-printable
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQGgxP9HPTh52uHWkGo6jLSeXRdtNAG/QBJNAaMNlcwCFsMP6wB6oLwcArkn1nkCRuYlGQKZuynVAgb/bP0CSk73+QHx3O6UAjOuwogBqyr63QK5oUULnG/XroA=
Content-Language: fr
X-Antivirus: avast! (VPS 150205-1, 05/02/2015), Outbound message
X-Antivirus-Status: Clean
Subject: RE: [PHP-DEV] Design by Contract
From: francois@tekwire.net (=?utf-8?Q?Fran=C3=A7ois_Laupretre?=)

Hi,

> De : guilhermeblanco@gmail.com [mailto:guilhermeblanco@gmail.com]
> Envoy=C3=A9 : vendredi 6 f=C3=A9vrier 2015 19:22
> =C3=80 : Dennis Birkholz
> Cc : PHP internals
> Objet : Re: [PHP-DEV] Design by Contract
>=20
> Hi Dmitry,
>=20
> So, can we start drafting out some things?
> Simple questions would help everybody to get this moving forward.
> I'll compile a simple list of questions to answer that would drive the
> direction on how it would be implemented.
> Please ignore the formatting on HOW they are defined. Tokens can =
change.
> Here it is:
>=20
>...

Could you please write it in an RFC or revive a previous one, so that we =
can clearly see what you're proposing. And please start a new thread to =
discuss this. I understand that DbC is a good use case for annotations =
but this is not the same subject.

Maybe annotations will be approved as a pre-requisite for DbC, but it is =
not the only possible solution, and getting a consensus on annotations =
AND DbC for March 15 seems improbable.

Cheers

Fran=C3=A7ois