Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:81937 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 13562 invoked from network); 5 Feb 2015 15:22:32 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 5 Feb 2015 15:22:32 -0000 Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.175 as permitted sender) X-PHP-List-Original-Sender: yohgaki@gmail.com X-Host-Fingerprint: 209.85.216.175 mail-qc0-f175.google.com Received: from [209.85.216.175] ([209.85.216.175:57740] helo=mail-qc0-f175.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 5B/11-27691-7BA83D45 for ; Thu, 05 Feb 2015 10:22:32 -0500 Received: by mail-qc0-f175.google.com with SMTP id c9so6831648qcz.6 for ; Thu, 05 Feb 2015 07:22:29 -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=N7CKtGYoaSXuLFPPwDy/ROATmF5NkkOqrNCpDkGLDTw=; b=K4+l5G/PjiaFHugYeRU0MGq1f2PdiaLZXjlCNLYYugQRiy4hQjo1P5gkzQkDNaJHTD 2WpBKvOEopFyTLsYh2c2xMHs+MKIE3PcZHInbwaPPTdLRI5UXDjTHWIzeoyyasU+Wqly XUrabn+VZgjhM/0I6L92UIVDqOnKg+B+fY9gXvqbW4TQYwXsYdJwwmq4hXEIOiVbhRk7 5Gy86FjVtscT5SLR+Md6WiYKlNEUYRx8cm05lrE/QSAv5MZeyv8BlY36k6Jjw6Ja1Zp6 74VpyyJlCiLdEzrok0OkSPZ8Wh/fQM4+2C/Q0yRdUTdISKhzhHGdj9h9PyZle3j8B2U+ qtQA== X-Received: by 10.140.42.22 with SMTP id b22mr8742871qga.43.1423149749399; Thu, 05 Feb 2015 07:22:29 -0800 (PST) MIME-Version: 1.0 Sender: yohgaki@gmail.com Received: by 10.229.28.72 with HTTP; Thu, 5 Feb 2015 07:21:49 -0800 (PST) In-Reply-To: References: <01d601d04146$6fbda4c0$4f38ee40$@tekwire.net> <020c01d0414b$2c3a1120$84ae3360$@tekwire.net> Date: Fri, 6 Feb 2015 00:21:49 +0900 X-Google-Sender-Auth: BcqA3bA4b89htMaHwG1GKEBrNdQ Message-ID: To: Pierre Joye Cc: =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= , PHP internals , Dmitry Stogov Content-Type: multipart/alternative; boundary=001a11c12d76468305050e58df67 Subject: Re: [PHP-DEV] Design by Contract From: yohgaki@ohgaki.net (Yasuo Ohgaki) --001a11c12d76468305050e58df67 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi all, On Fri, Feb 6, 2015 at 12:00 AM, Pierre Joye wrote: > On Feb 5, 2015 8:54 PM, "Fran=C3=A7ois Laupretre" = wrote: > > > > 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. > We don't have to integrate DbC into phpdoc. phpdoc may have integration of new DbC syntax. I think it's helpful even if phpdoc copies post/pre condition as document. There are too many possibility for DbC syntax. We are better to choose something in common among languages. All of us understand why DbC is good for weakly typed PHP especially, don't we? Let's concentrate we have clean syntax for DbC. Dmitry's idea is good enough. IMHO. But if you have better one, it should be written on this thread now and discuss. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net --001a11c12d76468305050e58df67--