elm - 理解这个榆树函数的困难

Question

我正在学习榆树，我已经阅读了文档，现在我正在尝试注释所有示例，试图解释每个函数中发生的情况。

这个练习花了我相当长的时间来理解。

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

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

2. 和上面差不多，那些嵌套类型是什么意思呢？

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

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

Answer 1

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

type Result error value
    = Ok value
    | Err error

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

对于第二点，事情是相似的，results是一个包含 a 的邮箱Result，它要么是Ok (List String)要么Err String