First Draft: Coroutines

Richard (Rikki) Andrew Cattermole richard at cattermole.co.nz
Thu Aug 8 01:42:05 UTC 2024


On 08/08/2024 1:37 PM, Meta wrote:
> On Monday, 5 August 2024 at 01:36:31 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
> 
> I see you linked to that classic article on function colouring, but it 
> wasn't clear to me how your DIP avoids the function colouring problem. 
> We'd basically need something like parametric polymorphism over function 
> effects, unless there's some trick or assumptions we can make to 
> circumvent it.

Originally there was meant to be behavior in synchronous functions to 
add blocking automatically.

That way it didn't matter how you "yield" implicitly.

Unfortunately that had major problems, and had to be removed.


More information about the dip.development mailing list