Niko Matsakis
Niko Matsakis
One thing I'd like is suggestions for a snappier title!
OK, @jackh726 done -- shall we merge?
I went through the RFC and comments and I have a few thoughts. ## On soundness with `Pin` It seems to me that... * we should change the `Pin` requirements...
I went through the RFC and comments and I have a few thoughts. ## On soundness with `Pin` It seems to me that... * we should change the `Pin` requirements...
@rfcbot concern name I propose we rename the derive to something like "unsize pointee". Not sure what. I think this concern can be resolved by just adding an "unresolved concern"...
@rfcbot concern name I propose we rename the derive to something like "unsize pointee". Not sure what. I think this concern can be resolved by just adding an "unresolved concern"...
@rfcbot resolve name
I avoided the term "effect" for a few reasons. One of them is that I think that it is overall kind of jargon. What's more, my observation is that it...
@rpjohnst > The semantically-interesting thing, shared in common with other languages' "(algebraic) effects," even when they are not implemented via CPS, is that those effect operations can be handled by...
@rpjohnst > My point is really that "effect" need not imply anything so deep about the language that it does not already apply to Rust, and specifically that Koka's use...