00:15:47  * AtumTquit (Remote host closed the connection)
00:32:05  <bterlson>polymorphic references leads quickly to wanting type inference
00:32:21  <bterlson>since in many cases a reference is actually monomorphic, we just can't tell by name alone
01:15:43  * nobsoquit (Quit: nobso)
02:10:17  <Domenic>bterlson: instead of aoid="X" receiver="parent-section" it seems you could do something a bit less repetive... e.g. put a scoping attribute on the receiver, and then maybe use something other than aoid for the attriubte.
02:18:35  * not-an-aardvarkjoined
02:30:05  * Fishrock123joined
02:35:35  * Fishrock123quit (Ping timeout: 240 seconds)
03:03:52  * Fishrock123joined
03:05:22  * nobsojoined
03:05:43  * nobsopart
03:11:00  * Fishrock123quit (Quit: Leaving...)
04:09:33  * jmdyckquit (Quit: Leaving.)
05:57:00  * gskachkov_quit (Quit: gskachkov_)
07:02:03  * gskachkov_joined
07:04:11  * Draggorquit (Ping timeout: 268 seconds)
07:06:57  * Draggorjoined
07:38:26  <ljharb>i'm pretty unclear on what that PR does; if someone could ELI5 me at some point that'd be appreciated :-)
08:32:27  * STRMLquit (Ping timeout: 260 seconds)
08:41:30  * STRMLjoined
10:08:18  * gskachkov_changed nick to gskachkov
10:18:20  * not-an-aardvarkquit (Quit: Connection closed for inactivity)
10:25:09  * mylesborinsquit (Quit: farewell for now)
10:25:40  * mylesborinsjoined
10:45:02  * AtumTjoined
11:35:02  * jmdyckjoined
12:39:11  * gibson042quit (Quit: Leaving.)
14:01:22  * Fishrock123joined
14:41:15  * gskachkovquit (Quit: gskachkov)
14:50:07  * caridyjoined
15:01:35  * caridyquit (Remote host closed the connection)
15:02:06  * caridyjoined
15:06:27  * caridyquit (Ping timeout: 240 seconds)
15:21:05  <cloudshu>who is this Brian Terlsono on doodle
15:21:07  <cloudshu>a cousin
15:39:26  * gskachkovjoined
16:12:40  * gskachkovquit (Quit: gskachkov)
16:13:19  * gskachkovjoined
16:34:23  * sebmarkbzjoined
16:36:42  * sebmarkbage|awayquit (Ping timeout: 260 seconds)
17:07:53  * gskachkovquit (Quit: gskachkov)
17:12:42  <littledan>hey, how's it going at MS?
17:17:00  * rbucktonjoined
17:17:27  * gskachkovjoined
17:22:07  * nobsojoined
17:26:22  <cloudshu>littledan: are you not here this meeting?
17:26:32  <littledan>cloudshu: I'm calling in; the VC's going great
17:26:37  <littledan>I
17:26:43  <littledan>I'll be there in person in November and September
17:26:57  * msaboffjoined
17:27:01  <cloudshu>littledan: ah, okay
17:27:15  <littledan>sorry about that
17:28:55  * caridyjoined
17:29:11  * maggiepintjoined
17:30:41  * daniel_rjoined
17:31:03  * nobsoquit (Quit: nobso)
17:31:13  * nobsojoined
17:34:23  * gskachkovquit (Quit: gskachkov)
17:41:01  * dvaljoined
17:43:27  * michaelficarrajoined
17:45:22  * benjamnjoined
17:46:31  * gskachkovjoined
17:46:39  * AtumT_joined
17:48:14  * AtumTquit (Ping timeout: 246 seconds)
17:51:28  * benjamnquit (Read error: Connection reset by peer)
17:56:47  * gskachkovquit (Quit: gskachkov)
17:56:53  * benjamnjoined
17:56:56  * Fishrock123quit (Remote host closed the connection)
18:04:39  * Fishrock123joined
18:07:02  * gskachkovjoined
18:27:00  <dilijev>is there a stream available for today's meeting
18:27:14  <bterlson>dilijev: not public unfortunately, I'll DM you
18:30:04  * gskachkovquit (Quit: gskachkov)
18:34:43  * dvalquit (Remote host closed the connection)
18:36:27  * Fishrock123quit (Remote host closed the connection)
18:44:11  * AtumT_quit (Remote host closed the connection)
18:46:17  * michaelficarraquit (Quit: michaelficarra)
18:46:31  * michaelficarrajoined
18:56:51  * gskachkovjoined
18:57:01  <bterlson>Domenic: sorry I missed your feedback above
18:57:49  <bterlson>Domenic: I want to use aoid rather than add another thing like an aoid. It is an aoid as far as ecmarkup is concerned, just one with multiple receivers
18:58:01  <bterlson>I'm not sure what scope looks like
18:58:08  <bterlson>I don't see how it will work with syntax-directed operations though
18:58:21  <bterlson>also note that the receiver isn't always the parent clause even for the object sections
18:58:46  <bterlson>could default to parent clause to clean up the early sections I suppose, but SDOs are the predominant case.
18:59:02  <Domenic>Hmm ok
18:59:23  <Domenic>I think aoid might be a bit confusing for authoring
18:59:34  <Domenic>Unless we redefine abstract op appropriately
18:59:58  <bterlson>always using AOIDs to define named algorithms seems muche asier than having multiple attributes with subtle distinctions
19:00:07  <bterlson>agree that it's not properly named anymore
19:00:41  <Domenic>You also have to think of the failure mode of forgetting receiver
19:00:54  <Domenic>Then you get treated as a normal AO
19:00:58  <bterlson>Domenic: I think I'm making that a build error
19:01:06  <Domenic>How?
19:01:11  <bterlson>as in, if you try to redeclare an AO without a receiver, it's an error
19:01:19  <Domenic>Oh because multiple things share it, I see
19:01:56  <Domenic>I guess that mostly works. If you only have one implementation you shouldn't be using polymorphism anyway in practice.
19:02:07  <bterlson>right
19:02:16  <bterlson>I'm not sure why you'd want to
19:02:29  <bterlson>the current emu operation won't auto-link polymorphic operations unless it
19:02:34  <bterlson>it's dotted off something
19:02:40  <bterlson>s/operation/implementation
19:02:49  <bterlson>but I'm considering changing that
19:10:08  * benjamnquit (Read error: Connection reset by peer)
19:10:34  * benjamnjoined
19:11:57  <Domenic>I'm headed to the cafe
19:12:04  <bterlson>yay
19:12:05  <Domenic>B34 cafe right?
19:12:07  <bterlson>yep
19:12:11  <bterlson>shit
19:12:12  <bterlson>oh
19:12:15  <bterlson>we have 1 more chair lol
19:12:39  <Domenic>Lollll
19:26:17  * gskachkovquit (Quit: gskachkov)
19:28:21  * gskachkovjoined
19:28:51  * sebmarkbzchanged nick to sebmarkbage|away
19:33:06  * msaboffquit (Quit: My MacBook has gone to sleep. ZZZzzz…)
19:33:24  * benjamnquit (Quit: My MacBook has gone to sleep. ZZZzzz…)
19:47:01  * rbucktonquit (Disconnected by services)
19:47:01  * rbucktonjoined
19:51:24  * Fishrock123joined
20:11:33  <dilijev>is the rendering you linked showing off the links to implementations of
20:12:01  <dilijev>if so, i like that change. I think the text that pops up on the bottom could make it more clear the receiver
20:26:20  * IgnoredAmbiencequit (Ping timeout: 260 seconds)
20:27:12  * IgnoredAmbiencejoined
20:37:22  * sebmarkbage|awaychanged nick to sebmarkbage
20:39:07  <bterlson>dilijev: yes that's what it's about
20:39:14  <bterlson>ok, will consider headers
20:41:59  * daniel_rquit (Ping timeout: 260 seconds)
20:42:04  * benjamnjoined
20:43:52  * gskachkovquit (Quit: gskachkov)
20:51:06  * gskachkovjoined
21:00:14  * caridyquit (Remote host closed the connection)
21:00:50  * caridyjoined
21:12:46  <littledan>I guess the timebox is up now
21:44:59  <benjamn>please review the notes from the cancellation discussion if you want to clarify what was recorded!
21:54:39  * nobsoquit (Ping timeout: 268 seconds)
22:08:50  * gskachkovquit (Quit: gskachkov)
22:16:26  * benjamnquit (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:21:16  * nobsojoined
22:21:52  * benjamnjoined
22:28:22  * rbucktonquit (Ping timeout: 260 seconds)
22:54:52  * gkatsevquit (Ping timeout: 240 seconds)
22:54:57  * gkatsev_joined
23:06:32  * Fishrock123quit (Remote host closed the connection)
23:07:12  * Fishrock123joined
23:07:20  * Fishrock123quit (Remote host closed the connection)
23:12:19  * michaelficarraquit (Quit: michaelficarra)
23:18:03  * rbucktonjoined
23:18:41  * michaelficarrajoined
23:34:00  <littledan>sorry, I dropped off, calling back
23:34:11  <caridy>no worries
23:36:09  * Fishrock123joined
23:41:04  * Fishrock123quit (Quit: Leaving...)
23:45:59  <jeffmo>was dherman challenged?
23:46:51  <dherman>?
23:46:56  <dherman>I am challenged at many things...