TypeScript 类型系统（草稿）

lucifer at 
……