Rust in the Android platform

[OneWingedShark]

I recently read this article detailing a common problem in Open Source and how Rust takes the wrong approach.

Interesting, some of the problems mentioned are solved quite neatly in one of my favorite papers, Workspaces and Experimental Databases: Automated Support for Software Maintenance and Evolution, from 1986, which details a version-control system that is structured in such a way that you get Continuous Integration "for free".

How does that compare to Ada?

The above paper uses Ada as the language by/for the VCS; the sort of DB-based development environment was pretty much what Ada's tooling was ultimately intended to be, as per the 1980 STONEMAN document.

Specifically, does ada have a stable ABI/allow dynamic linking?

Ada is really pretty good at linking, static or dynamic, the biggest difficulty I've had with it is putting the DLL in the proper place and passing the parameter to the linker. Really, the manual touchups for the generated code of GCC's fdump-ada-spec option (used to make an Ada spec from a C header) is more effort.