DART中的一些函子类型

Question

某些函数fmap

fmap :: (a -> b) -> f a -> f b

在Haskell中，类似地说，在Dypescript中的

type F<A> = A[];
const F = // type constructor
  <A>(a: A): F<A> => [a];

type map = <A, B> // function => function
  (f: (a: A) => B) =>
  (Fa: F<A>) => F<B>;

在DART中，我尝试实现，

typedef F<A> = Map<String, A>;
 
typedef Fmap<A, B> = (F<B> Function(F<A>)) (Function(B Function(A)));

但是第二行有错误，正确的语法是什么？

Answer 1

老实说，我没有丝毫想法您要做什么，因为我没有得到两个示例中的任何一个，但是这可以很好地编译：

typedef F<A> = Map<String, A>;

typedef Fmap<A, B> = F<B> Function(F<A>) Function(B Function(A));