javascript - 函数表达式的流通用类型(箭头函数)

Question

我通常会尝试将流函数类型与其实现分开。当我写的时候，它的可读性稍微好一点:

type Fn = string => string;
const aFn: Fn = name => `hello, ${ name }`;

而不是:

const aFn = (name: string): string => `hello, ${ name }`;

当使用泛型类型时，我们可以这样写:

const j= <T>(i: T): T => i;

const jString: string = j('apple'); // √
const jNumber: number = j(7);       // √

但是我怎样才能将这种类型与函数表达式分开呢？

type H<T> = (input: T) => T;
const h:H<*> = i => i;              // --> WHAT SHOULD GO FOR '*'?

const hString: string = h('apple'); // X error
const hNumber: number = h(7);       // X error

*应该使用什么？ any 可以，但这不是我想要的。

在 haskell 中这不是问题:

identity :: a -> a
identity a = a

identity "a-string" // √
identity 666        // √

参见 flow.org/try

Answer 1

所以我注意到如果我使用 bounded generics ，它将起作用:

type H<T> = <T: *>(input: T) => T;
const h:H<*> = i => i;

const a: string = h('apple');      // √
const b: number = h(7);            // √
const c: {} = h({ nane: 'jon' });  // √

不要问我为什么。