打字稿：评估泛型函数的类型

Question

有什么技巧可以“评估”泛型函数的类型吗？

考虑以下几点：

type Arr = <A>() => A[]

type Ev<G, A> = ???

问题： 是否可以填写??? 使得Ev<Arr, A> 等于() => A[]？ （与<A>() => A[]相比）

---

所需行为的更多示例：

Ev<<A>() => A[], number>
    // should evaluate to
    // () => number[]

Ev<<A>() => string, number>
    // should evaluate to
    // () => string

Ev<<A>() => [string, A], { some: "thing" }>
    // should evaluate to
    // () => [string, { some: "thing" }]

---

问题的简化版本是：我们可以定义

type EvNum<A> = ???

这样

EvNum<
   <X>() => X
> // should be `number`

EvNum<
   <X>() => X[]
> // should be `number[]`

EvNum<
   <X>() => [X, "hi"]
> // should be `[number, "hi"]`

EvNum<
   <X>() => SomeGenericType<X>
> // should be `SomeGenericType<number>`

EvNum<
   <X>() => "constant"
> // should be `"constant"`

Answer 1

如果我理解正确的话应该是：

type EV<T> = () => T;

否则问题没有意义或必须更详细地解释。

Answer 2

至于您的第一个问题，这些被称为更高种类的类型，并且在本答案中不受 Typescript 支持。

A Higher Kinded Type 只是“一种对某种类型进行抽象的类型，然后又对另一种类型进行抽象。”所以如果你想要一个类型，你传入一个类型来抽象地创建一个新类型，这是一个更高种类的类型的例子。而且在TS中是不可能的。

您不能将第二种类型传递给泛型类型并得到派生类型。

您的最后一个示例（简化）实际上是 ReturnType，因此不确定您的意思。完全有可能想出。但是你不能创建一个类型。

type EvNum<T> = () => T;
type Arr<T> = T[];

function func<T>(param: EvNum<T>): T {
    return param();
}

let x1 = func(()=> 4); //number
let x2 = func(()=> [4]); //number[]
let x3 = func(()=> [4, "hi"] as const); //[4, "hi"]
let x4 = func(()=> "constant" as const); //"constant"
let cool: Arr<number> = [4, 5, 6];
let x5 = func(() => cool); //Arr<number>

这会传递您请求的类型