4 ms·A Brief History of Type Systems and How AI Is Changing the Tradeoffs1 points by joshcramer 7mo ago