Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:119481 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 74329 invoked from network); 7 Feb 2023 19:54:02 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 7 Feb 2023 19:54:02 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 2EE6D180560 for ; Tue, 7 Feb 2023 11:54:02 -0800 (PST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: AS15169 209.85.128.0/17 X-Spam-Virus: No X-Envelope-From: Received: from mail-lf1-f48.google.com (mail-lf1-f48.google.com [209.85.167.48]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Tue, 7 Feb 2023 11:54:01 -0800 (PST) Received: by mail-lf1-f48.google.com with SMTP id w11so23838578lfu.11 for ; Tue, 07 Feb 2023 11:54:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:cc:to:subject:message-id:date:from :references:in-reply-to:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=do2bBhwnWJIBIXVNl162ZCH3tSiTqqBfCd5w3czPaCg=; b=JQG5vUvZpRsGnUUBUpX/rfwL/rAG17FfQ4Uxp08cqCt298etv9hH4bomhdXfw7uEff K0RultiBGAiKK877u7YSc1Y75h8mPuNKLyWCCjLKN6igHcsBwGRxtMvJIWc0rN7++h7Y oJB4ouwME6Jx/PTSKrE2y+5xofICty+Wd/zjqZVwB48X/LdXfkADdjushDBX0MWylsJF n/18+C3Iu4mRiwGqgCjU0fCz9C0rUtNCf0mMTRYUETE9RBAOOaLz+TTdo5XVd7YgR7k1 DbBZIrBtgRT04BcgMxDbseAstTZZMs73RHt3cIUp5oUqjobQasrWsiTDTMnGvFmtV6GN AjjA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:cc:to:subject:message-id:date:from :references:in-reply-to:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=do2bBhwnWJIBIXVNl162ZCH3tSiTqqBfCd5w3czPaCg=; b=uJuBr7n/Vhd96pA/VKLG7KAECq7ec13CjkHetTF3vtO+sn48MhhyJzoOO5Sp07nC5l 2NS5Yv6X93CAgBjNfOtg2UcO6CfZ3E8KEaknicQQCt97oFCDWgRaIQK5aIHsSX+XggUn Oud6N5Uokvfx3qiWJt/89hFwNjX4XeZ3Srx/iftKrceoFGep6BeSGbzj2W9kEUta65+4 gxI0IfBt3GVV0okoO8CBhj/llkHox1NKWr0GQFxPtDW/QgbUe57Ejb6jR8/QoewoTfIa 1lFzsQ8RCCmUvWuLNZ/u/pOfh3pRniiHBiHOT5iZxRsh2n3njD5eCvYSjL8VnsZylMoH OdKQ== X-Gm-Message-State: AO0yUKX6si7CkB8+uzlgU8WE5B9fjHkMWYfbYKdhrxPmrzAbdk4Yufh/ 3A/dSgMoUD2aHXM3R2BhsMc0kYEm0fiRRbi58o8= X-Google-Smtp-Source: AK7set/y7MZ5tB/BincbtQC3PdLUIMgstHUY+sSWvAXV29N4mRBbaj8rWSMJx++9eBCIHsCqEza98CxiqN/mIaej/E4= X-Received: by 2002:ac2:5550:0:b0:4b6:e197:3aeb with SMTP id l16-20020ac25550000000b004b6e1973aebmr744938lfk.233.1675799639993; Tue, 07 Feb 2023 11:53:59 -0800 (PST) MIME-Version: 1.0 Received: by 2002:a2e:ab0c:0:0:0:0:0 with HTTP; Tue, 7 Feb 2023 11:53:59 -0800 (PST) In-Reply-To: <5edaa45e-08ff-9529-3a1b-42f655a68497@gmail.com> References: <18627e9c82d.1185ba82a2669697.6762525826203739336@wendelladriel.com> <8c3fb742-4367-0e4a-b96e-142657ac902c@gmail.com> <5edaa45e-08ff-9529-3a1b-42f655a68497@gmail.com> Date: Tue, 7 Feb 2023 20:53:59 +0100 Message-ID: To: Rowan Tommins Cc: PHP Internals Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [PHP-DEV] RFC Proposal - Types for Inline Variables From: olleharstedt@gmail.com (=?UTF-8?Q?Olle_H=C3=A4rstedt?=) 2023-02-07 17:21 GMT+01:00, Rowan Tommins : > On 07/02/2023 14:07, Olle H=C3=A4rstedt wrote: >> It should perhaps be mentioned that analyzers can use type annotations >> during their process, instead of the more clunky /** @var string */ or >> similar you have to use today for local variables. > > This sounds like you're reaching for Python's approach, where the > language "supports" the type annotation syntax, but doesn't actually do > anything with it. No not really. I'd expect it behave similar to function argument type-hinting in PHP, that is, runtime checks, but where the notation can be used by external tools. Olle