D docs.google.com Type systems and the future of programming languages 74 points lewisjoe 6 years ago 82 comments