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

标签 elm type-annotation

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

This exercise我花了相当长的时间才理解。

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

View :字符串 -> 结果字符串(列表字符串) -> Html

  • 和上面几乎一样,那些嵌套类型是什么意思?
  • 结果:Signal.Mailbox(结果字符串(列表字符串))

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

    最佳答案

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

    type Result error value
        = Ok value
        | Err error
    

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

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

    关于elm - 理解这个 elm 函数的困难,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35492857/

    相关文章:

    elm - Elm 中组件之间的通信

    java - 带注释方法的首选修饰符顺序

    swift - 如何将Character类型注解转成String类型注解?

    html - 在 Elm 中更新 contenteditable div 时光标位置丢失

    python - mypy:无法推断 "map"的类型参数 1

    python - 如何在Python3.7/3.8中使用通用namedtuple?

    java - 如何访问接收器类型参数的类型注释

    time - 我如何获得 Elm 的当前时间?

    javascript - 如何在 Elm 中实现无限滚动?

    elm - 防止代码的 javascript 部分中的 anchor 标记刷新 Elm 单页面应用程序中的页面?