Stream: t-compiler/wg-learning

Topic: meeting 2019.10.29


Amanjeev Sethi (Oct 29 2019 at 16:19, on Zulip):

Hi All, I have a doctor's appointment around the meeting time. I will try to catch up on my phone if and when I get time. I have been editing some of the text this morning in the doc and ended up adding some of the answers by @mark-i-m et. al. to my questions in the doc itself.

I believe the section of Generics/Substitution is really in need for a lot of editing.

Also, what is "Morally"?

Santiago Pastorino (Oct 29 2019 at 16:31, on Zulip):

cool, I need to go over the document again, unsure when I will be able but it will happen soon :), maybe next week

Santiago Pastorino (Oct 29 2019 at 19:17, on Zulip):

@WG-learning meeting in 13 minutes

Santiago Pastorino (Oct 29 2019 at 19:30, on Zulip):

@WG-learning :wave:

Yuki Okushi (Oct 29 2019 at 19:30, on Zulip):

:wave:

Santiago Pastorino (Oct 29 2019 at 19:31, on Zulip):

so ... since last meeting until this one I have not gone again over the ty document we were preparing

Santiago Pastorino (Oct 29 2019 at 19:32, on Zulip):

plan to do so next week and start to cook the corresponding PR

Santiago Pastorino (Oct 29 2019 at 19:32, on Zulip):

all I've done this week for this WG is going through PRs and issues

Santiago Pastorino (Oct 29 2019 at 19:32, on Zulip):

do you have some news to share?

Santiago Pastorino (Oct 29 2019 at 19:33, on Zulip):

I don't have much to discuss either, unsure about you @Yuki Okushi and @Tshepang Lekhonkhobe and others attending?

Tshepang Lekhonkhobe (Oct 29 2019 at 19:33, on Zulip):

I've nothing to share really

Santiago Pastorino (Oct 29 2019 at 19:33, on Zulip):

also on nov 26th we will have a bigger planning meeting

Tshepang Lekhonkhobe (Oct 29 2019 at 19:34, on Zulip):

compiler team, or just our wg?

Santiago Pastorino (Oct 29 2019 at 19:35, on Zulip):

our wg

Santiago Pastorino (Oct 29 2019 at 19:35, on Zulip):

more info #t-compiler/wg-learning > roadmap / planning meeting?

Tshepang Lekhonkhobe (Oct 29 2019 at 19:36, on Zulip):

year, saw that... lemme remind self

Santiago Pastorino (Oct 29 2019 at 19:37, on Zulip):

@Yuki Okushi do you have some news to share or something to ask or say? :)

Yuki Okushi (Oct 29 2019 at 19:37, on Zulip):

nothing!

Santiago Pastorino (Oct 29 2019 at 19:37, on Zulip):

ok

Santiago Pastorino (Oct 29 2019 at 19:37, on Zulip):

more info #t-compiler/wg-learning > roadmap / planning meeting?

take a look at this and if you have some comments or questions we can continue discussing in this meeting, otherwise I guess we can call it a day :)

Tshepang Lekhonkhobe (Oct 29 2019 at 19:41, on Zulip):

am also concerned by slow progress, and I am guilty, but I guess this will be part of discussion on that planning meeting

Tshepang Lekhonkhobe (Oct 29 2019 at 19:42, on Zulip):

I suppose we'll have the ty chapter ready by next meeting?

Tshepang Lekhonkhobe (Oct 29 2019 at 19:42, on Zulip):

perhaps we'll then choose the next lecture to look at

Santiago Pastorino (Oct 29 2019 at 19:43, on Zulip):

am also concerned by slow progress, and I am guilty, but I guess this will be part of discussion on that planning meeting

this is exactly what this kind of meetings would be for

Santiago Pastorino (Oct 29 2019 at 19:43, on Zulip):

to also discuss ideas to improve

Santiago Pastorino (Oct 29 2019 at 19:44, on Zulip):

I understand your concern and I'd like to improve too, unsure exactly how

Santiago Pastorino (Oct 29 2019 at 19:44, on Zulip):

also I think it would be nice to give time for different approaches to settle a bit

Tshepang Lekhonkhobe (Oct 29 2019 at 19:45, on Zulip):

am also feeling bad for the polonius lecture, but was partly discouraged by it being obsolete now (interface has changed)

Santiago Pastorino (Oct 29 2019 at 19:45, on Zulip):

ahh ya, that kind of stuff can happen

Santiago Pastorino (Oct 29 2019 at 19:45, on Zulip):

I meant, don't feel bad for yourself

Santiago Pastorino (Oct 29 2019 at 19:45, on Zulip):

I'm more interested in discussing slow progress as a group

Santiago Pastorino (Oct 29 2019 at 19:46, on Zulip):

because personally we all have different things to do and it's hard to find time to invest

Santiago Pastorino (Oct 29 2019 at 19:46, on Zulip):

this is more or less why we ended switching to this idea of going all together after one chapter

Santiago Pastorino (Oct 29 2019 at 19:46, on Zulip):

and I think in some sense it worked well

Tshepang Lekhonkhobe (Oct 29 2019 at 19:47, on Zulip):

meetings also see little attendance... maybe people forget (other than those that excuse selves)

Tshepang Lekhonkhobe (Oct 29 2019 at 19:48, on Zulip):

and I think in some sense it worked well

yeah, shared lectures are a great idea

Santiago Pastorino (Oct 29 2019 at 19:49, on Zulip):

meetings also see little attendance... maybe people forget (other than those that excuse selves)

well I'm not sure about that neither, my feeling is that meetings are happening too frequently given the amount of progress we are able to do

Yuki Okushi (Oct 29 2019 at 19:52, on Zulip):

well I'm not sure about that neither, my feeling is that meetings are happening too frequently given the amount of progress we are able to do

exactly

Tshepang Lekhonkhobe (Oct 29 2019 at 19:53, on Zulip):

you are making me wonder if we should even have meetings at all

Santiago Pastorino (Oct 29 2019 at 19:56, on Zulip):

yeah, maybe we can discuss about this during the big planning meeting, I'm all for doing this async

Santiago Pastorino (Oct 29 2019 at 19:57, on Zulip):

I don't see the need right now for meetings

Santiago Pastorino (Oct 29 2019 at 19:57, on Zulip):

we can have sync meetings when needed

Tshepang Lekhonkhobe (Oct 29 2019 at 19:57, on Zulip):

yeah, kool

Tshepang Lekhonkhobe (Oct 29 2019 at 19:58, on Zulip):

we'll still have one 2 weeks from now as usual?

Santiago Pastorino (Oct 29 2019 at 19:59, on Zulip):

let's cancel these meetings until we have the planning, we can decide what to do there

Tshepang Lekhonkhobe (Oct 29 2019 at 19:59, on Zulip):

agreed

Santiago Pastorino (Oct 29 2019 at 19:59, on Zulip):

we should probably start a planning document async and fill with what we want to discuss

Tshepang Lekhonkhobe (Oct 29 2019 at 20:02, on Zulip):

looks like I won't make it to that meeting actually

Tshepang Lekhonkhobe (Oct 29 2019 at 20:02, on Zulip):

... will be away on vacation

Santiago Pastorino (Oct 29 2019 at 20:02, on Zulip):

:(

Tshepang Lekhonkhobe (Oct 29 2019 at 20:03, on Zulip):

I can participate in the shared doc

Tshepang Lekhonkhobe (Oct 29 2019 at 20:04, on Zulip):

I enjoyed dropbox paper, nifty tech

Santiago Pastorino (Oct 29 2019 at 20:06, on Zulip):

I'm writing some planning ideas

Santiago Pastorino (Oct 29 2019 at 20:06, on Zulip):

will share in a bit

Santiago Pastorino (Oct 29 2019 at 20:14, on Zulip):

actually let me share the link on a different topic

mark-i-m (Nov 04 2019 at 02:01, on Zulip):

Hmm... interesting idea... we could just create a zulip stream for each issue we want to discuss and just ping the WG at the top. People can chime in when they have a chance...

Santiago Pastorino (Nov 04 2019 at 14:13, on Zulip):

Hmm... interesting idea... we could just create a zulip stream for each issue we want to discuss and just ping the WG at the top. People can chime in when they have a chance...

which idea are you referring to?

Last update: Nov 15 2019 at 20:00UTC