The TypeScript type system as a language without any JavaScript (for fun)github.com/charleswaddell8 pointssgarrity4 years ago