-
-
Notifications
You must be signed in to change notification settings - Fork 14.9k
Tracking issue for experiments around coercions, generics, and Copy type ergonomics #44619
Copy link
Copy link
Closed
Closed
Copy link
Labels
A-type-systemArea: Type systemArea: Type systemC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCT-langRelevant to the language teamRelevant to the language teamdisposition-postponeThis issue / PR is in PFCP or FCP with a disposition to postpone it.This issue / PR is in PFCP or FCP with a disposition to postpone it.finished-final-comment-periodThe final comment period is finished for this PR / Issue.The final comment period is finished for this PR / Issue.
Metadata
Metadata
Assignees
Labels
A-type-systemArea: Type systemArea: Type systemC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCT-langRelevant to the language teamRelevant to the language teamdisposition-postponeThis issue / PR is in PFCP or FCP with a disposition to postpone it.This issue / PR is in PFCP or FCP with a disposition to postpone it.finished-final-comment-periodThe final comment period is finished for this PR / Issue.The final comment period is finished for this PR / Issue.
Type
Fields
Give feedbackNo fields configured for issues without a type.
This issue tracks experimental work, overseen by the lang team, on several interrelated topics:
Copytypes and references (i.e. "imagine never having to write&0orlet z = &u * &(&(&u.square() + &(&A * &u)) + &one);again)Copytypes.Clone.None of these bullet items should be taken as signifying a decision, but rather a desire to experiment in a particularly tricky design space.
Ongoing experiments
CopyTypesRelevant previous discussions
This tracking issue is a good place to continue discussion, at least initially; we may ultimately want to break out threads on internals to help hash out preliminary design thoughts.
After an experimental period, the expectation is that whatever designs are deemed sufficiently plausible are turned into fresh RFCs, and then go through the standard process.