Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:84581 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 15252 invoked from network); 11 Mar 2015 21:31:07 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 11 Mar 2015 21:31:07 -0000 Authentication-Results: pb1.pair.com smtp.mail=zeev@zend.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=zeev@zend.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.212.174 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 209.85.212.174 mail-wi0-f174.google.com Received: from [209.85.212.174] ([209.85.212.174:46858] helo=mail-wi0-f174.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 32/F2-32765-A14B0055 for ; Wed, 11 Mar 2015 16:31:07 -0500 Received: by wiwh11 with SMTP id h11so15286707wiw.5 for ; Wed, 11 Mar 2015 14:31:03 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:references:in-reply-to:mime-version :thread-index:date:message-id:subject:to:cc:content-type; bh=C3xZxrLofbS3GLXdPtf9HjoRvcSPGbdSdOQRFjTM38Q=; b=bu3OMM3HptoQUxRvTgyJmPYeFLr1/oup7XcyIcCuqW/cg77wBmjAzuK93SP3IanZwN 3EwrktDu9Zq2SrRrgJbuLyKT/dBKVGH7zJbyA98zYVHtkCG+YHFYUt+INtbQ4fUj6iGB Iq2ChPg9EyIYvEO/5r0JSXb9XJ4wRVvmq/AQqM81GIWlL+fKGhUkmXgN4RMTyR7yaYN8 Ew2BMUFuxrwROKjuHUdy6eRzTCzNBGeGgBY+nkTqjjfBaTzqkBzB/HACP76w1clC0rbb eiARo3350+o0Yp1dEma6svkoMJAV/SXR+DNRS6ngmwJuLb3l35H2E1XrisgvraXcKVcX +Oig== X-Gm-Message-State: ALoCoQm6SPFcz0R+PkIv+2sCwPw+8yo1F44PCiauPDJDoPCCSrvsIGJMKTOZq5HJaMISxgBXdg4TlNbL4JtJAP11ReuAgaYvidE3u+yDa5K+Im7Ri7Sf3ZZJjqfUWlFvcd/30shDPn8lzd2EglF8Hi3cCcut3PwKgw== X-Received: by 10.180.106.197 with SMTP id gw5mr33701594wib.58.1426109463552; Wed, 11 Mar 2015 14:31:03 -0700 (PDT) References: ,<76c47c6fbd961958c10bc1a069377a34@mail.gmail.com> 4a598d1953669a67130311496fa03387@mail.gmail.com In-Reply-To: 4a598d1953669a67130311496fa03387@mail.gmail.com MIME-Version: 1.0 X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQD1YWXqQx6MzBD1VX0WwX4EEwdHWAHgk7pSAlM710qerB6WUIAABQgw Date: Wed, 11 Mar 2015 23:31:03 +0200 Message-ID: <5405f48c16f1e6f4c3eb8129c43c1195@mail.gmail.com> To: Theodore Brown Cc: internals@lists.php.net Content-Type: text/plain; charset=UTF-8 Subject: RE: [VOTE][RFC] Coercive Scalar Type Hints From: zeev@zend.com (Zeev Suraski) > -----Original Message----- > From: Zeev Suraski [mailto:zeev@zend.com] > Sent: Wednesday, March 11, 2015 11:28 PM > To: 'Theodore Brown' > Cc: 'internals@lists.php.net' > Subject: RE: [VOTE][RFC] Coercive Scalar Type Hints > > Yes, with strict STH you'd know that more things fail during static analysis > time, because, well, it fails a lot more cases. What's the remedy? Typically it > would be forcing the type using an explicit cast, which is worse across the > board than a dynamic cast. ^^^ that should read "than a coercive type hint", sorry. Zeev