在 TypeScript 中，可以通过使用 type 关键字和箭头函数语法来定义回调函数的类型，而不需要使用显式类型变量推断。以下是一个示例：

type MyCallback = (a: number, b: number) => void;

function performCalculation(a: number, b: number, callback: MyCallback) {
  callback(a, b);
}

performCalculation(5, 10, (x, y) => {
  console.log(x + y); // 输出 15
});

在上面的示例中，我们使用 type 关键字定义了一个名为 MyCallback 的类型，它接受两个参数 a 和 b，并且没有返回值 (void)。然后，我们在 performCalculation 函数中将 callback 参数的类型指定为 MyCallback，这样 TypeScript 将会推断出回调函数的类型。

在调用 performCalculation 函数时，我们传递了一个箭头函数 (x, y) => { console.log(x + y); }，这个箭头函数的参数类型和 MyCallback 类型匹配，所以 TypeScript 会将它推断为回调函数类型。