Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:83232 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 7168 invoked from network); 19 Feb 2015 18:16:17 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 19 Feb 2015 18:16:17 -0000 Authentication-Results: pb1.pair.com smtp.mail=pierre.php@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=pierre.php@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.44 as permitted sender) X-PHP-List-Original-Sender: pierre.php@gmail.com X-Host-Fingerprint: 209.85.192.44 mail-qg0-f44.google.com Received: from [209.85.192.44] ([209.85.192.44:51085] helo=mail-qg0-f44.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 7B/27-18870-07826E45 for ; Thu, 19 Feb 2015 13:16:16 -0500 Received: by mail-qg0-f44.google.com with SMTP id j5so8266090qga.3 for ; Thu, 19 Feb 2015 10:16:13 -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=jasxejxN0a4KauT74Kp9UuICyaB4bGtkwyiNf7x2UJ4=; b=AYe6ifaWAuM/66a40Mf1kxVIszKurJ1C6qVij79GuaaXK1AqZg/I8Yf0+vaO1r5B+k n928Gl7IspbEbmEUYAK+aGcxcj6PoaVa2x1cGKFXveGjmDViDd+iWz4HHjAUcZoI0E8A 1xThDWymyuEsm69U0+pMcV8Q8NHt+LfDlyuiz8qr1Ksux7DBnYcvdD9HVPVncB2uUIqq KKXpjex2IrbBQ4NyoBIW5Dv6KJNu0GgVDZUai0wY8MzYfxX3Tt4nU4WiAhnYU6LYTO+p 6YIr79gFA6MKPnqsPCZfcSbXjveiG8Qu4OF2Ftd8K6elU3mNN43NuWC8WxDSQ80g198N OwSQ== MIME-Version: 1.0 X-Received: by 10.140.238.13 with SMTP id j13mr14676052qhc.75.1424369773724; Thu, 19 Feb 2015 10:16:13 -0800 (PST) Received: by 10.96.39.195 with HTTP; Thu, 19 Feb 2015 10:16:13 -0800 (PST) In-Reply-To: <54E6254C.1080008@lsces.co.uk> References: <54E5F401.2050108@gmail.com> <54E6110C.7080600@gmail.com> <54E6254C.1080008@lsces.co.uk> Date: Thu, 19 Feb 2015 10:16:13 -0800 Message-ID: To: Lester Caine Cc: "internals@lists.php.net" Content-Type: text/plain; charset=UTF-8 Subject: Re: [PHP-DEV] Using Other Channels (was Scalar Type Declarations v0.5) From: pierre.php@gmail.com (Pierre Joye) On Thu, Feb 19, 2015 at 10:02 AM, Lester Caine wrote: > While typing this I did think to just scrap what I was writing, but I > think it is relevant if only if someone can explain why I am wrong? > > On 19/02/15 17:06, Anthony Ferrara wrote: >>>> With strictly typed $a and $b, the expression drops to 1 possible >>>> >> permutation. And you can detect if it's a valid one. And many static >>>> >> analysis engines do this. > >>> > I didn't see any proposal that proposes strictly types variables. As for >>> > parameters, both strict and coercive typing provide knowledge about the >>> > types of parameter inside the function they are defined in, so no >>> > advantage to strict typing here. > >> It's not about how data gets in, it's about how data moves once it's >> in. It's about knowing how types change and flow into other functions >> that's important. Because that lets you determine more data about the >> stable (non-error) state of the application. > > With much of this it is what validation needs doing where. Data coming > into the process can either be well constrained, or totally random. > Pulling stuff back from a database, This is not the point of this discussion. What you referto has to be done for anything PHP uses, every library, every extension or services (http or other). Cheers, -- Pierre @pierrejoye | http://www.libgd.org