将参数类型作为类型参数传递给 TypeScript 或 Flow 中的另一种类型

Question

出于演示目的，请考虑以下类型：

type ToEnglish<A extends string> = 
  A extends "1" ? "one" :
  A extends "2" ? "two" :
  A extends "3" ? "three" :
  "etc";

type Convert<A extends string> =
  A extends `${infer C}${infer Tail}` ? 
    `${ToEnglish<C>}-${Convert<Tail>}` : "";

例如，Convert<"12"> 的结果是 "one-two-"。

现在我想让它更通用并接受一个“翻译器”，例如上面的ToEnglish作为参数：

type Convert2<A extends string, Translator> =
  A extends `${infer C}${infer Tail}` ? 
    `${Translator<C>}-${Convert<Tail>}` : "";

这不起作用：Type 'Translator' is not generic. ts(2315)

如果我尝试写作：

type Convert3<A extends string, Translator<_>> = 

我收到：',' expected. ts(1005) <_>。

问： 有没有办法在 TypeScript、Flow 或另一个 JavaScript 超集中以某种方式将参数（通用）类型作为参数（参数）传递给另一种类型？
类似于高阶函数，但针对类型。

Answer 1

我建议一种解决方案，该解决方案绕过必须直接将泛型类型作为类型参数传递。例如，通过使用本质上是翻译者的记录，您可以改为传递给定翻译者的名称并访问类型：

Playground

type ToEnglish<A extends string> = 
  A extends "1" ? "one" :
  A extends "2" ? "two" :
  A extends "3" ? "three" :
  "etc";

type ToSpanish<A extends string> = 
  A extends "1" ? "uno" :
  A extends "2" ? "dos" :
  A extends "3" ? "tres" :
  "etc";


type TranslatorMap<A extends string> = {
    English: ToEnglish<A>;
    Spanish: ToSpanish<A>;
}

type ConvertGeneric<A extends string, Translator extends keyof TranslatorMap<A>> =
  A extends `${infer C}${infer Tail}` ? 
    `${TranslatorMap<C>[Translator]}-${ConvertGeneric<Tail, Translator>}` : "";

type EnglishTest = ConvertGeneric<"12", "English">
type SpanishTest = ConvertGeneric<"12", "Spanish">

Answer 2

这不是问题的直接答案。只是一个flowjs 的例子：

// @flow

type TypeConstructor = <V>() => {updated:V};

type Obj = {
  a: number,
  b: string
}

type Result = $ObjMap<Obj, TypeConstructor>

const ok:Result = {
  a: {updated:42},
  b: {updated:42}
}; // ok

const error:Result = {
  a: 42,
  b: 42
}; // error

您可能已经注意到，TypeConstructor 就像回调。

它检索type 并将其转换为另一个type。每个obj 键/值对都传递给TypeConstructor。在 TypeScript 中是不可能的，因为 TypeScript 需要为 TypeConstructor 显式泛型。