Design meeting: Effect safety and associated types with the Flix team

[traviscross]

Summary

We'll be fortunate to be joined by the team building the Flix programming language. Flix is an effect safe language that has many similarities with Rust. In particular, they have traits and associated types, which is a formula for having many of the same problems that we do.

The Flix team will be walking through their "Associated Effects" paper, telling us about the lessons they've learned in building a practical system for effect safety, and teaching us a bit about Flix.

Background reading

• "Associated Effects"
• "Programming Flix"
• "Programming Flix - Effect System"

About this issue

This issue corresponds to a lang-team design meeting proposal. It corresponds to a possible topic of discussion that may be scheduled for deeper discussion during one of our design meetings.

cc @magnus-madsen @mlutze @JonathanStarup

[traviscross]

This is scheduled for the design meeting on 11 December.

(CCing those who may be interested.)

cc @RalfJung @oli-obk @Nadrieril @fee1-dead @yoshuawuyts @eholk @BoxyUwU @compiler-errors

[RalfJung]

I am quite interested but likely will have a late-evening work meeting that day and will probably not be able to attend this meeting.