Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82447
Return-Path: <yohgaki@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 65000 invoked from network); 11 Feb 2015 08:03:34 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 11 Feb 2015 08:03:34 -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.192.41 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.192.41 mail-qg0-f41.google.com  
Received: from [209.85.192.41] ([209.85.192.41:55698] helo=mail-qg0-f41.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 32/6D-33902-5DC0BD45 for <internals@lists.php.net>; Wed, 11 Feb 2015 03:03:33 -0500
Received: by mail-qg0-f41.google.com with SMTP id i50so1504922qgf.0
        for <internals@lists.php.net>; Wed, 11 Feb 2015 00:03:30 -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=YZPL4hEjR25XqwSgW7alQa/QKzSZJsu0bbmD6y4AMkA=;
        b=W8X9qzDZDflt2yrbdBQOBbNcZE99LGlTtQ2WE8IGL8PfobmmCVZzaMI8xaQfU1m53w
         ayAOt3uunHoOBdEdQ9UXsjto3eko+Ie5Pk8/qNbxLWHsqFF/kl+DxjTyJERe8BEzqjcQ
         BvCX8xBXopcNciROxDtxoD9NelbIIyLfQKTkAFf7zp9+Uf8jkF3W8bBt+THdnIX50H9E
         eiDXb+pf1EerXALHzvV+grimOhsstzkH7JH6cF+on/afvKtOhmq4vMC5LSRiC1TZ7yME
         THfbsuGHZWsaZWn+yWmisUfnjWSmSCjOM4ToGkWB2qDLXFdFYwO83sOczqoi/RGxf9ke
         M+yA==
X-Received: by 10.224.55.141 with SMTP id u13mr1007216qag.66.1423641810829;
 Wed, 11 Feb 2015 00:03:30 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.229.250.195 with HTTP; Wed, 11 Feb 2015 00:02:49 -0800 (PST)
In-Reply-To: <CAL=_i_m5UuoFL4Ng3EgfQ5H5kUgr906cmOhTtE8WS38JRBvwcw@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
 <54D7ED22.3080001@gmail.com> <CA+9eiLvn7BzfG5N+5Oca8pVO1OTzN9=jWof6NrVDfxvvu-XqPA@mail.gmail.com>
 <CAL=_i_m78Zo5euReKsvFfrLknFq7KEzoNnrrBefC987u+=+yHQ@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>
 <CA+9eiLtj79MevMVg1cBSzGvfcdH=jszWym1Bf50zRsQ+94jp5w@mail.gmail.com>
 <CAGa2bXY6OO2svdcguHLEYxQ_XUHjssBjgwJ_Had+JPjFzbZ80g@mail.gmail.com>
 <CAJ26g5QT2545yKEEHD3hho_FAVzF+Vs5qsExtZqDO+RqDTZUjg@mail.gmail.com>
 <CA+9eiLu5TY=3zv8Zx+2q83pf+vviNc326S=WXXOGuwgVt=asUw@mail.gmail.com>
 <CAGa2bXb0w=SDmphk2O2WF+RcbtYhx=pMjddE5kyOBBLBSpVBeg@mail.gmail.com>
 <CAL=_i_nrrmS08tYJ==0Pe0B34Ji1ykMbE9anbDpU2KN-vBbapg@mail.gmail.com>
 <CAGa2bXaPLA0hAkxseUsAd+s+Hq60pia7t8X4DusND8r2fiFwYQ@mail.gmail.com>
 <CAL=_i_=gg+WWU+d1K-A=rdf+f2=+mBGDVC4UKqmBOsiNMMBj1g@mail.gmail.com>
 <CA+9eiLuUqbO-PG7Ur36r2ekoConurvJ2ZBr6031BYndL7+GE0g@mail.gmail.com>
 <CA+9eiLuJpDrPzSkyYm=+FSEJWVG4btvTWVejDt2V54yPRofFWA@mail.gmail.com>
 <CAL=_i_kZGFFFUy8prehtyJP_ruTZZ0nGfHrM1Sj+bsE-Y++=pg@mail.gmail.com>
 <CA+9eiLuU9FcxC5k0aK1svKeu2Ary6fGDK2cDmM7hWqRj25hiyw@mail.gmail.com>
 <CAGa2bXaGHPMzBV2KMcroV8j6HUzC7TtFfzN6QzT5eMtHOWMLJQ@mail.gmail.com>
 <CAGa2bXZOyL6m+qhkA1TngaKObC3Yzsk-wy=na9=OBE5unpFnjw@mail.gmail.com>
 <CA+9eiLuaYNoiyX_N0LxWGp88W-F_iOWNcqJcJ6OMaNn_3s-ifw@mail.gmail.com>
 <CAL=_i_mAR0BEVoMakn_YgRNF3YKpyPyqkfKHDhFS6T4akPDxsg@mail.gmail.com>
 <CA+9eiLvUDi1F2Ri7Kb52zwenC4SbiAF7OCg4tqf=t2OwFAx7Ww@mail.gmail.com>
 <CAGa2bXYecWV3_3KW3teY1W0TcuRQ1pzCceDPewhjkxwCiS5Zdg@mail.gmail.com> <CAL=_i_m5UuoFL4Ng3EgfQ5H5kUgr906cmOhTtE8WS38JRBvwcw@mail.gmail.com>
Date: Wed, 11 Feb 2015 17:02:49 +0900
X-Google-Sender-Auth: BhkJiO_OgazRihRa-xyeKYQb4mM
Message-ID: <CAGa2bXYe-f5i6exvt+hZBqGd604QAzem09tnGAoz1hk7EpdHLg@mail.gmail.com>
To: Joe Watkins <pthreads@pthreads.org>
Cc: Dmitry Stogov <dmitry@zend.com>, Patrick Schaaf <php@bof.de>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=047d7bdc91406c0615050ecb70b8
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--047d7bdc91406c0615050ecb70b8
Content-Type: text/plain; charset=UTF-8

Hi Joe,

On Wed, Feb 11, 2015 at 4:54 PM, Joe Watkins <pthreads@pthreads.org> wrote:

> So it turns out that invariant is already deprecated in D, they have
> dropped it in favour of immutable properties.
>
> I guess I'll have to install an old version, or try to extract everything
> we need from their obviously outdated documentation ...
>

That's too bad.
Eiffel uses invariant.
https://docs.eiffel.com/book/method/et-design-contract-tm-assertions-and-exceptions

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--047d7bdc91406c0615050ecb70b8--