Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122934
Content-Type: multipart/alternative;
 boundary="------------j0qF9KUWiRmaIjbfaSCLLUfR"
Message-ID: <8f71d807-78e6-49f6-acc7-b1fc09d815ba@uzy.me>
Date: Thu, 4 Apr 2024 16:36:39 +0200
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: [PHP-DEV] RFC idea: using the void type to control maximum arity
 of user-defined functions
To: internals@lists.php.net
References: <6299b649-c19b-4172-9632-2ef0a55d256d@uzy.me>
 <CA+pig-JBkZip5bEM0gSwcwNRO9NDKuRO2vu=iHnx2diBTv9Bng@mail.gmail.com>
 <7B32AF65-CA40-40F5-BA59-CB5180EC4D7F@gmail.com>
Content-Language: fr
In-Reply-To: <7B32AF65-CA40-40F5-BA59-CB5180EC4D7F@gmail.com>
From: r@uzy.me (Pablo Rauzy)

This is a multi-part message in MIME format.
--------------j0qF9KUWiRmaIjbfaSCLLUfR
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

Le 04/04/2024 à 16:29, Claude Pache a écrit :
> Le 4 avr. 2024 à 15:03, Mark Trapp <mark@itafroma.com> a écrit :
>> On Thu, Apr 4, 2024 at 5:43 AM Pablo Rauzy<r@uzy.me>  wrote:
>>
>> I like this concept, but instead of introducing a new syntax, have you
>> considered leveraging attributes in the same way that PHP 8.3
>> introduced #[Override]?
>>
>> #[Nonvariadic]
>> function foo () {}
>> foo(42); // warning: foo() expects exactly 0 arguments, 1 given
>>
>> I think the intent would be clearer and it would avoid introducing a new syntax.
>>
> Indeed, except that I think it should be better to have *by default* the same behaviour between built-in functions and user-defined functions:
>
> ```php
> function foo() { }
>
> foo(42);
> // in PHP 8.x: Deprecated: foo() expects expects exactly 0 arguments, 1 given
> // in PHP 9: Fatal error: foo() expects expects exactly 0 arguments, 1 given
> ```
>
> and, in case you want a variadic function:
>
> ```php
> #[Variadic]
> function foo() { }
> ```
>
> Alternatively, we don’t really need to introduce a new attribute, because one can just write:
>
> ```php
> function foo(...$args) { }
> ```
>
>
> —Claude

Hello Claude,

I strongly agree in theory, but this could break existing code, and 
moreover such a proposal was already rejected:
https://wiki.php.net/rfc/strict_argcount

Regards,

-- 
Pablo

--------------j0qF9KUWiRmaIjbfaSCLLUfR
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">Le 04/04/2024 à 16:29, Claude Pache a
      écrit :<br>
    </div>
    <blockquote type="cite"
      cite="mid:7B32AF65-CA40-40F5-BA59-CB5180EC4D7F@gmail.com"><span
      style="white-space: pre-wrap">Le 4 avr. 2024 à 15:03, Mark Trapp <a class="moz-txt-link-rfc2396E" href="mailto:mark@itafroma.com">&lt;mark@itafroma.com&gt;</a> a écrit :</span>
      <blockquote type="cite">
        <pre class="moz-quote-pre" wrap="">
On Thu, Apr 4, 2024 at 5:43 AM Pablo Rauzy <a class="moz-txt-link-rfc2396E" href="mailto:r@uzy.me">&lt;r@uzy.me&gt;</a> wrote:

I like this concept, but instead of introducing a new syntax, have you
considered leveraging attributes in the same way that PHP 8.3
introduced #[Override]?

#[Nonvariadic]
function foo () {}
foo(42); // warning: foo() expects exactly 0 arguments, 1 given

I think the intent would be clearer and it would avoid introducing a new syntax.

</pre>
      </blockquote>
      <pre class="moz-quote-pre" wrap="">
Indeed, except that I think it should be better to have *by default* the same behaviour between built-in functions and user-defined functions:

```php
function foo() { }

foo(42);
// in PHP 8.x: Deprecated: foo() expects expects exactly 0 arguments, 1 given
// in PHP 9: Fatal error: foo() expects expects exactly 0 arguments, 1 given
```

and, in case you want a variadic function:

```php
#[Variadic]
function foo() { }
```

Alternatively, we don’t really need to introduce a new attribute, because one can just write:

```php
function foo(...$args) { }
```


—Claude</pre>
    </blockquote>
    <p>Hello Claude,</p>
    <p>I strongly agree in theory, but this could break existing code,
      and moreover such a proposal was already rejected:<br>
      <a class="moz-txt-link-freetext" href="https://wiki.php.net/rfc/strict_argcount">https://wiki.php.net/rfc/strict_argcount</a><br>
    </p>
    <p>Regards,<br>
    </p>
    <pre class="moz-signature" cols="72">-- 
Pablo</pre>
  </body>
</html>

--------------j0qF9KUWiRmaIjbfaSCLLUfR--