如果最里面的函数是泛型的，你能写一个正确推断类型的‘Compose`方法吗

可以的，对于这个问题，我可以给出如下的完善且全面的答案：

在编程中，如果最里面的函数是泛型的，并且我们需要写一个正确推断类型的Compose方法，我们可以使用以下方式实现：

function Compose<T>(f: (arg: T) => T, g: (arg: T) => T): (arg: T) => T {
  return (arg: T) => f(g(arg));
}

上述代码中，Compose方法接受两个函数参数f和g，这两个函数都需要接受泛型参数arg并返回泛型类型T。Compose方法本身也是一个函数，接受泛型参数arg并返回泛型类型T。在内部实现中，我们将g函数应用到arg上，然后再将结果应用到f函数上，最终返回f(g(arg))的结果。

通过这样的实现，我们可以正确推断出Compose方法中的泛型类型，并在使用时传入具体的类型。这样，我们可以实现泛型函数的组合，并保持类型的一致性。

关于泛型函数和类型推断的更多信息，你可以参考以下腾讯云相关产品和产品介绍链接地址：

• 腾讯云产品和服务相关信息：腾讯云
• TypeScript官方文档：TypeScript
• TypeScript泛型的使用指南：TypeScript 泛型
• TypeScript类型推断的详细说明：TypeScript 类型推断

希望以上信息对你有所帮助。如果还有其他问题，欢迎继续提问。