在编程中，“类型体操”（Type Gymnastics）是一个非正式的术语，通常用来描述在静态类型语言中对类型进行复杂的操作和转换的行为。这可能包括创建泛型、使用类型推导、类型转换、类型约束和其他高级类型系统的特性来实现代码的灵活性和重用性。
类型体操可能会使代码更加抽象和灵活，但也可能导致代码难以理解和维护。因此，开发者在进行类型体操时需要在类型安全、代码清晰性和复用性之间找到平衡点。
例如，在使用泛型编程时，开发者可能需要定义复杂的类型层次结构，以便能够编写处理多种不同类型的通用函数。这就需要对类型系统有深入的理解，以及在必要时对类型进行适当的转换和操作。
在一些强类型语言如Haskell、Scala、TypeScript等中，类型体操可能更为常见，因为这些语言提供了丰富的类型系统和相关特性，使得开发者能够编写高度抽象和复用的代码。
typescript 比较经典的类型体操库：https://millsp.github.io/ts-toolbelt/