Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:69723
Return-Path: <tjerk.meesters@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 39383 invoked from network); 21 Oct 2013 08:57:25 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 21 Oct 2013 08:57:25 -0000
Authentication-Results: pb1.pair.com header.from=tjerk.meesters@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=tjerk.meesters@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.128.182 as permitted sender)
X-PHP-List-Original-Sender: tjerk.meesters@gmail.com
X-Host-Fingerprint: 209.85.128.182 mail-ve0-f182.google.com  
Received: from [209.85.128.182] ([209.85.128.182:40188] helo=mail-ve0-f182.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 43/1E-44908-47CE4625 for <internals@lists.php.net>; Mon, 21 Oct 2013 04:57:24 -0400
Received: by mail-ve0-f182.google.com with SMTP id oy12so3943993veb.27
        for <internals@lists.php.net>; Mon, 21 Oct 2013 01:57:21 -0700 (PDT)
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=kNUkQxQDK5k1iImFhHN0v/Y/VYC5Fmi9jfizxF3RbwI=;
        b=YeLtzJnqeU9kUiqWHc9C/9mUg786uS23hF9FtYLJsa2nSqOr26etEyja1mqVh3KNqS
         BbAlCuk39lQgtlYooUlvOwx2+dzvvy7WhDe3w7uxm0LFK1YkLGHMAKEDmeJQF/9Ws/4P
         FNdEQhShb2+J37vhbtfJtFZxiP4Fo3CKldxXL8P3gABRL78jdLi+kigyAi8V+rHJiJ9y
         N4yyWf/9u9Uvnl3kaVw6PSur475y4gQP9CqTaA+rjwXlNUHZkCM8EZwZGgiFty0+umfk
         k5N0ZPD1w9zgW7DD97ApGGEoDJH6yZKCNdjtrotHAxrpj+wjBY8ZIkORJ9vFTREfpmye
         3nzQ==
MIME-Version: 1.0
X-Received: by 10.220.174.200 with SMTP id u8mr10549779vcz.6.1382345841751;
 Mon, 21 Oct 2013 01:57:21 -0700 (PDT)
Received: by 10.58.128.33 with HTTP; Mon, 21 Oct 2013 01:57:21 -0700 (PDT)
In-Reply-To: <CALJZF3inVJMTMdaZCPd4mRdo9z3R6u58z5GL=bRaj6X79oxDxg@mail.gmail.com>
References: <3D.BC.23638.84CA1625@pb1.pair.com>
	<000301cecd1b$9aa133f0$cfe39bd0$@tutteli.ch>
	<CAH-PCH4y5qiXyLLw8ezv1RDzq-NomghAG0ZbPm0Kve=OZspTCg@mail.gmail.com>
	<526488C1.8020400@php.net>
	<CAJ26g5T7-zbvs1JVspFkCqT+v8mn34m6XY=GhrQKgxNypEAp=A@mail.gmail.com>
	<CALJZF3inVJMTMdaZCPd4mRdo9z3R6u58z5GL=bRaj6X79oxDxg@mail.gmail.com>
Date: Mon, 21 Oct 2013 16:57:21 +0800
Message-ID: <CAHMUw2FGR0SFL71N+Lq9fOkLtp8GC2btc1iGgSMLu0mxqurYXw@mail.gmail.com>
To: Michael Wallner <mike@php.net>
Cc: Patrick Schaaf <bof@bof.de>, Joe Watkins <krakjoe@php.net>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e0149ca3adaeb8a04e93c7804
Subject: Re: [PHP-DEV] RFC: Expectations
From: tjerk.meesters@gmail.com (Tjerk Meesters)

--089e0149ca3adaeb8a04e93c7804
Content-Type: text/plain; charset=ISO-8859-1

On Mon, Oct 21, 2013 at 4:16 PM, Michael Wallner <mike@php.net> wrote:

> On 21 October 2013 10:13, Patrick Schaaf <bof@bof.de> wrote:
> > Am 21.10.2013 03:52 schrieb "Joe Watkins" <krakjoe@php.net>:
> >>
> >> So looks like we need a new name ?? Ideas ??
> >
> > abstract EXPRESSION
>
> wat?
>
>
> > abstract is already a keyword, so no BC.
> >
> > abstract is not concrete so alludes a bit to the
> > might-be-or-might-not-be-checked nature of the test
> >
> > abstract is the name for the "short summary" intro part of scientific
> > papers, and these conditions are kind of a summary of what is known
> > (preconditions) and concluded (postconditions).
>
> Ah, ok well. I'd rather go for expected() or except() then...
>

Since we're throwing around terms, here's another one:

predicate <expr>;

It should be understood by most programmers what it means (though,
admittedly, it doesn't carry an obvious severity) and isn't used anywhere
in the language (afaik).


>
>
> --
> Regards,
> Mike
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>


-- 
--
Tjerk

--089e0149ca3adaeb8a04e93c7804--