集合、类型与类型检查 (kaleidawave.github.io)

本文深入探讨了类型理论，解释了类型检查的必要性及其带来的抽象能力。文章首先阐述了类型提供的结构信息、错误检测、构建优化和程序员理解代码等方面的作用。接着，文章定义了类型，并将其与集合进行比较，解释了类型如何根据属性对数据进行分类。文章详细介绍了基本类型（any 和 never）、类型的组合（交集和并集）、参数化类型、特殊根类型（元组、对象、函数）、条件类型和类型层级。此外，文章还讨论了类型操作，包括子类型化、不相交性、属性读取、函数调用和类型参数替换，以及类型检查过程、上下文、类型注释、类型推断、反射和类型表示等内容。最后，文章简要提及了依赖类型和未来将要探讨的更高级的类型理论主题。