Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:81922 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 83959 invoked from network); 5 Feb 2015 13:20:05 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 5 Feb 2015 13:20:05 -0000 Authentication-Results: pb1.pair.com smtp.mail=francois@tekwire.net; spf=softfail; sender-id=softfail Authentication-Results: pb1.pair.com header.from=francois@tekwire.net; 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:48374] helo=smtp2-g21.free.fr) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 15/5B-27691-30E63D45 for ; Thu, 05 Feb 2015 08:20:05 -0500 Received: from moorea (unknown [82.240.16.115]) by smtp2-g21.free.fr (Postfix) with ESMTP id EEC9E4B029E; Thu, 5 Feb 2015 14:16:42 +0100 (CET) Reply-To: To: "'Dmitry Stogov'" , "'Yasuo Ohgaki'" , "'PHP Internals'" References: In-Reply-To: Date: Thu, 5 Feb 2015 14:19:55 +0100 Message-ID: <01d601d04146$6fbda4c0$4f38ee40$@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: AQGgxP9HPTh52uHWkGo6jLSeXRdtNJ1A4yvQ Content-Language: fr X-Antivirus: avast! (VPS 150204-1, 04/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 Dmitry, > De : Dmitry Stogov [mailto:dmitry@zend.com] > > Following our conversation, I tried to imagine how DbC should look = like in > PHP from user perspective. Finally, I was influenced by the semantic > proposed in D, and syntax proposed for Java. So, these are my initial > thoughts: Please have a look at https://wiki.php.net/rfc/dbc, just the beginning, = up to 'Pre-conditions'. It contains 2 examples. This is not D syntax, = while functionally similar, because I want to preserve BC and provide = built-in checks on phpdoc declared types. Cheers Fran=C3=A7ois