jfwuasdfs

A cease-fire may buy us time to figure out a long-term solution.

Very true. You need to go to a school that specializes in type theory [1].

[1]: https://cstheory.stackexchange.com/questions/50780/which-uni...

Agreed 100%. Other benefit is fearless refactoring since API changes appear as type errors.

With no type-checking you need to gamble testing all codepaths.

> Yes, we have extensive high school and college work-study/internships and participants make $72k/yr

This is below COL in many areas. If you increase this to 125k like Bucees then you should be able to draw in more candidates.