[mercurial]

Yes, but something like Idris isn't mainstream. 99% of the languages out there don't allow you to express this kind of invariant.

[tel]

Certainly, but it's going to become more and more so. The right way to do an API is to expose your invariants. Some day that will be a thing—and the distributed problem will still be here.

[mercurial]

That or we will all have to write Javascript in Javascript :)

[mercurial]

That or we will all have to write Javascript in Javascript.