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.

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

Jump to bottom

Generics terminology #447

Merged
merged 21 commits into from
May 10, 2021
Merged

Generics terminology #447

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
ba0eb91
Creating new proposal: Generics terminology
josh11b Apr 10, 2021
1fe25bf
Filling out template with PR 447
josh11b Apr 10, 2021
dc35496
Fill in terminology.md, authored in PR #36.
josh11b Apr 12, 2021
b2c1cb3
Merge remote-tracking branch 'origin/generics-terminology' into gener…
josh11b Apr 12, 2021
e4cd1bb
Update link
josh11b Apr 12, 2021
e57527d
Delete stray temp file.
josh11b Apr 13, 2021
7b9bd08
Proposals now include a rationale.
josh11b Apr 13, 2021
d867188
Implement suggestion.
josh11b Apr 16, 2021
27d5198
Markdown instead of HTML strikethrough.
josh11b Apr 16, 2021
baa2ea4
Apply suggestions from code review
josh11b Apr 22, 2021
329e638
Merge remote-tracking branch 'upstream/trunk' into generics-terminology
josh11b Apr 24, 2021
177f8e8
Fix pre-commit.
josh11b Apr 24, 2021
26acffa
Wikipedia link to structural versus nominal.
josh11b Apr 26, 2021
c163b26
Switch from subsumption terminology to subtyping.
josh11b Apr 29, 2021
6e6211e
Implement suggestions. Remove `:` from vars & params.
josh11b Apr 30, 2021
4f56d67
Use suggestion.
josh11b Apr 30, 2021
36cce7b
Fix wrong definition of covariance/contravariance.
josh11b May 3, 2021
67868be
Merge remote-tracking branch 'upstream/trunk' into generics-terminology
josh11b May 4, 2021
91a4174
Update "Generics goals" to reference terminology doc.
josh11b May 4, 2021
51c5ca9
Merge remote-tracking branch 'upstream/trunk' into generics-terminology
josh11b May 10, 2021
a611bb2
Try to adjust text to address comments.
josh11b May 10, 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
18 changes: 18 additions & 0 deletions docs/design/generics/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
# Carbon: Generics

<!--
Part of the Carbon Language project, under the Apache License v2.0 with LLVM
Exceptions. See /LICENSE for license information.
SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
-->

This directory contains the collection of documents describing the generics
feature of Carbon:

- ~~Overview~~ - not implemented yet
- [Goals](goals.md) - The motivation and principles guiding the design
direction.
- [Terminology](terminology.md) - A glossary establishing common terminology
for describing the design.
- ~~Detailed design~~ - not implemented yet
- ~~Rejected alternatives~~ - not implemented yet
Loading