Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:102178
Return-Path: <danack@basereality.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 55584 invoked from network); 5 Jun 2018 19:33:51 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 5 Jun 2018 19:33:51 -0000
Authentication-Results: pb1.pair.com header.from=danack@basereality.com; sender-id=unknown
Authentication-Results: pb1.pair.com smtp.mail=danack@basereality.com; spf=permerror; sender-id=unknown
Received-SPF: error (pb1.pair.com: domain basereality.com from 209.85.160.44 cause and error)
X-PHP-List-Original-Sender: danack@basereality.com
X-Host-Fingerprint: 209.85.160.44 mail-pl0-f44.google.com  
Received: from [209.85.160.44] ([209.85.160.44:43661] helo=mail-pl0-f44.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 11/F2-62758-E95E61B5 for <internals@lists.php.net>; Tue, 05 Jun 2018 15:33:50 -0400
Received: by mail-pl0-f44.google.com with SMTP id c41-v6so2139735plj.10
        for <internals@lists.php.net>; Tue, 05 Jun 2018 12:33:50 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=basereality-com.20150623.gappssmtp.com; s=20150623;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc;
        bh=rHXJvAr7mygb2AEPOHlPiiVvKTFyu3n6mc1+9vagph0=;
        b=0fX620Sz8g7hWWix2ospMG0UMGB85mNFjxz3NX3PnqF4HLZhihQnS+ZmjFEN8q56G+
         6l97C9rlmJIO2NqMDVtTHrGQfrAOiKPuKDxgIfxrpu367LCmaFFvjUSmjNV5ow40KeeX
         mL4siyvBScnt7gdBkTByGYDT9q9jNRtwpe6Pnf7P8a7DGfKCSy4ii31s36F8aB22iaXM
         /SMzmhjnbqwxMreEnq0Mu9JOPogmECwDkJ91Dr9d7k3mBCeXEVDHloq4Js92WaJX5aTV
         QpCgTf19o/IUggWqmNzB5tjaQC7vcF6Of/Lqwn2EhirAOn2mcAs4vUDpOast9sTwuUTN
         iJLQ==
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=rHXJvAr7mygb2AEPOHlPiiVvKTFyu3n6mc1+9vagph0=;
        b=aTWHfreN7w36wd2buaaiQGrb1Wr3JVVkPoXB2G0DR3GcelkDtXpj0PxVLM+JYX6y9C
         d87o0diq90vrVahHLFSr51gelcV3BGsAH8Wu6yDH+Z+OSU7A1uehx73z8xV/t6mFcxDA
         8S77aMx0r2da7i9XKCQt5Vjs3XEvE0DSBOqMRN03FrddBlZsGlq5l62hUwR57G2zXoSM
         bL2ZtQeyaCw26D0sDvevPioJnT8FX7DnHrigLfqFMqcySxgiABO5AMWJVMTVdP8C3+3Q
         jbxDFeK4he3q1mIVfEE8pbewTO8SEICaioqa24ceH1FA6qrFsdvT2y7KaezwisgVBUtR
         Z2nA==
X-Gm-Message-State: ALKqPwejzhcSeJ18d+MAq/d7VVdNiCS/qOuGIJMOXiIKuxGWZDVVJlsy
	rjk8fhNvBM1BBcTnC/U9kStJHjlbS+04eMaj9QruT+bV0E8=
X-Google-Smtp-Source: ADUXVKJQFLIeqvRhhT5oXt1D85ybR/k+C+BZFYohWmR97U84DwVIVMPP0QS93MSCa75XNr9ssPjTHFlz8LHxo1g2qS8=
X-Received: by 2002:a17:902:b410:: with SMTP id x16-v6mr27946924plr.324.1528227227600;
 Tue, 05 Jun 2018 12:33:47 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a17:90a:ac0a:0:0:0:0 with HTTP; Tue, 5 Jun 2018 12:33:47
 -0700 (PDT)
X-Originating-IP: [86.7.192.139]
In-Reply-To: <0d108361-f5fa-fe76-b6ad-66e23bfa88f5@loot.at>
References: <0d108361-f5fa-fe76-b6ad-66e23bfa88f5@loot.at>
Date: Tue, 5 Jun 2018 20:33:47 +0100
Message-ID: <CA+kxMuTwE32H1E7ZsVTGR6pP-3fr9EK9TRbO1pTfWxi=4S-4WA@mail.gmail.com>
To: Rudolph Gottesheim <r.gottesheim@loot.at>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] Better types without runtime checking
From: danack@basereality.com (Dan Ackroyd)

> Has there ever been a discussion about adding some of those features
> syntactically, but ignoring them during runtime? At least until someone
> finds a performant way to check them at runtime. That way we could have
> advanced type checking in our editors at least.

You can have that today: https://preprocess.io/

The main thing that would missing would be a mapping of source file +
line to the running code, which would make debugging harder.

cheers
Dan