Conversation

This Tweet is from a suspended account. Learn more

This Tweet is from a suspended account. Learn more

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:

4

2

9

Brendan Zabarauskas

Replying to

and

Re. modal logic, have you seen granule-project.github.io? IIRC I've heard

talking about using modal type theory to reason about conditional compilation - maybe it could also do this kind of API versioning stuff?

granule-project.github.io

The Granule Project

The Granule Project: A Research Project Studying the Next Generation of Functional Programming Languages

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