jfwuasdfs·قبل سنتين·discussVery true. You need to go to a school that specializes in type theory [1].[1]: https://cstheory.stackexchange.com/questions/50780/which-uni...
jfwuasdfs·قبل سنتين·discussAgreed 100%. Other benefit is fearless refactoring since API changes appear as type errors.With no type-checking you need to gamble testing all codepaths.
jfwuasdfs·قبل سنتين·discuss> Yes, we have extensive high school and college work-study/internships and participants make $72k/yrThis is below COL in many areas. If you increase this to 125k like Bucees then you should be able to draw in more candidates.