DART中的功能组成类型推理

Question

在DART中，使用仿制药，

身份函数如下：

a to a：

var id = <A>(A a) => a;

a to list类型[a] /code>：

var list = <A>(A a) => [a];

现在，我有函数组成compose：

var compose = 
   <A, B>(B Function(A a) f) =>
      <C>(C Function(B b) g) => 
                       (A a) => g(f(a));

c函数（a）函数（c function（b））函数＆lt; a，b＆gt;（b function（a））compose < /em>

然后组成ID和list

var idList = compose(id)(list);

我希望idlist的类型应为：

list＆lt; a＆gt;函数＆lt; a＆gt;（a），

但实际的类型推理是：

动态函数（Dynamic）

是否有可能改善情况？

Answer 1

这两个调用的结果是（a a）=＆gt; g（f（a））。

这不是 generic 函数，因此它不会具有任何x function＆lt;（y）的类型y 。

这是不可能的“概括性上的抽象”，而DART没有一类通用类型，因此创建适用于通用功能的一般组合将非常困难。

如果您尝试返回通用功能，则它将无法正常工作。

var compose =   // BAD, WON'T WORK
   <A, B>(B Function(A a) f) =>
      <C>(C Function(B b) g) => 
                    <A>(A a) => g(f(a));

f和g的类型被进一步锁定，当a，b和c时/代码>类型参数。

如果您尝试要求参数函数是通用的：

var compose =   // BAD, WON'T WORK
    <B>(B Function<X>(X) f) =>
    <C>(C Function<X>(X) g) => 
                     <A>(A a) => g(f(a));

它仍然无法使用，因为b和c仍然在＆lt的范围之外提供。 X＆gt;示例，因此它们不能依赖于x，在您的情况下应该。

真正的问题是函数类型a function＆lt; a＆gt;（a） and list＆lt; a＆gt;函数＆lt; a＆gt;（a）几乎与其他函数类型无关，因为定义了功能的子类型。

您只能一般对待类型，如果有超模型，则可以将其视为。这就是为什么foo＆lt; t扩展了num＆gt;（t x）=＆gt; X.ToradixString（2）;是无效的，您必须将X视为num到处都是，因为这是您肯定唯一知道的事情。

因此，要使作曲的工作，它需要写为：

var compose =   // TOO SPECIFIC
          (A Function<A>(A a) f) =>
    (List<B> Function<B>(B b) g) => 
                        <A>(A a) => g<A>(f<A>(a));

因为这是您的实际函数参数是和的亚型的唯一一般类型在通用范围。

简而言之，不，不可能改善情况。

DART无法在通用类型上抽象，因此您不能做a＆lt; y＆gt; foo＆lt; a＆lt; x＆gt;，y＆gt;（a＆lt; x＆gt; f＆lt; x＆gt;（x x），y y y）=＆gt; f＆lt; y＆gt;（y）;，并以包含该函数类型参数的方式在通用函数的返回类型上进行抽象。
那就是可能使它起作用的事情。您仍然需要单独的撰写用于通用和非生成功能的功能（对于通用类型参数向量的每个结构）。