强制规范通用闭包类型

Question

通常，如果您在Closure中未能指定泛型类型参数，则不会引发错误。 这与许多其他语言（包括TypeScript）不同。 闭包会将类型视为“未知”类型，通常将其忽略。 （可以设置编译器标志以使其抱怨未知类型，但是只能在全局范围内设置它们，并且通常太吵而不能真正使用。）

我有一个Closure类， Response<T> 。 我希望所有Response实例都为<T>指定类型，而不是简单地不输入类型。 为此，每当您尝试实例化通用实例时，我都想强制执行编译时错误，以便我可以查找并修复所有此类实例。

我一直试图用Closure Type Transformation Language来强制这种行为，但是我尝试的实际上没有产生错误。 这是我的最新尝试，但似乎被忽略了：

/**
 * @template OPT_RESPONSE_TYPE
 * @template RESPONSE_TYPE := cond(
 *     !isUnknown(OPT_RESPONSE_TYPE),
 *     OPT_RESPONSE_TYPE,
 *     printType(
 *         'ERROR: Please specify a non-generic type for Response',
 *         typeExpr('ERROR')
 *     )
 * ) =:
 *
 * @param {RESPONSE_TYPE=} value
 */
const Response = class {
  constructor(value = undefined) {
    /** @const */
    this.value = value;
  }
}

作为一项半措施，​​我一直在将所有未知/未指定的泛型类型转换为undefined类型，因为这将鼓励编译器针对潜在的不安全使用方式引发更多错误：

 * @template OPT_RESPONSE_TYPE
 * @template RESPONSE_TYPE := cond(isUnknown(OPT_RESPONSE_TYPE), 'undefined', OPT_RESPONSE_TYPE) =:

还有什么更直接的方法要求在Closure中指定泛型类型参数吗？

Answer 1

这可能是您可以使用自定义一致性配置执行的操作 。 如果您有足够的勇气去研究未记录的类型转换语言，那么这也不是问题。