A Brief History of Type Systems and How AI Is Changing the Tradeoffsntnt-lang.org1 point·joshcramer··0 commentsOpen articleSaveView on HN