A Brief History of Type Systems and How AI Is Changing the Tradeoffs #1 Post by joshcramer » Mon, Mar 09, 2026, 5:36 PM UTC A Brief History of Type Systems and How AI Is Changing the Tradeoffsntnt-lang.org