Stream: t-lang

Topic: Design meeting: type aliases


nikomatsakis (Apr 27 2020 at 16:02, on Zulip):

Hey @T-lang, design meeting starting now. Designated topic is type aliases, though I'm of a mind to redirect to more high-level discussion.

nikomatsakis (Apr 27 2020 at 16:02, on Zulip):

I prepared some notes on type aliases in this dropbox paper

varkor (Apr 29 2020 at 17:03, on Zulip):

Was there a summary of this meeting?

nikomatsakis (Apr 29 2020 at 17:58, on Zulip):

Not really, I'm uploading a video now, but we need to produce a kind of summary. There are some loose notes in the dropbox paper doc.

nikomatsakis (Apr 29 2020 at 17:59, on Zulip):

We didn't exactly reach firm conclusions or anything, but I think we are making some progress.

varkor (Apr 29 2020 at 18:35, on Zulip):

Ah, I looked at the document, but it looked like the notes were quite minimal.

nikomatsakis (Apr 30 2020 at 18:36, on Zulip):

they...were

Last update: Jun 05 2020 at 23:15UTC