Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119482
Message-ID: <a562b1a9-caaf-72fd-1fff-ff741dbbfcf1@demon-angel.eu>
Date: Tue, 7 Feb 2023 21:20:58 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Thunderbird/102.6.1
Content-Language: nl
To: internals@lists.php.net
References: <18627e9c82d.1185ba82a2669697.6762525826203739336@wendelladriel.com>
 <CABAhh3EV4TAHjqx=g75qy0BrCsRj+XEu-yoZuzBAcqh-8+h7hg@mail.gmail.com>
 <8c3fb742-4367-0e4a-b96e-142657ac902c@gmail.com>
 <CAJpLVh3eG4d4rarpBhy5JMJeD_9ZDZiFLT7dQMRruLsCMTGsTQ@mail.gmail.com>
 <5edaa45e-08ff-9529-3a1b-42f655a68497@gmail.com>
 <CAJpLVh3-PNkJg0gJJGR9VG9S-XN-G0g_Q6VunhtbdDi-jzZoZA@mail.gmail.com>
In-Reply-To: <CAJpLVh3-PNkJg0gJJGR9VG9S-XN-G0g_Q6VunhtbdDi-jzZoZA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] RFC Proposal - Types for Inline Variables
From: mark@demon-angel.eu (Mark Baker)

On 07/02/2023 20:53, Olle Härstedt wrote:
> 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.

The big difference is that the current checking for function arguments 
is only necessary when a function is called; but that checking for 
local-scoped variables would be required on every assignment to a 
variable, or operation that can change a variable value; and that 
becomes more problematic with the potential need for union types.


$mystring = 'I love elephants';
$findme   = 'php';
int $pos = strpos($mystring, $findme); // $pos can be an integer or false


or when a type can legitimately change


int $result = PHP_MAX_INT;

++$i; // $i is now a float



-- 
Mark Baker