前言 本篇文章是 TypeScript的另一面：类型编程 系列的第 1 篇，这一系列将发布在同名专栏中（见 知乎专栏 或 掘金专栏）。同时，这一系列的文章将主要继承于笔者在去年的同名文章（原版，炒冷饭