Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:121574 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 38844 invoked from network); 3 Nov 2023 22:55:33 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 3 Nov 2023 22:55:33 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 184BA180211 for ; Fri, 3 Nov 2023 15:55:32 -0700 (PDT) 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-wm1-f54.google.com (mail-wm1-f54.google.com [209.85.128.54]) (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 ; Fri, 3 Nov 2023 15:55:31 -0700 (PDT) Received: by mail-wm1-f54.google.com with SMTP id 5b1f17b1804b1-4084095722aso18880435e9.1 for ; Fri, 03 Nov 2023 15:55:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1699052130; x=1699656930; darn=lists.php.net; h=content-transfer-encoding:mime-version:message-id:references :in-reply-to:user-agent:subject:to:from:date:from:to:cc:subject:date :message-id:reply-to; bh=AXmb7D+PsUtHWR6yno646zcXgrkLKVCI+T5HVL/oFcg=; b=R3zEyq/Y1Vcx6htICi77RwudPkr8RMNRRSJsXGI4/vNGBGouWucWu5eEj609gfAYU+ 49Esm6Shicrbx3HyuHMjsXGf/4wNML8D0cbOvqmRQvR8tkKEfsYEw8/nhcQ5BVQ1Ovas WJFYWh6N0y5uRyMgHNSgDjV5VS8uigi72+n97QLnwY/qdemo5XxJ1RJwiBe+GhjdCh+u 2Rna8lfgC86006pFn0M817cpSuVVX989Avjwulgkv10VQ02lODKCAtxC9Cxy2vmgnN/4 n2GEXpM4HPGD2quLvs5BOXGRUfLL4C3hjQ7XjcWlBp7sVO/G/fPLI9i2MckwHon1m9Q3 AG8Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699052130; x=1699656930; h=content-transfer-encoding:mime-version:message-id:references :in-reply-to:user-agent:subject:to:from:date:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=AXmb7D+PsUtHWR6yno646zcXgrkLKVCI+T5HVL/oFcg=; b=aQ6At4iy/HkSHthbJl+y7Zsm1aUGSOfO0ZLC7eGeoLVhxw98FxwjcEDUnkfnhEMl7O /WhC3DMtaO826Jrrx0Vx49+htE51r8oyxrLJg1VvdYvrbpJ5gZ9LFHuGH95eabbdW3Ry Q5Ge5EUYEh9o81WtzN4C1GYMr++0A2EbvWVs/OOnhTaHSil7kjavFtgrN9cz2KPVG1j+ GL+ne8+QuGEd9Ro4iXeou3EZY07jYMft+f7gyof0ne0cwN5SRKhZk3AZiLYGtAXGPksJ tk9EJrF2Cw0wNlxioK5p2ycG5jHvN1UoxAjSLIUGpdXbT7RDO2cUhXfwlC22w3xfZ2NO PYJg== X-Gm-Message-State: AOJu0YyQ03DuRSowVeTs2fMcuK0nsFUXaJZkbVieUsyw8TMUmXEe7bX/ KhzazodDwLX16rbJwwy2ppZj1mhfM8k= X-Google-Smtp-Source: AGHT+IFGxt41o0I/WbQtNSgyMLANzoBTN5BgMONku3oTxjz7/LjizDXrJLPCSJQ58RPg1jx6A1Nxzg== X-Received: by 2002:a05:600c:4b99:b0:408:4266:12db with SMTP id e25-20020a05600c4b9900b00408426612dbmr19490480wmp.13.1699052129817; Fri, 03 Nov 2023 15:55:29 -0700 (PDT) Received: from [127.0.0.1] (cpc83311-brig21-2-0-cust191.3-3.cable.virginm.net. [86.20.40.192]) by smtp.gmail.com with ESMTPSA id h21-20020a05600c499500b0040586360a36sm3744336wmp.17.2023.11.03.15.55.28 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 03 Nov 2023 15:55:29 -0700 (PDT) Date: Fri, 03 Nov 2023 22:55:25 +0000 To: internals@lists.php.net User-Agent: K-9 Mail for Android In-Reply-To: <101c92c3-3b05-4288-a8ff-19198bac1505@daniil.it> References: <5ea314c4-f45d-4b7c-a94d-a82931eeb80b@daniil.it> <1503e012-c445-4f37-810f-a59bc38ba8f3@daniil.it> <0F102694-E59C-4A16-AEA7-F2A58E89CF6B@gmail.com> <101c92c3-3b05-4288-a8ff-19198bac1505@daniil.it> Message-ID: <2F764AB4-DB9B-4302-AD58-BAD0EC81058E@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [PHP-DEV] Previous discussions about generics syntax only? From: rowan.collins@gmail.com (Rowan Tommins) On 3 November 2023 19:46:25 GMT, daniil@daniil=2Eit wrote: >Nothing will change in that sense, the only difference is the addition of= compile-time autoloading and type checking=2E > >No preloading (in the sense of no opcache configuration needed), nothing = special=2E OK; just to explain the confusion, that's not what you were saying earlier= : > I was actually thinking of enabling these compile-time checks only if pr= eloading is enabled Cross-file analysis on demand would also be quite a big change though - ch= anging one file would need to invalidate the entire cache, or recursively f= ollow tracked dependencies, maybe re-running the autoloader for all those p= ossible references=2E The ability for live changes to one file to cause com= pilation errors in another might also be confusing=2E That's why it's tied up in my mind with a native "module" concept - you co= uld have some kind of isolation around a module that allowed preloading or = cache invalidation at that level, rather than the extremes of one file or a= n entire application=2E >Not with function JIT, function JIT is the closest thing we currently hav= e to an AOT compiler in php Even function JIT will select which functions to compile based on what's e= xecuted frequently=2E It can also have certain types of function or operati= on it can't compile, or would produce worse performance for, so leaves them= to the op code interpreter=2E I suppose you could "warm" the JIT in advance as part of preloading, but t= hat seems to be mostly orthogonal to what we're talking about here in terms= of static analysis=2E Regards, --=20 Rowan Tommins [IMSoP]