Skip to content

Union Types #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
nikic wants to merge 24 commits into from
Closed

Union Types #1

Changes from 1 commit
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
bf47cb7
Union types proposal
nikic Sep 2, 2019
16a72d9
Fix typos
nikic Sep 4, 2019
8839f65
Fix another typo
nikic Sep 4, 2019
cf76009
false is a subtype of bool
nikic Sep 4, 2019
cf59fa5
Mention alternatives for handling of type coercions
nikic Sep 4, 2019
256535b
Note methods that are inherited from ReflectionTypes
nikic Sep 4, 2019
5bdd11d
Add reflection examples
nikic Sep 4, 2019
1d13bf1
Clarify that "use" is part of duplicate detection
nikic Sep 5, 2019
452daa5
Clarify that future scope is future scope...
nikic Sep 5, 2019
12eb8e4
Update RFC header
nikic Sep 5, 2019
f8bee21
Fix typos in reflection examples
nikic Sep 5, 2019
698cbd3
Also mention object|T as a redundant type pair
nikic Sep 6, 2019
0a2782b
Use T1|T2|null instead of ?(T1|T2)
nikic Sep 6, 2019
931afdd
Add type conversion table
nikic Sep 6, 2019
60fc4d0
Fix typo in variance description
nikic Sep 6, 2019
3622f8c
s/int/float in coercive typing alternative example
nikic Sep 6, 2019
edcc2df
Also mention iterable + array/Traversable as redundant types
nikic Sep 6, 2019
7829b45
Remove obsolete note about parentheses
nikic Sep 18, 2019
76736e5
Swap sections on nullable types and false types
nikic Sep 18, 2019
36dcf38
Clarify that "false|null" and friends are also not allowed
nikic Sep 18, 2019
fc3b6a5
Clarify that no implicit coercions to "false" occur
nikic Sep 18, 2019
6b29bdf
Slightly expand literal types section
nikic Sep 18, 2019
19a12d0
Update reflection output for recent master change
nikic Oct 25, 2019
edf6ac2
Add link to final RFC document
nikic Nov 8, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove obsolete note about parentheses
  • Loading branch information
@nikic
nikic committed Sep 18, 2019
commit 7829b45b5dacf961ae3bfd659da873272801aa1a
2 changes: 0 additions & 2 deletions rfcs/0000-union-types-v2.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -157,8 +157,6 @@ simple_type: "false" # only legal in unions
;
```

At this point in time, parentheses in types are only allowed in the one case where they are necessary, which is the `?(T1|T2|...)` syntax. With further extensions to the type system (such as intersection types) it may make sense to allow parentheses in more arbitrary positions.

## Variance

Union types follow the existing variance rules:
Expand Down