Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82431
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain pthreads.org from 209.85.192.176 cause and error)
MIME-Version: 1.0
In-Reply-To: <CAGa2bXbQq_2EonMzfnjjYwNaexe_Y12_T81efFGjFp36iYjDMg@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>
	<CAGa2bXbQq_2EonMzfnjjYwNaexe_Y12_T81efFGjFp36iYjDMg@mail.gmail.com>
Date: Wed, 11 Feb 2015 07:18:25 +0000
Message-ID: <CAL=_i_m0_RP+W+SjXSoHf9ztgqWvM4rehkWjXO5mzEsuR+q22Q@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=047d7b6da9f0338c87050ecacff5
Subject: Re: [PHP-DEV] Design by Contract
From: pthreads@pthreads.org (Joe Watkins)

--047d7b6da9f0338c87050ecacff5
Content-Type: text/plain; charset=UTF-8

> If there is no technical difficulties, I would like to have it.

Okay then, I'll rethink ...

Cheers
Joe

On Wed, Feb 11, 2015 at 7:12 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

> Hi Dmitry and Joe,
>
> On Wed, Feb 11, 2015 at 4:02 PM, Dmitry Stogov <dmitry@zend.com> wrote:
>
>> I think we can't support contracts on interfaces and abstract methods.
>> How D works?
>
>
> D supports contract in structure and interface. Structure is more like
> classes in D, though.
>
> interface I
> {
>     int foo(int i)
>     in { assert(i > 7); }
>     out (result) { assert(result & 1); }
>
>     void bar();
> }
>
> http://dlang.org/interface.html
>
>
> Eiffel support contracts for interfaces.
>
>   class interface DICTIONARY [ELEMENT] feature
>
>    put (x: ELEMENT; key: STRING) is
>             -- Insert x so that it will be retrievable
>                            -- through key.
>                   require
>                           count <= capacity
>                           not key.empty
>                    ensure
>                           has (x)
>                           item (key) = x
>                           count = old count + 1
>
>                 ... Interface specifications of other features ...
>
>   invariant
>
> 0 <= count
> count <= capacity
>
>   end -- class interface DICTIONARY
>
>
> https://archive.eiffel.com/doc/manuals/technology/contract/
>
> If there is no technical difficulties, I would like to have it.
>
> Regards,
>
> --
> Yasuo Ohgaki
> yohgaki@ohgaki.net
>

--047d7b6da9f0338c87050ecacff5--