If someone doing a PhD on some subject made it PhD level and inaccessible to non PhDs, you wouldn't be able to use virtually any of the data structures you use

If someone doing a PhD on some subject made it PhD level and inaccessible to non PhDs, you wouldn't be able to use virtually any of the data structures you use today. Additionally, even if discovery of a certain pure algorithm is difficult, that doesn't mean that using that algorithm (especially one abstracted behind a nice API) is difficult. There's no doubt that not having aliasing everywhere, and having basic laws available about the behavior of programs and combinators aids in reasoning about programs.