Re: Idea: Implicit inheriting function argument & return type-hint

Am 09.03.2024 um 08:18 schrieb Marc <marc@mabe.berlin>: > As the pseudo type mixed exists since PHP 8.0, which is already > out-of-date, I have the feeling it would be better to force people to explicitly write > mixed to widen the type of an overwritten function and let "no > type" inherit the argument and return type of the parent. > > Example: > > class A { > public function typed(int $var): int { return $var; } > public function untyped($var) { return $var; } // implicit mixed as no overwrite > } > class B extends A { > public function typed($var) { return $var; } // implicit int as inherited from overwritten > function > } This sounds like a bad idea to me as I cannot look at the function definition in class B and determine what the type of $var is. On top of that: If the type of $var in A is changed then it would automatically also change in B. While this seems convenient it could also break B in subtle ways as the function suddenly gets different types than expected. Regards, - Chris