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

Proposal: Variadics #2240

Merged
merged 77 commits into from
Dec 11, 2024
Merged

Proposal: Variadics #2240

Show file tree
Hide file tree
Changes from 69 commits
Commits
Show all changes
77 commits
Select commit Hold shift + click to select a range
c696fd5
In-progress draft variadics proposal
geoffromer Jun 30, 2022
732db47
Major overhaul/cleanup (still WIP)
geoffromer Jul 13, 2022
829dbd3
Formatting
geoffromer Sep 9, 2022
49cba67
Add overview and some notes to reader
geoffromer Sep 30, 2022
a772441
Update with proposal number
geoffromer Sep 30, 2022
12152d9
Clarfifications based on early feedback
geoffromer Oct 5, 2022
db5cf06
Respond to reviewer comments
geoffromer Jan 23, 2023
d32f4d2
Add example that uses the result of deduction.
geoffromer Mar 13, 2023
b398e20
Redesign typechecking tuple patterns
geoffromer Apr 7, 2023
7d3b693
Make `Min` a checked genericxsx
geoffromer Apr 7, 2023
128bdc5
Apply suggestions from code review
geoffromer Apr 13, 2023
ac6dd83
Respond to reviewer comments
geoffromer Apr 13, 2023
b975085
Clean up duplicate text.
geoffromer Apr 13, 2023
da04766
Restructure to focus on symbolic values
geoffromer Apr 17, 2023
b7f5e28
Restructure/simplify pattern matching semantics
geoffromer Apr 18, 2023
08c8317
Miscellaneous cleanup.
geoffromer Apr 18, 2023
9e8ca4d
Update `Type` to `type`
geoffromer Apr 18, 2023
7bc0533
Add discussion of named packs
geoffromer Apr 20, 2023
f78cf5b
Clarify boundary between syntactic and reified
geoffromer Apr 24, 2023
2cb427c
Introduce "kernel"
geoffromer Apr 24, 2023
8d972ac
Clear up "parameter"/"argument" terminology
geoffromer Apr 24, 2023
3155e3c
Respond to reviewer comments
geoffromer Apr 25, 2023
3ecbf7d
Resolve FIXMEs
geoffromer Apr 25, 2023
2106223
Apply suggestions from code review
geoffromer Apr 26, 2023
ad7a665
Respond to reviewer comments.
geoffromer Apr 28, 2023
ae87a45
Apply suggestions from code review
geoffromer May 1, 2023
15ce15c
Add alternatives considered
geoffromer May 5, 2023
0ae69fd
Add abstract and rationale
geoffromer May 5, 2023
bbb1aee
Split out design details
geoffromer May 5, 2023
ac50c98
Rephrase variadic design to fit new context
geoffromer May 6, 2023
87018e5
Add alternate keyword-based syntax
geoffromer May 23, 2023
0591139
Apply suggestions from code review
geoffromer Jun 2, 2023
3b5a57b
Respond to reviewer comments
geoffromer Jun 5, 2023
8a0cc79
Use "singular" in place of "scalar"
geoffromer Aug 2, 2023
6808a3c
Switch to iterative model
geoffromer Aug 9, 2023
4c546fd
Minimal pivot to "Model 2"
geoffromer Aug 10, 2023
622252b
Allow `each` in deduced params
geoffromer Aug 10, 2023
821223c
Don't require parens around `each`
geoffromer Aug 10, 2023
d39bf0b
Rename `[:]` to `expand`
geoffromer Aug 10, 2023
c22b61a
Update p2240.md
geoffromer Aug 16, 2023
31290a0
Apply suggestions from code review
geoffromer Aug 17, 2023
e2e09de
Respond to reviewer comments
geoffromer Aug 17, 2023
b00074f
Add conceptual overview to variadics.md
geoffromer Aug 18, 2023
0b3ffd7
Respond to reviewer commments
geoffromer Sep 12, 2023
4615603
Apply suggestions from code review
geoffromer Sep 13, 2023
d5f18af
Add citation
geoffromer Sep 13, 2023
349cb71
Respond to reviewer comments
geoffromer Sep 13, 2023
a7966e2
Respond to reviewer feedback
geoffromer Sep 30, 2023
a358482
Add comparison table, and update background
geoffromer Oct 2, 2023
c1645e2
Apply suggestions from code review
geoffromer Oct 10, 2023
14b97b3
Respond to reviewer comments
geoffromer Oct 9, 2023
b16a5d9
New approach to type deduction
geoffromer Oct 18, 2023
f4525b1
Add missing alternative-considered.
geoffromer Oct 20, 2023
4d17a2a
Allow deducing arity from scrutinee in more cases.
geoffromer Oct 27, 2023
00f318a
WIP checkpoint before trying new notation
geoffromer Feb 20, 2024
0711131
Merge branch 'trunk' into variadics
geoffromer May 14, 2024
61a0cc1
Checkpoint
geoffromer May 14, 2024
cdc9fff
Add appendix
geoffromer Jun 5, 2024
955cb1d
Rewrite main exposition based on appendix.
geoffromer Jun 10, 2024
2ca3c36
Clarify and correct discussion of pattern matching
geoffromer Jun 13, 2024
20ee2e8
Respond to reviewer comments
geoffromer Jun 14, 2024
6b799d2
Respond to reviewer comments
geoffromer Jun 18, 2024
c8111cb
Update p2240.md to match the current design
geoffromer Jun 20, 2024
5d9d2ad
Apply suggestions from code review
geoffromer Jun 24, 2024
21b6370
Correct suggestions
geoffromer Jun 24, 2024
6d5691e
Typo fixes
geoffromer Jun 24, 2024
05e8b92
Respond to reviewer comments
geoffromer Jun 24, 2024
acf1bfc
New discussion of library API principle
geoffromer Jul 17, 2024
9cf7e34
Apply suggestions from code review
geoffromer Sep 24, 2024
07a8474
Apply suggestions from code review
geoffromer Sep 25, 2024
3fe5c94
Respond to reviewer comments.
geoffromer Sep 25, 2024
6d75856
Apply suggestions from code review
geoffromer Oct 2, 2024
d00d51e
Apply suggestions from code review
geoffromer Oct 2, 2024
f2bce4d
Respond to reviewer comments
geoffromer Oct 2, 2024
6bb6b18
Switch to guillemets
geoffromer Oct 3, 2024
ee3792a
Apply notation changes to p2240.md
geoffromer Oct 8, 2024
9caff84
Respond to reviewer comments
geoffromer Oct 22, 2024
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
Loading