rfc:intersection_types
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| rfc:intersection_types [2016/04/27 17:56] – Use consistent function name levim | rfc:intersection_types [2016/04/28 14:21] – Add 3v4l.org links levim | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| * Date: 2016-04-27 | * Date: 2016-04-27 | ||
| * Author: Levi Morrison < | * Author: Levi Morrison < | ||
| - | * Status: | + | * Status: |
| * First Published at: http:// | * First Published at: http:// | ||
| Line 12: | Line 12: | ||
| Intersection types allow the programmer to write multiple type declarations for a parameter or return value. The value must satisfy all of the declared types. Each type is separated by ampersand (''&'' | Intersection types allow the programmer to write multiple type declarations for a parameter or return value. The value must satisfy all of the declared types. Each type is separated by ampersand (''&'' | ||
| - | Here is a practical example: | + | Here is a practical example. Given this definition: |
| <PHP> | <PHP> | ||
| Line 27: | Line 27: | ||
| } | } | ||
| } | } | ||
| + | </ | ||
| - | // Fatal error: Uncaught TypeError: Argument 1 passed to RecordsToList() must be Countable and Traversable, | + | This will error ([[https://3v4l.org/ |
| + | < | ||
| + | // Argument 1 passed to RecordsToList() must be Countable and Traversable, | ||
| echo RecordsToList([" | echo RecordsToList([" | ||
| + | </ | ||
| - | // Fine: | + | This works correctly ([[https:// |
| + | <PHP> | ||
| echo RecordsToList(new ArrayObject([" | echo RecordsToList(new ArrayObject([" | ||
| // Output: | // Output: | ||
| Line 40: | Line 45: | ||
| // < | // < | ||
| // </ol> | // </ol> | ||
| - | |||
| </ | </ | ||
| Line 62: | Line 66: | ||
| <PHP> | <PHP> | ||
| - | function | + | function |
| // ... | // ... | ||
| } | } | ||
| Line 86: | Line 90: | ||
| ===== References ===== | ===== References ===== | ||
| - | Original announcement on Mailing List of rationale for this feature: http:// | + | * Original announcement on Mailing List of rationale for this feature: http:// |
| + | * Announcement for discussion phase: http:// | ||
rfc/intersection_types.txt · Last modified: 2017/09/22 13:28 by 127.0.0.1