Joe Eli McIlvain

We discussed this a bit in today's sync call. I suggest that we add an example to the https://tutorial.ponylang.io/types/actors.html page where we introduce actors, to show one actor calling another...

I'll have to chew it over a bit. On it's face, I'm not totally opposed to the idea. Although there will be some details to be worked out. However, I...

Additional context/disclosure in case it helps in the discussion: - I am a compiler engineer with ~8 years of experience dealing with compiler internals, parsing, and emitting various formats. -...

Thanks for your response. It definitely makes sense that the specification/standardization effort will be very significant for a feature like this. I'm content to leave this ticket open and just...

Marking this with the `BLOCKED` label for now because I don't want us to work on implementing this until the type checking/inference rewrite (tracked by #76) is complete. This feature...

What follows are my notes for an initial design proposal, which isn't totally complete or final, but contains a fair bit to chew on for the time being:

Yield blocks use a syntax of `->` to attach the yield block to a call site. Async yield blocks will use a similar syntax of `...->`, creating what is effectively...

However, when we have many `...->` blocks nested inside one another the increasing indentation and accumulated mental context could be troubling. To help alleviate this, we will support an extra...

Regarding the `access` method, we will have a trait which is defined like this: ```savi :trait Accessible(A) :be access :yields async A ``` For actors which wish to easily opt...

Now let's talk about the different kinds of blocks/lambdas that seem possible and useful, what restrictions they have, and how they will be implemented under the hood. After that we...