elm - "type Task x a = Task"在任务的 Elm 实现中是什么意思？

Question

在这个 Github example ，任务类型定义如下:
type Task x a = Task
然后遵循几个使用这种类型的函数。

应该如何理解 Task 类型？

当我们将类型定义为:
type Foo a b = Foo
Task 是我们依赖 Task 的 native javascript 实现的特定情况吗？

Answer 1

Is Task a specific case where we rely on the native javascript implementation of Task?

确切地。你会注意到 Task类型而不是 Task标签(右侧的东西)是从模块中导出的，因此您实际上无法访问后者。它是使类型系统满意的占位符。

相反， native JavaScript 实现知道真正的任务是什么，即 a JS object。 .任何处理任务的 native 模块( Task 模块或任何第三方库，如 elm-http )都是保密的。但是， Task模块导出了大量的辅助函数，您可以仅使用已发布的库对任务进行大量控制。

澄清编辑:是的，您需要使用第三方库来获得在外部世界中实际产生一些影响的任务。要实际运行该任务，您需要将其发送出一个端口；直到你这样做，任务只是对要完成的工作的描述。