7 ms·Type theory has applications far beyond readable documentation. It is the basis for modern science.by mycall 3y agoType theory has applications far beyond readable documentation. It is the basis for modern science.