Stream: t-compiler/wg-learning

Topic: Representing types in rustc lecture discussion


Santiago Pastorino (Sep 24 2019 at 14:17, on Zulip):

@WG-learning hi everyone, today in like ~5hs we are having the representing types discussion and questions gathering

Santiago Pastorino (Sep 24 2019 at 14:18, on Zulip):

who was able to watch the lecture and take some notes?

Santiago Pastorino (Sep 24 2019 at 14:18, on Zulip):

we can start sharing things here to discuss if needed

Sergey Togi Dashnyam (Sep 24 2019 at 14:51, on Zulip):

Here the YT link: https://www.youtube.com/watch?v=c01TsOsr3-c&t

Amanjeev Sethi (Sep 24 2019 at 15:27, on Zulip):

The problem I have is that I know so little about the system that watching it one time or so basically just flows above my head.

Amanjeev Sethi (Sep 24 2019 at 15:28, on Zulip):

Still would love to have a discussion to see what others discovered or had questions about.

Amanjeev Sethi (Sep 24 2019 at 15:28, on Zulip):

It is almost like someone showing me Maxwell's equations. What questions can you have on those if you aren't privy to the depth and details. :lol:

Santiago Pastorino (Sep 24 2019 at 15:31, on Zulip):

@Amanjeev Sethi write down questions, whatever they are, the most basic ones may make a lot of sense

Santiago Pastorino (Sep 24 2019 at 15:32, on Zulip):

that's my suggestion, what the video, pause it, go back, watch it again and write down all the doubts you have

Sergey Togi Dashnyam (Sep 24 2019 at 15:34, on Zulip):

The problem I have is that I know so little about the system that watching it one time or so basically just flows above my head.

Niko recommended me this book: https://www.cis.upenn.edu/~bcpierce/tapl/
It's a solid intro to type theory

Iñaki Garay (Sep 24 2019 at 18:39, on Zulip):

I'll be there :)

Santiago Pastorino (Sep 24 2019 at 19:30, on Zulip):

@WG-learning :wave: everyone, meeting time!

Amanjeev Sethi (Sep 24 2019 at 19:30, on Zulip):

:hello:

Santiago Pastorino (Sep 24 2019 at 19:31, on Zulip):

so ... did people have a chance to watch the lecture?

Amanjeev Sethi (Sep 24 2019 at 19:31, on Zulip):

I have watched it but the 54:54 takes much longer to even remotely follow for me.

Amanjeev Sethi (Sep 24 2019 at 19:31, on Zulip):

But I realized a thing

Tshepang Lekhonkhobe (Sep 24 2019 at 19:31, on Zulip):

I did, but only once, meaning not enough times

Amanjeev Sethi (Sep 24 2019 at 19:32, on Zulip):

I feel that it would have helped me more to see the flowchart and then pick each component and dig deeper.

Iñaki Garay (Sep 24 2019 at 19:32, on Zulip):

Same

Amanjeev Sethi (Sep 24 2019 at 19:32, on Zulip):

Right now I feel like I am watching the video again and again to try to get the gist but keep getting lost into the details.

Amanjeev Sethi (Sep 24 2019 at 19:32, on Zulip):

(I need to I mean)

Santiago Pastorino (Sep 24 2019 at 19:32, on Zulip):

Same

Same to what? :)

Iñaki Garay (Sep 24 2019 at 19:33, on Zulip):

Same as Tshepang :)

Iñaki Garay (Sep 24 2019 at 19:33, on Zulip):

I have one short question, what does 'morally' mean? :p I infer 'more or less' but I couldn't find references on the internet

Amanjeev Sethi (Sep 24 2019 at 19:33, on Zulip):

I had the morally question as well

Santiago Pastorino (Sep 24 2019 at 19:33, on Zulip):

hehe, I saw Niko using that phrase

Amanjeev Sethi (Sep 24 2019 at 19:34, on Zulip):

@Santiago Pastorino you were in the lecture! :lol: You do not count as someone watching the video.

Amanjeev Sethi (Sep 24 2019 at 19:34, on Zulip):

I have one more question though

Santiago Pastorino (Sep 24 2019 at 19:34, on Zulip):

I guess what he meant is that more or less, removing some complexity, this thing is the same as this other thing

Tshepang Lekhonkhobe (Sep 24 2019 at 19:34, on Zulip):

I have one short question, what does 'morally' mean? :p I infer 'more or less' but I couldn't find references on the internet

"more or less" is probably right

Amanjeev Sethi (Sep 24 2019 at 19:35, on Zulip):

Sorry, how is it more or less?

Santiago Pastorino (Sep 24 2019 at 19:35, on Zulip):

I guess what he meant is that more or less, removing some complexity, this thing is the same as this other thing

:point_up:

Santiago Pastorino (Sep 24 2019 at 19:35, on Zulip):

maybe can we talk about one of his specific examples?

Santiago Pastorino (Sep 24 2019 at 19:36, on Zulip):

like let's point to the right moment when he does that and explain one in particular

Santiago Pastorino (Sep 24 2019 at 19:36, on Zulip):

otherwise would be too abstract

Amanjeev Sethi (Sep 24 2019 at 19:36, on Zulip):
        - &'tcx [Ty<'tcx>] “morally 1.0”
        - &'tcx [Kind<'tcx>] “morally 2.0” — kinds are either types or regions
Tshepang Lekhonkhobe (Sep 24 2019 at 19:37, on Zulip):

I'd say "think of it as 1.0"

Santiago Pastorino (Sep 24 2019 at 19:38, on Zulip):

let's link the youtube video at that time

Santiago Pastorino (Sep 24 2019 at 19:38, on Zulip):

I'm looking for that specific part

Tshepang Lekhonkhobe (Sep 24 2019 at 19:38, on Zulip):

btw, are we 30m or 60m?

Tshepang Lekhonkhobe (Sep 24 2019 at 19:39, on Zulip):

former probably too small

Santiago Pastorino (Sep 24 2019 at 19:39, on Zulip):

the idea was 30mins

Amanjeev Sethi (Sep 24 2019 at 19:39, on Zulip):

Q: Is there a flowchart for this process? If not, do you think it will be beneficial?

Santiago Pastorino (Sep 24 2019 at 19:40, on Zulip):

I don't think so

Santiago Pastorino (Sep 24 2019 at 19:41, on Zulip):

but yes, I think it is beneficial

Tshepang Lekhonkhobe (Sep 24 2019 at 19:41, on Zulip):

would a flowchart apply, given the "representing types" title?

Santiago Pastorino (Sep 24 2019 at 19:42, on Zulip):

I guess @Amanjeev Sethi meant how is a flow of the different phases to end getting the specific type

Iñaki Garay (Sep 24 2019 at 19:42, on Zulip):

https://youtu.be/c01TsOsr3-c?t=1223 is more or less where the discussion regarding generic substitution mentions SubstRef

Santiago Pastorino (Sep 24 2019 at 19:42, on Zulip):

like in particular at the end the substitution part

Santiago Pastorino (Sep 24 2019 at 19:43, on Zulip):

https://youtu.be/c01TsOsr3-c?t=1223 is more or less where the discussion regarding generic substitution mentions SubstRef

@Iñaki Garay sorry, didn't get what you meant

Iñaki Garay (Sep 24 2019 at 19:44, on Zulip):

I'd say "think of it as 1.0"

this part

Santiago Pastorino (Sep 24 2019 at 19:44, on Zulip):

but I meant, are you asking a question?

Iñaki Garay (Sep 24 2019 at 19:45, on Zulip):

ah no, just linking the section.

Santiago Pastorino (Sep 24 2019 at 19:45, on Zulip):

:+1:

Santiago Pastorino (Sep 24 2019 at 19:46, on Zulip):

so ... I guess one of my questions would be ... were you able to collect some info to be added in some way to the guide?

Santiago Pastorino (Sep 24 2019 at 19:46, on Zulip):

I guess if we all have ideas we can put them all together

Santiago Pastorino (Sep 24 2019 at 19:46, on Zulip):

or I'm wondering how we can do that

Santiago Pastorino (Sep 24 2019 at 19:46, on Zulip):

unsure if we should talk about that or if we should keep collecting doubts about the lecture

Amanjeev Sethi (Sep 24 2019 at 19:46, on Zulip):

We can perhaps have some dropbox paper doc that we can edit together? or hackmd?

Santiago Pastorino (Sep 24 2019 at 19:46, on Zulip):

We can perhaps have some dropbox paper doc that we can edit together? or hackmd?

yep

Amanjeev Sethi (Sep 24 2019 at 19:47, on Zulip):

I vote for more doubts and more watching.

Santiago Pastorino (Sep 24 2019 at 19:47, on Zulip):

yep

Santiago Pastorino (Sep 24 2019 at 19:47, on Zulip):

shoot questions

Sergey Togi Dashnyam (Sep 24 2019 at 19:47, on Zulip):

Upvote for that Dropbox paper idea

Santiago Pastorino (Sep 24 2019 at 19:47, on Zulip):

unsure if I'm able to answer, the idea was to discuss between us and if we have no idea we can ask Niko later

Iñaki Garay (Sep 24 2019 at 19:48, on Zulip):

I'm not sure what I'd even put in there, as my main problem is actually formulating precise questions.
I feel I understand the content, especially up to interning, but not enough to explain it in my own words.

I do have the first ten or so minutes in better shape now, but that's just a small portion.

Amanjeev Sethi (Sep 24 2019 at 19:49, on Zulip):

I am pretty much in the same position as @Iñaki Garay

Tshepang Lekhonkhobe (Sep 24 2019 at 19:49, on Zulip):

Q: is DefId in video this type rustc::hir::def_id::DefId?

Iñaki Garay (Sep 24 2019 at 19:49, on Zulip):

Perhaps one specific question is whether the local arena/global arena mechanism still applies, as I thought I saw some efforts around refactoring that

Santiago Pastorino (Sep 24 2019 at 19:49, on Zulip):

one of the things I've pending is that I know that tcx and gcx were a thing at the moment of the lecture but gcx was removed recently

Santiago Pastorino (Sep 24 2019 at 19:49, on Zulip):

Perhaps one specific question is whether the local arena/global arena mechanism still applies, as I thought I saw some efforts around refactoring that

yeah, what I've just said :)

Iñaki Garay (Sep 24 2019 at 19:49, on Zulip):

heh

Santiago Pastorino (Sep 24 2019 at 19:49, on Zulip):

Q: is DefId in video this type rustc::hir::def_id::DefId?

I think so ... let me see

Santiago Pastorino (Sep 24 2019 at 19:50, on Zulip):

Perhaps one specific question is whether the local arena/global arena mechanism still applies, as I thought I saw some efforts around refactoring that

yeah, what I've just said :)

anyway, that's not even part of the lecture :), but we can write something down and fix later

Sergey Togi Dashnyam (Sep 24 2019 at 19:50, on Zulip):

I'm not sure what I'd even put in there, as my main problem is actually formulating precise questions.
I feel I understand the content, especially up to interning, but not enough to explain it in my own words.

I do have the first ten or so minutes in better shape now, but that's just a small portion.

Afaik in type theory, they mostly communicate stuff using formulas and formal proofs.

Santiago Pastorino (Sep 24 2019 at 19:50, on Zulip):

or just ignore because probably this part of the rustc-guide won't explain arenas I guess

Santiago Pastorino (Sep 24 2019 at 19:50, on Zulip):

so we can just refer tcx and done

Santiago Pastorino (Sep 24 2019 at 19:51, on Zulip):

I'm not sure what I'd even put in there, as my main problem is actually formulating precise questions.
I feel I understand the content, especially up to interning, but not enough to explain it in my own words.

I do have the first ten or so minutes in better shape now, but that's just a small portion.

I guess we should all push hard to realize what we don't understand :)

Amanjeev Sethi (Sep 24 2019 at 19:51, on Zulip):

How about we start a document and add these questions there for a start?

Santiago Pastorino (Sep 24 2019 at 19:51, on Zulip):

I know it's hard to realize when there are a thousand of new things

Amanjeev Sethi (Sep 24 2019 at 19:52, on Zulip):

I just reserved that book Niko suggested to @Sergey Togi Dashnyam

Santiago Pastorino (Sep 24 2019 at 19:52, on Zulip):

but still it worth trying

Santiago Pastorino (Sep 24 2019 at 19:52, on Zulip):

How about we start a document and add these questions there for a start?

let me do that

Tshepang Lekhonkhobe (Sep 24 2019 at 19:52, on Zulip):

I don't know what interning is... figured I should google that?

Amanjeev Sethi (Sep 24 2019 at 19:52, on Zulip):

Truth be told I enjoy these videos. Totally new territory for me but I think it requires more time, as a result.

Santiago Pastorino (Sep 24 2019 at 19:52, on Zulip):

I don't know what interning is... figured I should google that?

this is a cool question

Santiago Pastorino (Sep 24 2019 at 19:52, on Zulip):

this is probably explained in a different section of the guide

Tshepang Lekhonkhobe (Sep 24 2019 at 19:54, on Zulip):

ahh, it's in the glossary

Santiago Pastorino (Sep 24 2019 at 19:54, on Zulip):

https://paper.dropbox.com/doc/Ty-lecture-summary--AlamtScYKwx009TKr0QKQ47pAQ-4jFj9bVOLlW7uhIOWHITX

Santiago Pastorino (Sep 24 2019 at 19:54, on Zulip):

start adding things there

Tshepang Lekhonkhobe (Sep 24 2019 at 19:56, on Zulip):

editing requires loggin in (to dropbox)?

Santiago Pastorino (Sep 24 2019 at 19:56, on Zulip):

I don't know what interning is... figured I should google that?

you could think about it as an optimization to reduce memory usage. Basically the compiler store types or things in general in a global arena and then in the rest of the code you just have references to that

Santiago Pastorino (Sep 24 2019 at 19:57, on Zulip):

editing requires loggin in (to dropbox)?

unsure, maybe?

Sergey Togi Dashnyam (Sep 24 2019 at 19:57, on Zulip):

editing requires loggin in (to dropbox)?

Yes

Santiago Pastorino (Sep 24 2019 at 19:58, on Zulip):

@Tshepang Lekhonkhobe https://github.com/rust-lang/rust/blob/d76ca2eb6143bd92565ffb61a2b80933bf33488b/src/librustc/hir/def_id.rs#L109

Santiago Pastorino (Sep 24 2019 at 19:58, on Zulip):

Q: is DefId in video this type rustc::hir::def_id::DefId?

I think so ... let me see

so yes

Santiago Pastorino (Sep 24 2019 at 19:58, on Zulip):

we are running out of time

Santiago Pastorino (Sep 24 2019 at 19:59, on Zulip):

so ... here is my proposal ...

Santiago Pastorino (Sep 24 2019 at 19:59, on Zulip):

do we think we need to take another look to the lecture and keep asking async?

Santiago Pastorino (Sep 24 2019 at 19:59, on Zulip):

and then maybe define a new meeting?

Santiago Pastorino (Sep 24 2019 at 19:59, on Zulip):

or what do you think is the best way to move forward?

Sergey Togi Dashnyam (Sep 24 2019 at 20:00, on Zulip):

Can I add my Q's at a later point in time to Dropbox?

Amanjeev Sethi (Sep 24 2019 at 20:00, on Zulip):

Yes. I think we can async-ly decide when we need a new meeting.

Sergey Togi Dashnyam (Sep 24 2019 at 20:00, on Zulip):

In Germany it is now 22:00 evening, I need to get up early

Amanjeev Sethi (Sep 24 2019 at 20:00, on Zulip):

And it is not just questions, I think if someone wants to give structure to the doc and start the summary that is fine with me

Iñaki Garay (Sep 24 2019 at 20:01, on Zulip):

We can reuse this topic for discussion, and add questions to the doc, when we collectively decide there are enough we can set another meeting

Tshepang Lekhonkhobe (Sep 24 2019 at 20:02, on Zulip):

ok, adding stuff to dropbox doc async is good

Amanjeev Sethi (Sep 24 2019 at 20:03, on Zulip):

This meeting was helpful for me, though

Amanjeev Sethi (Sep 24 2019 at 20:03, on Zulip):

I was a bit nervous

Tshepang Lekhonkhobe (Sep 24 2019 at 20:04, on Zulip):

why nervous

Santiago Pastorino (Sep 24 2019 at 20:05, on Zulip):

Can I add my Q's at a later point in time to Dropbox?

sure, let's keep adding new questions there

Santiago Pastorino (Sep 24 2019 at 20:05, on Zulip):

And it is not just questions, I think if someone wants to give structure to the doc and start the summary that is fine with me

I can do that yeah

Tshepang Lekhonkhobe (Sep 24 2019 at 20:06, on Zulip):

why is dropbox paper preferred over hackmd (I've not used either before)

Amanjeev Sethi (Sep 24 2019 at 20:06, on Zulip):

why nervous

lol it is a tough video and i know little

Santiago Pastorino (Sep 24 2019 at 20:06, on Zulip):

I was a bit nervous

hehe yeah, I wonder the same as @Tshepang Lekhonkhobe, why were you nervous?

Santiago Pastorino (Sep 24 2019 at 20:06, on Zulip):

why nervous

lol it is a tough video and i know little

my suggestion again is ... try to ask every little doubt that comes to your mind

Santiago Pastorino (Sep 24 2019 at 20:07, on Zulip):

even if the question is what is Rust? :)

Amanjeev Sethi (Sep 24 2019 at 20:07, on Zulip):

why is dropbox paper preferred over hackmd (I've not used either before)

I am fine using either. I suggested both.

Santiago Pastorino (Sep 24 2019 at 20:07, on Zulip):

it doesn't matter

Amanjeev Sethi (Sep 24 2019 at 20:07, on Zulip):

This is encouraging, @Santiago Pastorino . Thank you.

Sergey Togi Dashnyam (Sep 24 2019 at 20:10, on Zulip):

This is encouraging, Santiago Pastorino . Thank you.

Perhaps we can try to answer the questions ourselves. Will look again at it tomorrow

Sergey Togi Dashnyam (Sep 24 2019 at 20:11, on Zulip):

Niko is super busy these days.

Santiago Pastorino (Sep 24 2019 at 20:13, on Zulip):

exactly that's the idea

Santiago Pastorino (Sep 24 2019 at 20:13, on Zulip):

for now @nikomatsakis doesn't seem to be needed

Amanjeev Sethi (Sep 24 2019 at 20:13, on Zulip):

Yes, I would hate to disturb Niko.

Santiago Pastorino (Sep 24 2019 at 20:14, on Zulip):

well ... I meant, for the purposes of answering our questions, sure he is very needed elsewhere :P

Sergey Togi Dashnyam (Sep 24 2019 at 20:16, on Zulip):

@Iñaki Garay I answered your question (I hope... :D)

Sergey Togi Dashnyam (Sep 24 2019 at 20:16, on Zulip):

About that interning.

Tshepang Lekhonkhobe (Sep 24 2019 at 20:16, on Zulip):

that was me that asked

Tshepang Lekhonkhobe (Sep 24 2019 at 20:17, on Zulip):

what software to use for creating flowcharts?

Amanjeev Sethi (Sep 24 2019 at 20:19, on Zulip):

what software to use for creating flowcharts?

I do not know. Maybe Lucidcharts or draw.io?

Sergey Togi Dashnyam (Sep 24 2019 at 20:21, on Zulip):

what software to use for creating flowcharts?

I do not know. Maybe Lucidcharts or draw.io?

I like Irina Shestaks sketches. Example: https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4

Amanjeev Sethi (Sep 24 2019 at 20:22, on Zulip):

They are so nice!

Tshepang Lekhonkhobe (Sep 24 2019 at 20:23, on Zulip):

you just made me wanna check out 1 or 2 of the videos

Tshepang Lekhonkhobe (Sep 24 2019 at 20:23, on Zulip):

... especially one by Katherina (I am fan)

Amanjeev Sethi (Sep 24 2019 at 20:24, on Zulip):

Katharina? The keynote speaker in CoGoRust?

Tshepang Lekhonkhobe (Sep 24 2019 at 20:25, on Zulip):

creator of sled, don't know it's same person

Tshepang Lekhonkhobe (Sep 24 2019 at 20:26, on Zulip):

https://twitter.com/sadisticsystems

Amanjeev Sethi (Sep 24 2019 at 20:26, on Zulip):

Please share

Amanjeev Sethi (Sep 24 2019 at 20:26, on Zulip):

Ah different person, sorry

Tshepang Lekhonkhobe (Sep 24 2019 at 20:33, on Zulip):

what software to use for creating flowcharts?

I do not know. Maybe Lucidcharts or draw.io?

I like Irina Shestaks sketches. Example: https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4

looks like a mistake... katharina didn't give a talk at this conference

Santiago Pastorino (Sep 24 2019 at 21:56, on Zulip):

just saw a question dropped in the paper doc

Santiago Pastorino (Sep 24 2019 at 21:56, on Zulip):

Is it still the case that derive can’t be used in the compiler?

Santiago Pastorino (Sep 24 2019 at 21:56, on Zulip):

this is about custom derives

Santiago Pastorino (Sep 24 2019 at 21:58, on Zulip):

have just fixed the answer for that one

simulacrum (Sep 24 2019 at 22:03, on Zulip):

@Santiago Pastorino no, we're using proc macros pretty extensively already, there's rustc_macros crate which has some custom ones

simulacrum (Sep 24 2019 at 22:03, on Zulip):

I do recall some problems people have had using e.g. serde_derive in tools, but I _think_ we've either solved them or can

Tshepang Lekhonkhobe (Sep 24 2019 at 22:09, on Zulip):

(deleted)

Tshepang Lekhonkhobe (Sep 24 2019 at 22:10, on Zulip):

Ah different person, sorry

actually that's her (just saw now)

Santiago Pastorino (Sep 24 2019 at 22:12, on Zulip):

Santiago Pastorino no, we're using proc macros pretty extensively already, there's rustc_macros crate which has some custom ones

ohh good to know

Santiago Pastorino (Sep 24 2019 at 22:12, on Zulip):

let me check was Niko was actually referring to ...

Santiago Pastorino (Sep 24 2019 at 22:14, on Zulip):

it was in this part https://www.youtube.com/watch?v=c01TsOsr3-c&feature=youtu.be&t=2693

Santiago Pastorino (Sep 24 2019 at 22:14, on Zulip):

the reason why EnumTypeFoldableImpl! is used

Tshepang Lekhonkhobe (Sep 24 2019 at 22:16, on Zulip):

yeah, it's that part that made me ask

Tshepang Lekhonkhobe (Sep 24 2019 at 22:22, on Zulip):

Ah different person, sorry

actually that's her (just saw now)

ok, this is embarrassing... so there is spacejam (Tyler Neely, of sled) and spacekookie (Katharina Fey, keynote speaker), and that "space" must be the thing that confused me

Santiago Pastorino (Sep 24 2019 at 22:42, on Zulip):

the reason why EnumTypeFoldableImpl! is used

@simulacrum ^^^

Santiago Pastorino (Sep 24 2019 at 22:42, on Zulip):

let me know if you have more thought about it :)

simulacrum (Sep 24 2019 at 22:43, on Zulip):

uh, I think Niko may have been right in april -- not sure -- but right now we do definitely have derive macros

simulacrum (Sep 24 2019 at 22:43, on Zulip):

e.g. https://github.com/rust-lang/rust/blob/master/src/librustc_macros/src/symbols.rs

Santiago Pastorino (Sep 24 2019 at 22:54, on Zulip):

so if I understand correctly the code there can be improved to use a derive macro

simulacrum (Sep 24 2019 at 23:06, on Zulip):

Indeed, yes, that should be true.

Tshepang Lekhonkhobe (Sep 25 2019 at 20:30, on Zulip):

hm, much updating has happened on the shared doc I see, "​​The many kinds of types"

Santiago Pastorino (Sep 30 2019 at 13:55, on Zulip):

was tidying up a bit our summarization of Ty chapter document

Santiago Pastorino (Sep 30 2019 at 13:56, on Zulip):

plan to go over it and fill some places and leave it in a better shape so we can collaborate

Santiago Pastorino (Sep 30 2019 at 13:57, on Zulip):

one question though, I was integrating changes from @Iñaki Garay and finishing a little part he covered

Santiago Pastorino (Sep 30 2019 at 13:57, on Zulip):

and reached this https://www.youtube.com/watch?v=c01TsOsr3-c&feature=youtu.be&t=212

Santiago Pastorino (Sep 30 2019 at 13:57, on Zulip):

which I don't understand one word Niko is using

Santiago Pastorino (Sep 30 2019 at 13:57, on Zulip):

I understand what he is trying to explain but could be nice if someone decodes exactly the phrase

Santiago Pastorino (Sep 30 2019 at 13:58, on Zulip):

That’s not connected a specific ??? in the program, it’s more the abstract notion of the type itself.

Tshepang Lekhonkhobe (Sep 30 2019 at 18:20, on Zulip):

"a specific spot in the program"?

Santiago Pastorino (Sep 30 2019 at 18:24, on Zulip):

"a specific spot in the program"?

I think so yeah, but in any case spot works with what is meant to be said

mark-i-m (Oct 01 2019 at 00:37, on Zulip):

I have one short question, what does 'morally' mean?

As a native English speaker, I have been trying to figure that one out for a while. I hear people say it occasionally... I believe in this context they mean "conceptually equivalent" or "the same in essence", though I have no idea what the original of this usage is.

Last update: Nov 15 2019 at 20:45UTC