最近在公司技术群里发现一个 typescript体操题库，之前虽然也用 ts但只是当成一个纯粹的类型注释来用，也听说过 ts的类型可编程性，但一直不解其意，直到我看到这个库后大感震撼