Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:93381 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 24251 invoked from network); 17 May 2016 16:40:50 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 17 May 2016 16:40:50 -0000 Authentication-Results: pb1.pair.com header.from=rowan.collins@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=rowan.collins@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.51 as permitted sender) X-PHP-List-Original-Sender: rowan.collins@gmail.com X-Host-Fingerprint: 74.125.82.51 mail-wm0-f51.google.com Received: from [74.125.82.51] ([74.125.82.51:34893] helo=mail-wm0-f51.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id B2/42-11000-1994B375 for ; Tue, 17 May 2016 12:40:50 -0400 Received: by mail-wm0-f51.google.com with SMTP id e201so147547262wme.0 for ; Tue, 17 May 2016 09:40:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:references:from:to:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=03B2KpRkbC6LsLyfMG6XsNAZVK5LFV2eR1prlrWMby8=; b=WAwDOUpsfgvb2UX9dzo+fYnX3fg4BESpOdzbbfudB8wVhYG7Vug0bD+r0Q59qpTi/r h7b0XvoLykfZ80VDMheJ8TrHX0vKvH3c5szlvq3zVFJkAcgspzxpcI/zAUDrnT+6sNsA 23HH6r9qMLDrbFRJxQoeqbWhvtc64LExKNJpSViwNUlvuQYkgkGEu6IVDJmmMPHhOrEo P8nvw4P744mUtO+3cvN+QN/B3WPmhP1b17S3ikxbDsuz77QcJvYUx6riQCpzm9pgjNO6 eaexCAfhlDudcL1MCOLlYbDcK7FdmiNQ3mxpJbPT47YSseYEFEqKnuQbYq8eoKqj6Cwu exlw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:references:from:to:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=03B2KpRkbC6LsLyfMG6XsNAZVK5LFV2eR1prlrWMby8=; b=RDXt6Qvm3gnxtY6TozLqmzqEefGws8nATJB/Wi5P4FEMyLkr3SOjuo27kROdpzYVgz 0HafIU8v15nXNRlDdDTa+oE0Ox6mxBZQ1O6i0C3O/YOpSRzc8aJ7JE5Ty9V6PhBAXGzW 6vLCscvWkURkilL2FQUqfW6pquKYCaQurRUebifpuwa1N2Cn3P3a+noALubJa4Bo8bxR lhZwc9GfWR5V5tv7Lreq88m6FumdzMRHu4k5rcTIFLD8lTPZPV/y33AYNYGGdmKGXYU8 p4lLg22yBu+2R3JovjdnZvjlI2wWY/YmGwd0T4kav/U+FENKZW05+NHZVs/yHQahTl8B VdBw== X-Gm-Message-State: AOPr4FUfuXa05ByDJUEyk44OjcC4HH9mG0gPPYfSxjQL6/O+qHK9zwdQd4CiiEsvfKt2PQ== X-Received: by 10.28.113.218 with SMTP id d87mr2749510wmi.52.1463503246403; Tue, 17 May 2016 09:40:46 -0700 (PDT) Received: from [192.168.0.98] ([93.188.182.58]) by smtp.gmail.com with ESMTPSA id e16sm25021733wmc.3.2016.05.17.09.40.45 for (version=TLSv1/SSLv3 cipher=OTHER); Tue, 17 May 2016 09:40:45 -0700 (PDT) References: <61e6a083-91c2-799f-9757-02f56fe184e9@gmail.com> To: PHP internals Message-ID: <01dee6f2-475e-100a-6ad4-5ad9690d756e@gmail.com> Date: Tue, 17 May 2016 17:38:49 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.1.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] [RFC] Simple Annotations From: rowan.collins@gmail.com (Rowan Collins) On 17/05/2016 17:21, guilhermeblanco@gmail.com wrote: > It all sounds reasonable on #2 what everyone is heavily > forcing/suggesting because of DbC, but it *only* makes sense in the > context of a function call (or a bound object in case of OO members). In > any other case its outcome is unpredictable. Yeah, you're right, access to an actual parameter value or runtime instance requires logic somewhere else to provide the context, and to run the check on every execution of a function requires some magic to inject it into the call stack, or the function body, so my example doesn't really make any sense. Regards, -- Rowan Collins [IMSoP]