Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:101593 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 87245 invoked from network); 10 Jan 2018 19:23:41 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 10 Jan 2018 19:23:41 -0000 Authentication-Results: pb1.pair.com smtp.mail=andreas@dqxtech.net; spf=permerror; sender-id=unknown Authentication-Results: pb1.pair.com header.from=andreas@dqxtech.net; sender-id=unknown Received-SPF: error (pb1.pair.com: domain dqxtech.net from 209.85.215.53 cause and error) X-PHP-List-Original-Sender: andreas@dqxtech.net X-Host-Fingerprint: 209.85.215.53 mail-lf0-f53.google.com Received: from [209.85.215.53] ([209.85.215.53:44648] helo=mail-lf0-f53.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 19/78-39025-C38665A5 for ; Wed, 10 Jan 2018 14:23:41 -0500 Received: by mail-lf0-f53.google.com with SMTP id w23so73534lfd.11 for ; Wed, 10 Jan 2018 11:23:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dqxtech-net.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=WQFO8a3VvEy7kBrWrgKiWEQVEG1WZhekwpi2FnvBxAQ=; b=ArJnbP4t0hnbtFviPSaDqWBDvGEyKPA9gbMfTf1bGvDpwThO1kKqYAizt0fXQ0Fcg+ h1Y0X5F2QdrSuIMlMLnKiH5NPL9t7gNp0y8hrxu9QG50ogXoyq7hL6h4cMZ21ow22Lu/ l1yr4eTL7j8blmjc/d8HC13X9jnSIdQu+bJiVb9nfmRenota7Fmb9imWooGZa4uSXevt pI08eYJiMvpsFkLCETFJeo7DHbX75XVm34YrT5+Nc2Mtzw/M5ArLV9YTLDl+iFY/UW1B 928PqIDHyK1xTcAigvAGzM6NI7wnNI6bb5v2BW6Jz7xW61ecov0o9vLoAWuj//QayuIV 6oXQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=WQFO8a3VvEy7kBrWrgKiWEQVEG1WZhekwpi2FnvBxAQ=; b=NL7PueVgt3NF5NJ9qnNuq6kx7NhcmplaiZg1ERIys/KfFvmjk5GkrLffeWgOMAxtty O6gZtuzafXCYhFkgC43BpOZPTD4zSY7Dd66clNu4lonLz4Do/Bg01XJrg3TZuMps8pJf 6kqDyAe0jobZXptnK3q/YXuThD7DBk1Mh5UB0mnBe0/MG56KtYORj+O0P2TMGfitJfX3 G4KsHVSVWk7geld9QPe09Jw8XDwhge7osO0P7FYCX5kNjFWKCvsSXh+2IC54NxhDQTiH MHKadrC26U8hzVq0U0Njr3SzF7fTwf8gMwyJA4+WmF3InhKxBf/2z8t7gxcTfs4MqQak D4Tg== X-Gm-Message-State: AKwxytfhnp3s7v4H/O9y9B7MGYviLQt8iaRtzhuVcThIAeGj3Jvr58Do 8Zv7OqRBZ4vFDashiOA596U7yptF X-Google-Smtp-Source: ACJfBos6F7Jt3PyVDxdVt2bdwPWmq1UsZn8S76EnamarutcpI390KWGjG/WQEXtjHWT3UDKfSpA2lg== X-Received: by 10.25.42.197 with SMTP id q66mr2930988lfq.25.1515612216978; Wed, 10 Jan 2018 11:23:36 -0800 (PST) Received: from mail-lf0-f50.google.com (mail-lf0-f50.google.com. [209.85.215.50]) by smtp.googlemail.com with ESMTPSA id b67sm202599lfh.55.2018.01.10.11.23.35 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 10 Jan 2018 11:23:36 -0800 (PST) Received: by mail-lf0-f50.google.com with SMTP id h140so103228lfg.1 for ; Wed, 10 Jan 2018 11:23:35 -0800 (PST) X-Received: by 10.25.219.12 with SMTP id s12mr10334098lfg.125.1515612215183; Wed, 10 Jan 2018 11:23:35 -0800 (PST) MIME-Version: 1.0 Received: by 10.25.221.20 with HTTP; Wed, 10 Jan 2018 11:23:14 -0800 (PST) In-Reply-To: References: <9a3a8760-f65a-a5c0-b318-1830a9a986c3@gmail.com> <9352F6DF-9940-49A2-9B1D-FA9258E9738E@lerdorf.com> Date: Wed, 10 Jan 2018 20:23:14 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Rasmus Lerdorf Cc: Michael Morris , PHP internals Content-Type: text/plain; charset="UTF-8" Subject: Re: [PHP-DEV] [RFC][DISCUSSION] Strong Typing Syntax From: andreas@dqxtech.net (Andreas Hennings) On 10 January 2018 at 19:59, Rasmus Lerdorf wrote: > > Now if the RFC was a plan for baking a compile-time static analysis engine > into PHP itself, that would be interesting. But that is a *massive* project. Even with my limited understanding of the engine, I can imagine this to be a lot of work. But it sounds much better to me than adding more expensive runtime type checks. I think it would be worth exploring as a long-term direction.