理解这个elm函数的难点

Question

我正在学习 elm，我已经阅读了文档，现在我正在尝试对所有示例进行注释，以试图解释每个函数中发生的事情。

This exercise 我花了很长时间才理解。

下一个类型注解是什么意思？我得到的第一个参数是 String，最后一个是 Html，但是中间的参数呢？是由String字段和List String字段组成的Result吗？

view : String -> Result String (List String) -> Html

results : Signal.Mailbox (Result String (List String))

我将把异步位留给另一个问题，非常感谢！

Answer 1

Result 抽象了一个可能成功或失败的操作。它被定义为

type Result error value
    = Ok value
    | Err error

如果操作成功，则值为 Ok value，否则，如果失败，则值为 Err error。在您的情况下，成功值将是一个字符串列表，而错误值将是一条消息。

对于第二点，事情是类似的，results 是一个包含 Result 的邮箱，它将是 Ok (List String) 或 Err String

Difficulties in understanding this elm function