Skip to content
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.

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

Unlock Existential Types for All Protocols #1176

Merged
Changes from 53 commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
a4a5adf
Added Draft.
filip-sakel Sep 4, 2020
a91f478
Review Updates
filip-sakel Sep 5, 2020
445c7f3
Review Updates.
filip-sakel Sep 5, 2020
40b05a8
Review Updates.
filip-sakel Sep 5, 2020
323a25a
Removed first example from Detailed Design.
filip-sakel Sep 6, 2020
a0057fe
Changes per review.
filip-sakel Sep 10, 2020
b80a579
Clarified current limitations in Motivation.
filip-sakel Sep 11, 2020
d27230f
Updated 'error message'.
filip-sakel Sep 11, 2020
1aa61d1
Updated formatting.
filip-sakel Sep 11, 2020
50a9916
Updated Formatting.
filip-sakel Sep 11, 2020
ecbbf4c
Replaced dots(...) with mock types.
filip-sakel Sep 11, 2020
97640d2
Fixed typo and clarified existential qualifiaction
filip-sakel Sep 12, 2020
8f198a8
Updated naming.
filip-sakel Sep 12, 2020
700ec25
Added note for Conflicting Types in Compositions.
filip-sakel Sep 25, 2020
3aa4b1f
Updated formatting.
filip-sakel Oct 18, 2020
86bb68c
Added Existentials in the Standard Library section
filip-sakel Oct 18, 2020
d4b9f44
Strengthened motivation by using Strideable.
filip-sakel Oct 18, 2020
65daf57
Rewrote proposal; this is a draft.
filip-sakel Nov 24, 2020
5218234
Added a link to SwiftUI.
filip-sakel Dec 3, 2020
2518bd3
Updated API Resilience.
filip-sakel Dec 3, 2020
1ca02f9
Added API/ABI Resilience Argument
filip-sakel Dec 3, 2020
29c19fd
Removed redundant words / Heterogenous Collections
filip-sakel Dec 3, 2020
e8cc29d
Removed unnecessary list of supported existentials
filip-sakel Dec 3, 2020
c919e8c
Removed unnecessary list of supported existentials
filip-sakel Dec 3, 2020
8e53926
Removed unnecessary connector in Motivation.
filip-sakel Dec 3, 2020
6eb13b0
Fixed type pointed out by Dave.
filip-sakel Dec 9, 2020
412dc49
Undo incorrect commit.
filip-sakel Dec 9, 2020
3b819cc
Removed unneeded Heterogenous Collections info.
filip-sakel Jan 3, 2021
be0d18d
Replaced "synthesized" with "generated".
filip-sakel Jan 3, 2021
e151181
Clarified existentials definition in Introduction.
filip-sakel Jan 3, 2021
bace022
Clarified Introduction section.
filip-sakel Jan 3, 2021
4b58873
A first round of amendments to the motivation
AnthonyLatsis Jan 23, 2021
0588dc1
Rephrase the introduction to clarify our intentions
AnthonyLatsis Jan 25, 2021
24a3ec2
Address review comments
AnthonyLatsis Feb 2, 2021
16e27a9
Rework the proposed solution and most of the motivation
AnthonyLatsis Feb 7, 2021
0e6f003
Reduce the Effects sections
AnthonyLatsis Feb 8, 2021
13bcd2c
Changes in wording and typo corrections.
filip-sakel Feb 9, 2021
93e80ca
Downside of -> Downside to
filip-sakel Feb 13, 2021
c6d414e
Update proposals/NNNN-unlock-existential-types-for-all-protocols.md
AnthonyLatsis Feb 14, 2021
7b3db88
Revert to "of existential type".
filip-sakel Feb 14, 2021
ffcbed6
Make Motivation more specific.
filip-sakel Feb 14, 2021
42e7918
Add the alternative of leaving the language as is.
filip-sakel Feb 24, 2021
3c93a1f
Update NNNN-unlock-existential-types-for-all-protocols.md
AnthonyLatsis Mar 19, 2021
1e584d4
Update NNNN-unlock-existential-types-for-all-protocols.md
AnthonyLatsis Mar 19, 2021
927fec1
Remove Heterogenous Collections section.
filip-sakel Mar 23, 2021
6056aba
Remove section for deemphasizing existentials.
filip-sakel Mar 23, 2021
be883bd
Decrease section about simplifying existentials.
filip-sakel Mar 24, 2021
016c458
Update NNNN-unlock-existential-types-for-all-protocols.md
AnthonyLatsis Mar 24, 2021
0ebd95c
Update NNNN-unlock-existential-types-for-all-protocols.md
AnthonyLatsis Mar 25, 2021
7ec8f02
Capitalize "c" in Non-conformable Existentials
filip-sakel Mar 25, 2021
d49cc87
Remove "Leave the Language in Its Existing State".
filip-sakel Mar 25, 2021
0534ab0
Revert title alteration.
filip-sakel Mar 25, 2021
df75054
Add direction for AnyHashable existential init.
filip-sakel Mar 25, 2021
61f6a8e
Update NNNN-unlock-existential-types-for-all-protocols.md
AnthonyLatsis Mar 30, 2021
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
Loading