search

rust-lang / keyword-generics-initiative

Public repository for the Rust keyword generics initiative
https://rust-lang.github.io/keyword-generics-initiative/
Other
89 stars 11 forks source link

Prior art tracking #26

Open yoshuawuyts opened 1 year ago

yoshuawuyts commented 1 year ago
yoshuawuyts commented 1 year ago

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

magnus-madsen commented 3 weeks ago

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 commented 3 weeks ago

@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 commented 3 weeks ago

@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.