Interesting thread about supporting API version enforcement in programming languages (the linked blog post is cool - framing it in terms of modal logic):
Quote Tweet
Replying to @pigworker
I always wanted to reason about this in Rust using a model logic where accessible worlds were “allowed” API evolution under semantic versioning. aturon.github.io/tech/2017/04/2