Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114083
To: internals@lists.php.net
References: <CAH5C8xUqzFJ4V0uo7_FviMq3Sy9Da3MWNMhh+neMO8ZjEnyQWg@mail.gmail.com>
 <CAF+90c8s0+GvL378hhxnah315ae69_56LO=pMXnQisA5-E-5Lw@mail.gmail.com>
 <918bd585-0a5a-063d-7d4e-c89eadef0dde@processus.org>
 <CAH5C8xVqvOJfN1xqjHJVrQaSPCeiJBUvf+_jvhXGC=4O5-kdRg@mail.gmail.com>
Message-ID: <fb643cad-1ba3-3a65-5107-0c392421d922@processus.org>
Date: Tue, 20 Apr 2021 14:28:47 +0200
MIME-Version: 1.0
In-Reply-To: <CAH5C8xVqvOJfN1xqjHJVrQaSPCeiJBUvf+_jvhXGC=4O5-kdRg@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Content-Language: en-US
Subject: Re: [PHP-DEV] [RFC] [Discussion] Adding return types to internal
 methods
From: pierre-php@processus.org (Pierre)

Le 20/04/2021 à 11:44, Máté Kocsis a écrit :
> Hi Pierre,
> PHP doesn't have such an advanced type inference capability: just consider
> dynamic calls, or regular function invocations
> where the return type information is not available.
Yes I know it doesn't have it, it was a subtle way of asking if one day, 
the compiler may have inferences capabilities. I know it's not really 
possible until it continues loading code dynamically at runtime, but in 
some scenarios (such as preload, or inherited/implemented class type 
checking) it may be possible, I'm only hard guessing here
> On the other hand, we could add return types implicitly, as it was proposed
> earlier, but I didn't really like this solution.

Return types being added automatically really looks like inference 
already, just a simple one, I guess. I'd love it. In all inheritance or 
interface implementation scenarios, it seem possible, since the compiler 
needs to load the implemented or inherited class code to be able to 
compile the current class.

Any good IDE that knows PHP does the job would it also and be able to 
detect errors with that.

> For a little more details, have a look at my initial message:
> https://externals.io/message/112625#112625 Besides, I think
> it's better to document the return types explicitly as a declaration, since
> they usually help during implementation.
>
> Máté

Thanks for your answer.

Regards,

--

Pierre