Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82475
Return-Path: <ua.san.alex@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 22292 invoked from network); 11 Feb 2015 13:27:42 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 11 Feb 2015 13:27:42 -0000
Authentication-Results: pb1.pair.com smtp.mail=ua.san.alex@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=ua.san.alex@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.213.175 as permitted sender)
X-PHP-List-Original-Sender: ua.san.alex@gmail.com
X-Host-Fingerprint: 209.85.213.175 mail-ig0-f175.google.com  
Received: from [209.85.213.175] ([209.85.213.175:37383] helo=mail-ig0-f175.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 34/D5-22055-AC85BD45 for <internals@lists.php.net>; Wed, 11 Feb 2015 08:27:41 -0500
Received: by mail-ig0-f175.google.com with SMTP id hn18so30531746igb.2
        for <internals@lists.php.net>; Wed, 11 Feb 2015 05:27:36 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=A96GEAu9/UfwWrb0toyhyusFDVP+W4am92CIdJHPXYU=;
        b=fVt7DzLdGS/JPmaU1T6WsrmfqPPYoqMIRJ4Y5iVF/fzZrUbhIlhy7ofTy4mOYfOcct
         0Dc3pm7iWR6LNKoR8BswjlnXkHLpdLZc4L9GPvRHGTpJYrQYl8yzyl3KnT4zjDmVhPLT
         WvGg/AudL4HjKiSHcimGQkPjZbYT3zyJCXrsZKaGeJgJo5Y6wtNZDhdpoWqnaa6zIEWV
         3N75Iicwb35T3PLfAILZLPBEU2d+qCkC9+Xg0ePcjEDpNUW2uAHQ+N09fy3vICd1jcXM
         wWAjnAXg5HLkQIiKGfoUHrMYRDbjPMuk2cBdUSKEL1lkV6zjAtRLfAjxJwh5JzX+GrZr
         ORmg==
MIME-Version: 1.0
X-Received: by 10.43.111.66 with SMTP id en2mr2996654icc.6.1423661256443; Wed,
 11 Feb 2015 05:27:36 -0800 (PST)
Received: by 10.50.93.3 with HTTP; Wed, 11 Feb 2015 05:27:36 -0800 (PST)
In-Reply-To: <CA+9eiLsK1JJbyGu5Fxf+MNz63wb8K0661rkMm-h+vTVUZo+0SQ@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@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>
	<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>
Date: Wed, 11 Feb 2015 15:27:36 +0200
Message-ID: <CALW=WEAL8LP0F8019j2p+P-=V-WghtO4hX0uu2j0rw5wW4oNaw@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Stanislav Malyshev <smalyshev@gmail.com>, Joe Watkins <pthreads@pthreads.org>, 
	Yasuo Ohgaki <yohgaki@ohgaki.net>, =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>, 
	PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Design by Contract
From: ua.san.alex@gmail.com ("S.A.N")

2015-02-11 13:25 GMT+02:00 Dmitry Stogov <dmitry@zend.com>:
>
> yes. some special attributes. requires/ensures/invariant
>
>
>> Oh, and <<>> syntax is *ugly* ;)
>>
>
> It's from HHVM. I don't like it as well, please, propose the better one.
>

I like syntax, like a switch:

function add(int $a, int $b) : int
    case $a > 0:
    case $b > 0:
    return($ret, $ret > 0, "something wrong")
{
    return $a + $b;
}