Prior art tracking

[yoshuawuyts]

• https://arxiv.org/pdf/2207.03402v2.pdf

[yoshuawuyts]

verse: https://dev.epicgames.com/documentation/en-us/uefn/verse-language-quick-reference

[magnus-madsen]

I just wanted to update you guys that our work on associated effects is published:

https://dl.acm.org/doi/abs/10.1145/3656393

It is fully implemented in the Flix compiler. You can find examples and motivation here:

https://doc.flix.dev/associated-effects.html

You can play with the examples here: https://play.flix.dev/

We would be happy to share our experience and implementation details, if that can help. (Maybe another zoom meeting?)

PS: My apologies if this is not the right thread to post in. It just looked like the most related.

[yoshuawuyts]

@magnus-madsen This is great; thank you for sharing! - I managed to watch your group's presentation in May in Copenhagen (remotely), and I enjoyed it greatly. I didn't realize the paper had already been published; I'm looking forward to reading it!

Let me print that out, give it a read, and let's set something up again to chat. I'll reach out over email and CC some folks in it. Thank you!

[magnus-madsen]

@yoshuawuyts We would be happy to chat again :)

In particular, we are interested in how you would approach async-- because I think that goes beyond what our system can do.