Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:84312
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.175 as permitted sender)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
In-Reply-To: <CA+9eiLsfh75agDr1UHGvQEa2J6SwT3Qd1kVgMnzWe4iyK8yFuw@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
 <CA+9eiLuUFiKwOR-BqQEmkQirpAMxgb0GE70Zz7h4WDsd1Me8FQ@mail.gmail.com>
 <CAGa2bXYDvdvRLiOpDk8EnvE00JE4x47SXB9fET4uO2Er_F6s_w@mail.gmail.com>
 <CAL=_i_=mGc_0u0YDCQ7Jiqn_ggyJmQSd_mk_snf7ArDpDXO53A@mail.gmail.com>
 <CA+9eiLur0DVGBNkzFkiTj3POL5B9H0D8=5wE-wuwN2O-FQZNyg@mail.gmail.com>
 <CAL=_i_m=XDKtc2iCSjoquaHkmX862gyMweKS5Xw4AS--oLj19w@mail.gmail.com>
 <CA+9eiLsX=mOOgXmNBKD1L6WKx2=Vy81mThaKa1XCjjAw6R=2vA@mail.gmail.com>
 <CAGa2bXYYp0WQmnTnbsHXzc8XGG0PxOVHu7XvwiMCSJiUWoKeCg@mail.gmail.com>
 <CAGa2bXbKs8cGRTQ1sfeRonnmVXtp7ftVDkz_ALmqr8OnczQxCg@mail.gmail.com>
 <CAGa2bXZ8Wy7bUYgtbajr+GkpQtQEjQLMbFT2mSB5OEnLO2mgfg@mail.gmail.com>
 <CAL=_i_kypYpa3t06peRKwtww=cbh+KhM+iAOtotDGNaFfJBuVA@mail.gmail.com>
 <54DAFD32.3000005@gmail.com> <CA+9eiLtswwOqku57nHLu8fmHOwzvVcqkHTehBQOPUqQb5P2BUw@mail.gmail.com>
 <54DB0BC0.20304@gmail.com> <CA+9eiLsK1JJbyGu5Fxf+MNz63wb8K0661rkMm-h+vTVUZo+0SQ@mail.gmail.com>
 <54DBA801.8060403@gmail.com> <013801d0481d$d34c5170$79e4f450$@php.net>
 <CAGa2bXYNY_ACPb7KZH5BwgvzTOUmsy_g22DSGSOeeACOstq+HA@mail.gmail.com>
 <000a01d04939$aae34910$00a9db30$@php.net> <CAGa2bXbP+fk7pprVgbLwwQesTccqFArvWNd=JGHQA2XaEe-tqw@mail.gmail.com>
 <003d01d04974$46e52240$d4af66c0$@php.net> <CAGa2bXZXm3zq_OTtZ7WvUm_bsoiR_Hm2bybmH8y0uAeVtt12Dw@mail.gmail.com>
 <CAGa2bXZuYmpCrhxO7zMFadqJqc9D9QLwH3riWEayowyGPH5jqw@mail.gmail.com>
 <09d401d05165$3c3e7fa0$b4bb7ee0$@php.net> <CAGa2bXb_6RczqEsUGbD41bhjhJQrfWv49UexjuqCpGv4CsFtCg@mail.gmail.com>
 <CA+9eiLvhUph===L_PDVuP-EvJazwxbqP=cfFmsbE7XB4O60f-Q@mail.gmail.com>
 <CAGa2bXa7_E+qwa+RHD7V42UffLevi=d-pXhrw5Nrvk9Vgn3FHQ@mail.gmail.com> <CA+9eiLsfh75agDr1UHGvQEa2J6SwT3Qd1kVgMnzWe4iyK8yFuw@mail.gmail.com>
Date: Thu, 5 Mar 2015 10:32:00 +0900
Message-ID: <CAGa2bXZD63YXQc1M63yUOP1g0VX=XWRtNLypZtaMBwHSHsZw4Q@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Alexander Lisachenko <lisachenko.it@gmail.com>, francois <francois@php.net>, 
	Joe Watkins <pthreads@pthreads.org>, Stanislav Malyshev <smalyshev@gmail.com>, 
	PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113a413e47908d0510808bf4
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a113a413e47908d0510808bf4
Content-Type: text/plain; charset=UTF-8

Hi Dmitry,

On Wed, Mar 4, 2015 at 5:35 PM, Dmitry Stogov <dmitry@zend.com> wrote:

> assert() is not for DbC. It''s useful by it's own. However, new zero-cost
> assert() implementation should be reused for true DbC.


I fully agree.
I cannot wait to have it.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a113a413e47908d0510808bf4--