01:20:22  * caridyquit (Ping timeout: 255 seconds)
01:41:39  * jmdyckquit (Ping timeout: 268 seconds)
01:41:44  * jmdyck1joined
02:50:19  * caridyjoined
03:13:16  * caridyquit (Remote host closed the connection)
03:13:51  * caridyjoined
03:15:52  * caridy_joined
03:18:48  * caridyquit (Ping timeout: 240 seconds)
03:37:41  * jmdyck1quit (Quit: Leaving.)
03:58:52  * caridy_quit (Remote host closed the connection)
03:59:27  * caridyjoined
04:03:53  * caridyquit (Ping timeout: 260 seconds)
04:18:42  * AtumTquit (Remote host closed the connection)
05:10:01  * caridyjoined
05:16:52  * caridyquit (Ping timeout: 268 seconds)
07:13:33  * caridyjoined
07:18:07  * caridyquit (Ping timeout: 255 seconds)
09:15:55  * caridyjoined
09:20:35  * caridyquit (Ping timeout: 240 seconds)
10:25:10  * mylesborinsquit (Quit: farewell for now)
10:25:41  * mylesborinsjoined
10:34:56  * Havvyquit (Ping timeout: 260 seconds)
10:46:17  * Havvyjoined
10:47:18  * AtumTjoined
10:52:12  * Havvyquit (Ping timeout: 260 seconds)
11:35:00  * caridyjoined
11:38:00  * jmdyckjoined
11:39:28  * caridyquit (Ping timeout: 240 seconds)
12:24:30  * bradleymeckquit (Quit: bradleymeck)
12:33:23  * afrael_joined
12:34:35  * afraelquit (Ping timeout: 240 seconds)
13:06:09  * gibson042quit (Ping timeout: 248 seconds)
13:14:35  * not-an-aardvarkquit (Quit: Connection closed for inactivity)
13:19:40  * bradleymeckjoined
13:20:58  * gibson042joined
13:37:01  * caridyjoined
13:42:04  * caridyquit (Ping timeout: 260 seconds)
13:52:12  * caridyjoined
15:38:39  * bradleymeckquit (Quit: bradleymeck)
16:03:29  * bradleymeckjoined
16:20:02  * M-IvanSanchezquit (Read error: Connection reset by peer)
16:20:03  * Jasuruzakovgmailquit (Read error: Connection reset by peer)
16:22:23  * mylesborinsquit (Ping timeout: 259 seconds)
16:24:50  * Jasuruzakovgmailjoined
16:25:11  * rektidequit (Quit: leaving)
16:25:13  * mylesborinsjoined
16:25:26  * rektidejoined
16:26:36  * rektidequit (Client Quit)
16:26:53  * rektidejoined
16:51:27  * bradleymeckquit (Quit: bradleymeck)
16:54:21  * M-IvanSanchezjoined
17:53:15  * caridyquit (Remote host closed the connection)
17:53:53  * caridyjoined
17:58:17  * caridyquit (Ping timeout: 240 seconds)
18:19:39  * bradleymeckjoined
18:48:49  * afrael_quit (Remote host closed the connection)
18:49:26  * afraeljoined
18:50:50  * afraelquit (Read error: Connection reset by peer)
18:50:54  * afrael_joined
19:13:15  * ademajoined
19:29:33  * bradleymeckquit (Quit: bradleymeck)
19:37:15  * gskachkovjoined
19:37:18  * afrael_quit (Remote host closed the connection)
19:37:47  * afraeljoined
19:42:08  * afraelquit (Ping timeout: 240 seconds)
19:43:04  * afraeljoined
19:45:02  * afraelquit (Remote host closed the connection)
19:45:14  * afraeljoined
19:45:51  * afraelquit (Remote host closed the connection)
19:46:03  * afraeljoined
19:46:39  * afraelquit (Remote host closed the connection)
19:46:52  * afraeljoined
19:47:28  * afraelquit (Remote host closed the connection)
19:47:37  * afraeljoined
19:48:16  * afraelquit (Remote host closed the connection)
19:48:26  * afraeljoined
19:49:04  * afraelquit (Remote host closed the connection)
19:49:15  * afraeljoined
19:49:52  * afraelquit (Remote host closed the connection)
19:50:09  * afraeljoined
19:50:40  * afraelquit (Remote host closed the connection)
19:50:52  * afraeljoined
19:51:28  * afraelquit (Remote host closed the connection)
19:51:40  * afraeljoined
19:52:16  * afraelquit (Remote host closed the connection)
19:52:28  * afraeljoined
19:53:04  * afraelquit (Remote host closed the connection)
19:53:31  * afraeljoined
19:57:53  * afraelquit (Ping timeout: 248 seconds)
20:53:19  * Havvyjoined
20:55:24  * caridyjoined
20:59:48  * caridyquit (Ping timeout: 260 seconds)
21:05:34  * bradleymeckjoined
21:06:34  * bradleymeckquit (Client Quit)
21:08:41  * bradleymeckjoined
21:10:56  * bradleymeckquit (Client Quit)
21:23:43  <bterlson>https://github.com/tc39/proposal-pattern-matching
21:27:29  <Bakkot>:party_hat:
21:37:51  <bterlson>someone want to do the cover grammar for me? :-P
21:38:32  <bterlson>should I cover an entire call expression or try to only cover the part of a call expression that overlaps?
21:39:16  <bterlson>actually perhaps I can just reuse CoverCallExpressionAndAsyncArrowHead
21:39:22  <Bakkot>At stage 0? I feel like writing cover grammars for stage 0 proposals is getting kind of ahead of yourself.
21:39:39  <bterlson>Bakkot: totally agreed, I'm just trying to figure out how it'd work for when I get asked lol
22:00:54  * not-an-aardvarkjoined
22:06:01  <samth>bterlson: one thing I'm confused by: in `match (e) { [x]: x}` the first x is a binding, but in `match (e) { x: x}` the first x is a reference to an outer x
22:06:12  <samth>at least, I think that's what's happening
22:10:33  <bterlson>samth: indeed that is confusing
22:10:55  <samth>i think the problem is the latter, and it should also be a binder
22:10:55  <bterlson>a confusion I made worse by suggesting that _ could bind the matched value
22:11:12  <bterlson>in the latter case, it's an identifier pattern
22:11:22  <bterlson>'x' will be looked up and its Symbol.matches method consulted
22:11:24  <samth>and there should be some other syntax for "compare with this identifier in cope"
22:11:27  <samth>*scope
22:11:33  <bterlson>samth: suggestions for that syntax?
22:11:47  <samth>bterlson: i was worried you'd ask that
22:11:50  <samth>;)
22:12:09  <bterlson>also seems questionably useful to allow any identifier to match any value for binding purposes
22:12:12  <samth>you'll be shocked to know that my pattern matcher in racket implements what I suggest
22:12:22  <bterlson>SHOCKED
22:12:26  <samth>bterlson: i think of that as totally normal in all pattern matchers
22:12:49  <samth>it's true in F#/rust/ml/racket/haskell/scala
22:13:55  <bterlson>samth: not true in F# at least, only _ is special I think
22:14:02  <Bakkot>while we're picking nits,
22:14:04  <Bakkot> [x, ...]: /* match an array of any length, bind its first element as x */,
22:14:09  <bterlson>other identifier things have different semantics (Depending on the casing of the identifier, even)
22:14:13  <Bakkot>this should only match arrays of length at least 1
22:14:21  <bterlson>Bakkot: indeed
22:16:00  <samth>bterlson: https://repl.it/JMOu/0 suggests that I'm right about F3
22:16:03  <samth>f#
22:21:06  <Bakkot>if mficarra's https://michaelficarra.github.io/optional-catch-binding-proposal/ proposal goes in, I'd want to see the `else` case allow an optional binding
22:21:27  <Bakkot>as in `else (_): something`
22:23:05  <bterlson>samth: oh I see, lower case identifiers are a "variable pattern" and do that yeah
22:23:30  <samth>Haskell and F# both have a case distinction that's meaningful
22:23:36  <bterlson>upper case identifiers do something more like this proposal
22:23:43  <bterlson>I really like that fwiw
22:23:54  <bterlson>but I didn't think JS devs would like that much :)
22:24:05  <samth>indeed
22:46:11  <bterlson>Domenic: you are the best man
22:46:23  <bterlson>great issues :)
22:51:31  <Domenic>bterlson: \o/ I'm excited
22:53:01  <Domenic>Oh else (_): something is nice
22:53:23  <Domenic>Also +1 on optional catch binding proposal
22:53:50  <Domenic>Maybe we can do an overnight stage 3 on that sucker if we get enthusiastic reviewers
22:57:27  * caridyjoined
23:03:01  * caridyquit (Ping timeout: 258 seconds)
23:17:28  * caridyjoined