TypeScript中如何定义泛型匿名函数类型？示例代码是否合法？

1. 泛型匿名函数类型的定义方式 #

TypeScript支持泛型匿名函数类型，常见两种写法：

• 直接在函数表达式前声明泛型参数：

  const genericFunc: <A>(arg: A) => A = (arg) => arg;
  

• 先通过类型别名/接口定义泛型函数类型，再赋值给匿名函数：

  type GenericFunc<A> = (arg: A) => A;
  const genericFunc: GenericFunc<string> = (arg) => arg;
  

2. 你提供的not函数是合法的TypeScript语法 #

这段代码完全符合TS语法规范，拆解细节：

• <A>是函数的泛型参数，保证传入的Eq<A>与返回的Eq<A>类型一致
• 函数接收实现Eq<A>接口的参数E，返回一个新的Eq<A>对象，其equals方法是对原E.equals结果取反
• 这是TS中标准的泛型箭头函数写法，在函数式编程场景（比如你用到的fp-ts库）中很常见

补充说明 #

泛型匿名函数的核心价值是让函数的输入输出类型建立关联，在工具函数封装、函数式编程中实用性很强。只要泛型参数声明位置正确（箭头函数的<A>需写在参数列表前），语法上就不会有问题。

内容的提问来源于stack exchange，提问作者Shnd