Did Julia community do something to improve its correctness?

[Raf]

Well, here’s one:

[RFC] GraphInterface.jl: An interface proposal for Graphs.jl version 2.0

I just wanna point out that while everyone is free to design their own interface, it is only valuable if there are lots of algorithms that can exploit it. At the moment, the main source of algorithms is Graphs.jl, and that seems unlikely to change. Given the lack of maintainer time compared to the size of the codebase, a complete algorithmic rewrite is out of the question. This means we need existing code to work with minor adaptations. In fact, rethinking the interface is already a major unde…

It seems the plan is for it to be an explicitly defined and tested interface with Interfaces.jl