note 129977 added to language.types.declarations
| From: | harl@gmail.com | Date: | Mon, 13 Jan 2025 07:58:47 +0000 |
| Subject: | note 129977 added to language.types.declarations | ||
| Groups: | php.notes | ||
| Request: | Send a blank email to php-notes+get-221792@lists.php.net to get a copy of this message | ||
For DNF type declarations (which lack an example), they're a mix of intersection and union
types that look like this:
<?php
function send(c1|(c2&c3) $f) {}
?>
It's a union type where some of its options are intersection types, which are wrapped in
parentheses ($f is something that is either a c1, or something that is both a c2 and a c3).
----
Server IP: 45.112.84.4
Probable Submitter: 80.90.5.137 (proxied: 222.153.153.210)
----
Manual Page -- https://php.net/manual/en/language.types.declarations.php
Edit -- https://main.php.net/note/edit/129977
Del: integrated -- https://main.php.net/note/delete/129977/integrated
Del: useless -- https://main.php.net/note/delete/129977/useless
Del: bad code -- https://main.php.net/note/delete/129977/bad+code
Del: spam -- https://main.php.net/note/delete/129977/spam
Del: non-english -- https://main.php.net/note/delete/129977/non-english
Del: in docs -- https://main.php.net/note/delete/129977/in+docs
Del: other reasons-- https://main.php.net/note/delete/129977
Reject -- https://main.php.net/note/reject/129977
Search -- https://main.php.net/manage/user-notes.php