Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:84092 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 72552 invoked from network); 1 Mar 2015 03:47:32 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 1 Mar 2015 03:47:32 -0000 Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.54 as permitted sender) X-PHP-List-Original-Sender: yohgaki@gmail.com X-Host-Fingerprint: 209.85.216.54 mail-qa0-f54.google.com Received: from [209.85.216.54] ([209.85.216.54:49257] helo=mail-qa0-f54.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 28/61-63732-2DB82F45 for ; Sat, 28 Feb 2015 22:47:30 -0500 Received: by mail-qa0-f54.google.com with SMTP id x12so18385870qac.13 for ; Sat, 28 Feb 2015 19:47:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=waW2KeuJnOBj9dPk+JUoJJniAxyWS29qJ3J/6rb6+ug=; b=pJi+CndlBp/LUUaLKO25VY5a0N+rStjJ/OBZqCllhpUh19BeFPl8JBucORs9duVtHR O7kvKdqjUAZPohjIE8XW9qyP/Hr0z+9OJ6DLp0blHjh+ajK9VtHA+PpDZ9e0yc9W9t8d SAvGs2I1Flq6z2C2OOmjoYGLBnG3051kj3kMBgCx9WP52ZuiEFpgA5w29nQ1eH8BtN++ Bbmzeb67tvsj/0aB89ZSNXSMnPzsJA5FSlHF8SqmzWtPIAdy5ojWhGtRrLN2/PY2Y6Rj c9o92nXjlMRc1bSiP6s5c2xscYy4SHOG81mhfrStxTcYgE+5E+/8lEUgfsiu1/LbJeYj jrGw== X-Received: by 10.140.28.97 with SMTP id 88mr40282610qgy.6.1425181647201; Sat, 28 Feb 2015 19:47:27 -0800 (PST) MIME-Version: 1.0 Sender: yohgaki@gmail.com Received: by 10.229.198.8 with HTTP; Sat, 28 Feb 2015 19:46:47 -0800 (PST) In-Reply-To: <09d401d05165$3c3e7fa0$b4bb7ee0$@php.net> References: <54DAFD32.3000005@gmail.com> <54DB0BC0.20304@gmail.com> <54DBA801.8060403@gmail.com> <013801d0481d$d34c5170$79e4f450$@php.net> <000a01d04939$aae34910$00a9db30$@php.net> <003d01d04974$46e52240$d4af66c0$@php.net> <09d401d05165$3c3e7fa0$b4bb7ee0$@php.net> Date: Sun, 1 Mar 2015 12:46:47 +0900 X-Google-Sender-Auth: hG9TvQ99KZQ_fiGgOz6AKXZNQ1E Message-ID: To: francois Cc: Dmitry Stogov , Joe Watkins , Stanislav Malyshev , PHP Internals Content-Type: multipart/alternative; boundary=001a113a7cead26f4e051031f55f Subject: Re: [PHP-DEV] Design by Contract From: yohgaki@ohgaki.net (Yasuo Ohgaki) --001a113a7cead26f4e051031f55f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi all, I made vote only RFC and started discussion for voting https://wiki.php.net/rfc/introduce_design_by_contract Please feel free to correct/improve it. I added note to our RFCs https://wiki.php.net/rfc/dbc --- This RFC is part of =E2=80=9CDesign by Contract Introduction=E2=80=9D RFC https://wiki.php.net/rfc/introduce_design_by_contract There is alternative implementation proposal by =E2=80=9CDefinition=E2=80= =9D https://wiki.php.net/rfc/dbc2 ---- https://wiki.php.net/rfc/dbc2 ---- This RFC is part of =E2=80=9CDesign by Contract Introduction=E2=80=9D RFC https://wiki.php.net/rfc/introduce_design_by_contract This RFC is an alternative approach to =E2=80=9CNative DbC support=E2=80=9D= RFC. http://wiki.php.net/rfc/dbc ---- I understand there are things to resolve, but RFCs are good enough to start discussions. I'll post discussion mail shortly. If you find anything, have any comments or any show stopper, please let me know. Thank you! -- Yasuo Ohgaki yohgaki@ohgaki.net --001a113a7cead26f4e051031f55f--