I think a protocol type system like Scribble is a really good solution to the problem. It's very tricky to verify it statically though, so it will take time to

I think a protocol type system like Scribble is a really good solution to the problem. It's very tricky to verify it statically though, so it will take time to get there.