3 ms·Type systems have many more applications than just compilers.by trueismywork 9mo agoType systems have many more applications than just compilers.