gpt4 book ai didi

elm - 了解 Elm 中的通用联合类型

转载 作者:行者123 更新时间:2023-12-03 14:58:57 24 4
gpt4 key购买 nike

我无法理解 Html msg 到底是什么类型是,或者它是如何被使用的。我在 VirtualDom.elm 中找到了这行代码,其中 Html msg似乎是以下的别名:

type Node msg = Node

这看起来像一个带有一个类型参数的通用联合类型, msg ,以及一个不包含其他信息的简单案例。我在想:
  • div 如何函数构造这些对象之一?
  • 如何使用这样的对象?
  • 这样的物体怎么可能被使用?
  • 用户定义这样的类型是否有任何值(value),或者是 Html msg只是一种支持 Elm 编译器/运行时的神奇类型?
  • 最佳答案

    Html msgType Alias对于 Node msg , 这是一个 Generic Union Type

    联合类型 Node msg
    仅对 Node msg 进行推理才有意义类型签名在 Elm 架构的上下文中,您的应用程序的所有输入,Http.App.programWithFlags 的标志除外, 通过消息发生。
    msg Node msg 中的类型变量只是暗示你的想法,来自你的 DOM 子树的所有消息都应该属于一个联合类型。

    node
    : String
    -> List (Attribute msg)
    -> List (Html msg) -- List of children nodes with a msg
    -> Html msg -- Produced DOM node

    如何 div函数使用通用联合类型

    感谢 msg类型变量,Elm 编译器知道,当你的 DOM 树在 Elm 架构的上下文中是正确的。

    在 JavaScript 世界中 Node Node msg 的值Union Type 表示具有以下结构的对象:
    {  
    "type":"node",
    "tag":"div",
    "facts":{}, // Attributes and DOM events
    "children":[], // Children, have the same structure
    "descendantsCount": 0 // Used for Virtual DOM diffing
    }

    如何使用通用联合类型

    大多数复杂的核心数据结构都是使用通用联合类型实现的,查看 MaybeDict获得灵感。
    Html msg和用户定义的通用联合类型
    Html msg尤其是有点神奇,但你可以实现一些有趣的结构,比如链表或其他树状结构。
    type List a =
    Empty | Node a (List a)

    关于elm - 了解 Elm 中的通用联合类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/38558964/

    24 4 0
    Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
    广告合作:1813099741@qq.com 6ren.com