Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82454
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.42 as permitted sender)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
In-Reply-To: <CAGa2bXYe-f5i6exvt+hZBqGd604QAzem09tnGAoz1hk7EpdHLg@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> <CAGa2bXYe-f5i6exvt+hZBqGd604QAzem09tnGAoz1hk7EpdHLg@mail.gmail.com>
Date: Wed, 11 Feb 2015 17:18:47 +0900
Message-ID: <CAGa2bXYTeA1zMfe2b4E91vHTZEGQDe14aO-PjPSko_K3=Kx3ew@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=001a1132f74487815d050ecba984
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a1132f74487815d050ecba984
Content-Type: text/plain; charset=UTF-8

Hi Joe,

On Wed, Feb 11, 2015 at 5:02 PM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

> 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
>

http://dlang.org/deprecate.html#invariant as an alias for immutable

I  think D folks would like to be more strict. Object is great, but state
management can be complex.
I like immutable also since it prevents modification by mistake. I'm not
sure if we should go for it
without having invariant. Even if we have invariant, we may have immutable
object/scalar in the future.
Both are good.

Isn't invariant good enough? I don't think Eiffel will drop invariant
support in favor of immutables.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a1132f74487815d050ecba984--