@lsby/ts-hkt 这是一个 TypeScript 库,用于模拟高阶类型(Higher-Kinded Types)。由于 TypeScript 的类型系统不支持“一等”类型的构造器(First-class Type Constructors),本库通过接口和类型运算来实现类似的功能。 功能 支持类型构造器的模拟 实现柯里化风格的参数填充 支持参数逆推 示例 请查看 src/example.ts 以了解使用方法。