Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82445
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain pthreads.org from 209.85.220.50 cause and error)
MIME-Version: 1.0
In-Reply-To: <CAGa2bXYecWV3_3KW3teY1W0TcuRQ1pzCceDPewhjkxwCiS5Zdg@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>
Date: Wed, 11 Feb 2015 07:54:20 +0000
Message-ID: <CAL=_i_m5UuoFL4Ng3EgfQ5H5kUgr906cmOhTtE8WS38JRBvwcw@mail.gmail.com>
To: Yasuo Ohgaki <yohgaki@ohgaki.net>
Cc: Dmitry Stogov <dmitry@zend.com>, Patrick Schaaf <php@bof.de>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a1134259aa07036050ecb4f7b
Subject: Re: [PHP-DEV] Design by Contract
From: pthreads@pthreads.org (Joe Watkins)

--001a1134259aa07036050ecb4f7b
Content-Type: text/plain; charset=UTF-8

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 ...

Grrr ...

Cheers
Joe

On Wed, Feb 11, 2015 at 7:50 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

> Hi Dmitry,
>
> On Wed, Feb 11, 2015 at 4:26 PM, Dmitry Stogov <dmitry@zend.com> wrote:
>
>> I think we should just repeat the related D semantic.
>> It must be defined in contracts inheritance rules.
>>
>> What if we have contracts for prototype method in parent class and
>> interface?
>> Should we still validate contracts of parent and interface if we add our
>> owns?
>> etc.
>
>
> Both D and Eiffel evaluates all contracts defined in parents/interfaces.
>
> Both D and Eiffel has method like invariant definition. They don't inherit
> explicitly, but inherit implicitly always. That's why I sent strange mail.
> I read code
> and misunderstood by mistake. I don't code with D much, but I really like
> the
> feature ;)
>
> Regards,
>
> --
> Yasuo Ohgaki
> yohgaki@ohgaki.net
>
>

--001a1134259aa07036050ecb4f7b--