Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82421 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 24746 invoked from network); 11 Feb 2015 06:56:56 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 11 Feb 2015 06:56:56 -0000 Authentication-Results: pb1.pair.com smtp.mail=smalyshev@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=smalyshev@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.170 as permitted sender) X-PHP-List-Original-Sender: smalyshev@gmail.com X-Host-Fingerprint: 209.85.192.170 mail-pd0-f170.google.com Received: from [209.85.192.170] ([209.85.192.170:46148] helo=mail-pd0-f170.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id AB/64-33902-83DFAD45 for ; Wed, 11 Feb 2015 01:56:56 -0500 Received: by pdjy10 with SMTP id y10so2444559pdj.13 for ; Tue, 10 Feb 2015 22:56:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=vK4deO0EMlvOXB1ees93EXdktkewtJdXpztSMDMhDr0=; b=YJVjgwus+P6+Jr6TTJoTRx8yPKh5I0vsHPm/9UfyHNGez3B1XX73QS33JZU7aO/Lak WqCDMb9FyFiMyaYEQI3G7+A8gF88Ql9L8CkJ5mXMLJuIQjpe8E8nHWgxogRm+C14Fj53 bxPHbDOAnJESLaQazT07SRtmXViRS2sehwCYq/wdGNQnE8NOkfZhGd0IJDdbTlBV/orQ 8hAdILGuDGnNrOV95wEK3OomVEv52UUCPOYbDekqKMuyrVUDQgMJlEbFsKDQsF8MUAMX AmNgnPYWODiqhLYI2eAmieRnvX6ImuCqk6zrCP7qcSh49I1TmYwbFNL+/q4/K6M6Gf2X 7j5Q== X-Received: by 10.70.109.136 with SMTP id hs8mr44036172pdb.139.1423637813746; Tue, 10 Feb 2015 22:56:53 -0800 (PST) Received: from Stas-Air.local (108-66-6-48.lightspeed.sntcca.sbcglobal.net. [108.66.6.48]) by mx.google.com with ESMTPSA id fu14sm21417846pad.44.2015.02.10.22.56.52 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 10 Feb 2015 22:56:52 -0800 (PST) Message-ID: <54DAFD32.3000005@gmail.com> Date: Tue, 10 Feb 2015 22:56:50 -0800 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 MIME-Version: 1.0 To: Joe Watkins , Yasuo Ohgaki CC: Dmitry Stogov , =?UTF-8?B?RnJhbsOnb2lzIExhdXByZXRyZQ==?= , PHP Internals References: <54D7ED22.3080001@gmail.com> In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] Design by Contract From: smalyshev@gmail.com (Stanislav Malyshev) Hi! > Please steer clear of using the assert API, and in so doing avoid BC > concerns with the current assert API. The operator can be called something other than "assert", I'm sure the thesaurus has a lot of possibilities. > Please avoid adding a magic method and use the suggested syntax for > invariant. > > class Some { > require(invariant-expr); I think reusing syntax for existing operator in completely unrelated context is a big mistake. Having code outside of functions is probably not the best idea too. -- Stas Malyshev smalyshev@gmail.com