在 TypeScript 中，函数形状可以用多种方式进行定义。下面介绍了几种常用的函数形状定义方式：
- 函数声明：
function add(a: number, b: number): number {
return a + b;
}
在函数声明中，我们直接使用 function 关键字来声明函数，并指定参数的类型和返回值的类型。
-
函数表达式：
const subtract = function(a: number, b: number): number {
return a - b;
};
使用函数表达式的方式，我们将一个匿名函数赋值给一个变量。在这种情况下，可以通过变量的类型推断来推导参数和返回值的类型，当然也可以显式地指定类型。
-
箭头函数：
const multiply = (a: number, b: number): number => a * b;
箭头函数是一种更简洁的函数表达式形式，通过箭头 => 分隔参数和函数体，并且可以省略 function 关键字和 return 关键字（当函数体只有一条返回语句时）。
- 函数类型别名：
type Calculator = (a: number, b: number) => number;
const divide: Calculator = (a, b) => a / b;
我们可以使用类型别名来定义一个函数类型，将参数类型和返回值类型组合在一起。然后可以使用类型别名来声明具体的函数。
总结起来，函数形状可以通过函数声明、函数表达式、箭头函数和函数类型别名等方式进行定义。每种方式都有其自身的特点和适用场景，选择合适的方式取决于具体的需求和编码风格。
infer 是 TypeScript 中的一个关键字，它用于从类型中推断（infer）出其他类型。
在条件类型（Conditional Types）中，我们可以使用 infer 来引入一个类型参数，并根据条件对该类型参数进行推断。具体来说，infer 用于提取并推断出某个表达式中的类型，并将其作为新的类型参数使用。
下面是一个示例，展示了 infer 的使用：
type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;
function add(a: number, b: number): number {
return a + b;
}
type AddReturnType = ReturnType<typeof add>; // 推断出 add 函数的返回值类型
console.log(typeof add); // function
console.log(typeof AddReturnType); // number
在上述示例中，我们定义了一个 ReturnType<T> 类型，它接受一个泛型参数 T，表示函数类型。通过使用条件类型和 infer R，我们在条件中判断 T 是否满足函数类型的要求。如果满足条件，那么 R 将被推断为函数的返回值类型。最终，ReturnType<T> 类型将被定义为函数的返回值类型。
通过调用 typeof 运算符，我们可以看到 add 的类型为 function，而 AddReturnType 的类型为 number，这是因为 ReturnType<typeof add> 推断出了 add 函数的返回值类型。
总结起来，infer 关键字在 TypeScript 中用于从类型中推断出其他类型，主要用于条件类型中。它允许我们在条件类型中提取和使用表达式中的类型，并将其作为新的类型参数