3 ms·

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 12y ago
  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 12y ago
    That or we will all have to write Javascript in Javascript.
  • mercurial 12y ago
    That or we will all have to write Javascript in Javascript :)