使用Typescript返回从传递的泛型参数推断的排序的内部类型

，可以通过以下方式实现：

type Sort<T> = T extends [infer A, infer B, ...infer Rest]
  ? [...Sort<Extract<Rest, T[number]>>, A, B]
  : T;

type Input = [string, number, boolean];
type SortedInput = Sort<Input>;

// SortedInput的类型为：[boolean, number, string]

在上述代码中，我们定义了一个泛型类型Sort<T>，它接受一个泛型参数T。通过条件类型和递归，我们对传递的泛型参数进行推断和排序。首先，我们使用条件类型T extends [infer A, infer B, ...infer Rest]来判断泛型参数T是否是一个元组类型，并将其拆分为头部元素A、第二个元素B和剩余元素Rest。然后，我们使用递归调用Sort<Extract<Rest, T[number]>>对剩余元素进行排序。最后，我们将头部元素A和第二个元素B添加到排序后的剩余元素的末尾，从而得到排序后的结果。

在示例中，我们定义了一个输入类型Input为[string, number, boolean]，然后使用Sort<Input>来获取排序后的类型。最终，SortedInput的类型为[boolean, number, string]，即根据输入类型中的元素类型进行排序后的结果。