:books: 元类型 仅使用Typescr ipt的类型系统实现的函数和算法 介绍 的类型系统使我们可以在编写代码时捕获代码中的错误和错误，而不是稍后再运行代码。 但是...那是使用类型系统的明显方式... :winking_face_with_tongue: 这个项目试图通过实际上在各种类型系统之上实现各种功能和算法，将Typescr ipt的类型系统推向极限。 每个实现都包含详细描述正在发生的事情的注释。 一些功能和算法使用创造性的（有时是没有官方支持的）解决方案来克服类型系统的。