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

RFC: Or patterns, i.e Foo(Bar(x) | Baz(x)) #2535

Merged
merged 26 commits into from
Oct 7, 2018
Merged

RFC: Or patterns, i.e Foo(Bar(x) | Baz(x)) #2535

Changes from 1 commit
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
1cd9017
rfc, nested-disjunction-patterns: some initial notes"
Centril Apr 9, 2018
7f9ae99
rfc, or-patterns: initial version.
Centril Aug 29, 2018
99db31d
rfc, or-patterns: move file.
Centril Aug 29, 2018
27c8467
rfc, or-patterns: fix typo.
Centril Aug 29, 2018
fb37a51
rfc, or-patterns: simplify to &(p | q | ..).
Centril Aug 29, 2018
1d959b9
rfc, or-patterns: fix typo.
Centril Aug 29, 2018
6db6ac9
rfc, or-patterns: expand initialism DNF.
Centril Aug 29, 2018
61d4948
rfc, or-patterns: fix an oopsie.
Centril Aug 29, 2018
2f75fbc
rfc, or-patterns: fix inconsistency.
Centril Aug 30, 2018
a1a17bd
rfc, or-patterns: flatten list of languages.
Centril Aug 30, 2018
0501bd4
rfc, or-patterns: be more to the point.
Centril Aug 30, 2018
e410faf
rfc, or-patterns: clarify where i @ p | j @ q is allowed today.
Centril Aug 30, 2018
2c974ae
rfc, or-patterns: code using git2-rs, not from it.
Centril Aug 30, 2018
d477b2c
rfc, or-patterns: permalinks.
Centril Aug 30, 2018
55754ae
rfc, or-patterns: give example blowup.
Centril Aug 30, 2018
a00d802
rfc, or-patterns: more rationale for precedence.
Centril Aug 30, 2018
bf7a7bd
rfc, or-patterns: binding mode is important.
Centril Aug 30, 2018
a206586
rfc, or-patterns: discuss special casing E0408.
Centril Aug 30, 2018
839008b
rfc, or-patterns: fix typo.
Centril Aug 30, 2018
5a820cc
rfc, or-patterns: clarify that top_pat is permitted in fn arguments.
Centril Sep 20, 2018
3b016a3
rfc, or-patterns: discuss macros and closures.
Centril Sep 20, 2018
879fd99
rfc, or-patterns: discuss closures more + func args => pat<no_top_alt>.
Centril Sep 20, 2018
151c8a6
rfc, or-patterns: typo & grammar nit?.
Centril Sep 20, 2018
1ad3e9d
rfc, or-patterns: clarify unification semantics for p | q.
Centril Sep 25, 2018
0032122
rfc, or-patterns: note about macros in guide.
Centril Oct 7, 2018
c73692f
RFC 2535
Centril Oct 7, 2018
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
Prev Previous commit
Next Next commit
rfc, or-patterns: flatten list of languages.
  • Loading branch information
@Centril
Centril committed Aug 30, 2018
commit a1a17bd96904007fe350fef595b245580ec3fa2c
15 changes: 3 additions & 12 deletions text/0000-or-patterns.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,18 +63,9 @@ Or would you instead ask:

When researching for this RFC; many people were asked and all of them preferred
the first alternative. This user testing was done on both programmers and
non-programmers alike and included speakers of:
+ Indo-European:
+ English
+ German (2)
+ Swedish (3)
+ French (2)
+ Portuguese (1)
+ Spanish (2)
+ Farsi (3)
+ Finnish (1)
+ Esperanto (1)
+ Japanese (1)
non-programmers alike and included speakers of: English, German (2) Swedish (3),
French (2), Portuguese (1), Spanish (2), Farsi (3), Finnish (1), Esperanto (1),
and Japanese (1).

Thus, we conjecture that it's more common for humans to not distribute and to
instead use something akin to *conjunctive normal form* ([CNF]) when communicating.
Expand Down