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

Proposal: Variadics #2240

Open
wants to merge 54 commits into
base: trunk
Choose a base branch
from
Open

Proposal: Variadics #2240

Changes from 23 commits
Commits
Show all changes
54 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
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view