BFE.devAI解答 - TypeScript 类型谜题
50. implement Sort<T>

实现 Sort 首先需要找到一个可以用于排序的函数，这里我们选择冒泡排序（Bubble Sort）。然后通过递归实现对数组的冒泡排序，先比较第一项和第二项，如果第一项大于第二项，则交换它们的位置。然后开始比较第二项和第三项，以此类推，直到所有项都比较完毕。最后返回排序好的数组。

以下是实现的代码：

type LargerThan<A extends number, B extends number> = A extends B ? false : (A extends B ? false : true)
type SmallerThan<A extends number, B extends number> = A extends B ? false : (A extends B ? true : false)

type Sort<T extends any[], R extends any[] = []> = T extends [infer A, infer B, ...infer Rest] ? LargerThan<A, B> extends true ? Sort([B, A, ...Rest], R) : Sort([A, ...Sort<[B, ...Rest]>, ...R]) : [...T, ...R]

type A = Sort<[100, 9, 20, 0, 0, 55]> // [0, 0, 9, 20, 55, 100]