Conversation

This Tweet is from a suspended account. Learn more

Apr 11, 2020

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

Negative reasoning in Chalk

I’ve had the pleasure in recent weeks of working on Chalk, the project that Niko’s been blogging about:

Brendan Zabarauskas

@brendanzab

Apr 11, 2020

Didn't the Swift people look at something like this with their work on ABI compatibility? I've looked at their docs though but couldn't find anything comprehensive about it… cc.

Replying to

I'd be really interested if this could be done formally, and maybe even statically verified in the type system somehow… it'd be also really cool if it took account of stuff like conditional compilation.

11:04 PM · Apr 11, 2020Twitter Web App

Replying to

I'd also be interested in this from a language implementors perspective - can you reason about changes you can make to a language that preserve backwards compatibility with a previous version of the language?

Brendan Zabarauskas

@brendanzab

Apr 11, 2020

And maybe if a library uses only specific features of the language you could be guaranteed to be compatible between certain versions of the language… I dunno though. Language ecosystems are really weird distributed systems, hehe.