Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122722
Content-Type: multipart/alternative;
 boundary="------------wbjwVKEFeyqiVExyemEFJWMm"
Message-ID: <becdbf66-be58-4b4e-a0be-52a9c78f7f26@seld.be>
Date: Fri, 22 Mar 2024 09:17:47 +0100
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: [PHP-DEV] Proposal: AS assertions
Content-Language: fr
To: internals@lists.php.net
References: <CAPzBOBMGe=kWWiJYGLG02qxh+2Pe5yTqodhGtAE3LjdAPmkQUw@mail.gmail.com>
 <efbffe5a-f57a-42e4-8e0c-b25ab2c441fc@rwec.co.uk>
 <CAPzBOBM4b5c=hWgcj6uBgK3Lb65X56T-bhGHVGhma_YnCCJuoQ@mail.gmail.com>
 <CAPzBOBM8dmP5e-N4WXgM+7xbBYx7b=1DyPyJuV5O6QHX2F2s0w@mail.gmail.com>
 <3F78A125-1946-42E2-A4F5-A2B282BE2107@rwec.co.uk>
 <CAPzBOBPDVE-xtQoFUOXchwNAo_iJTGs=RKcnoq1mOtKF70eeLA@mail.gmail.com>
 <2d7ec203-6e80-445c-94f4-d29ef58743b1@rwec.co.uk>
 <CAPzBOBOqNT17CRiDsw78GH647xM09z4Y4HpSvM55RXoS-BWfKA@mail.gmail.com>
In-Reply-To: <CAPzBOBOqNT17CRiDsw78GH647xM09z4Y4HpSvM55RXoS-BWfKA@mail.gmail.com>
From: j.boggiano@seld.be (Jordi Boggiano)

This is a multi-part message in MIME format.
--------------wbjwVKEFeyqiVExyemEFJWMm
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

On 2024-03-21 16:02, Robert Landers wrote:
> $a as int|float
>
> would be an int, float, or thrown exception.
>
> $a as int|float|null
>
> would be an int, float, or null.

Just a suggestion here which might be more palatable to Rowan's wish for 
consistency (which I can totally relate to):

We perhaps could make sure that as does not throw if used with `??`, or 
that `??` catches the type error and returns the right-hand expression 
instead:

So to do a nullable typecast you would do:

     $a as int|float ?? null

To me this reads way more intuitive what will happen, and achieves the 
same in an also very concise way.

The only catch I see is that it would also swallow errors about $a not 
being defined at all.

Best,
Jordi

-- 
Jordi Boggiano
@seldaek -https://seld.be

--------------wbjwVKEFeyqiVExyemEFJWMm
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">On 2024-03-21 16:02, Robert Landers
      wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAPzBOBOqNT17CRiDsw78GH647xM09z4Y4HpSvM55RXoS-BWfKA@mail.gmail.com"><span
      style="white-space: pre-wrap">
</span><span style="white-space: pre-wrap">
</span>
      <pre class="moz-quote-pre" wrap="">$a as int|float

would be an int, float, or thrown exception.

$a as int|float|null

would be an int, float, or null.
</pre>
    </blockquote>
    <p>Just a suggestion here which might be more palatable to Rowan's
      wish for consistency (which I can totally relate to):</p>
    <p>We perhaps could make sure that as does not throw if used with
      `??`, or that `??` catches the type error and returns the
      right-hand expression instead:</p>
    <p>So to do a nullable typecast you would do:</p>
    <p>    $a as int|float ?? null</p>
    <p>To me this reads way more intuitive what will happen, and
      achieves the same in an also very concise way.</p>
    <p>The only catch I see is that it would also swallow errors about
      $a not being defined at all.<br>
    </p>
    Best,<br>
    Jordi
    <pre class="moz-signature" cols="72">-- 
Jordi Boggiano
@seldaek - <a class="moz-txt-link-freetext" href="https://seld.be">https://seld.be</a></pre>
  </body>
</html>

--------------wbjwVKEFeyqiVExyemEFJWMm--