:=运算符在Elm中究竟做了什么

Question

以下是文档中使用此运算符的一个不清楚的示例：http://package.elm-lang.org/packages/elm-lang/core/3.0.0/Json-Decode#at

Answer 1

请注意，Json中删除了（：=）。从0.18.0 开始解码

Infix运算符

在Elm中，您可以定义自定义的中缀运算符，它们存在的目的是提供更可读的代码版本。具有讽刺意味的是，当你不熟悉这个概念时，它会起到相反的作用。

（：=）是一个自定义中缀运算符，由Json.Decode包提供。

请考虑以下自定义中缀运算符的示例：

import Html exposing (text)
(<|>) : String -> String -> String
(<|>) beginning end =
  beginning ++ "Bar" ++ end
main =
  text ("Foo" <|> "Buz") -- "FooBarBuz"

强烈建议避免使用自定义中缀运算符。

让我们回到（：=）运算符。

它的类型定义看起来像(:=) : String -> Decoder a -> Decoder a，这意味着我们必须从可用的解码器原语列表中传递一个String和一个Decoder，并重新运行一个新的解码器，其中映射了一个字符串键。

本机代码

在JavaScript世界中，解码器是进行类型检查的回调函数。

例如，这里有一个解码器字符串原语：

function decodeString(value) {
  if (typeof value === 'string' || value instanceof String) {
    return value;
  }
  crash('a String', value);
}

这里有一个相当于（：=）运算符的JavaScript：

function decodeField(field, decoder) {
  return function(value) {
    var subValue = value[field];
    if (subValue !== undefined) {
      return decoder(subValue);
    }
    crash("an object with field '" + field + "'", value);
  };
}

TL；DR

（：=）将字符串键映射到回调（这并不完全是回调，但这是你能想到的最接近的回调），当你将其转换为Elm值时，它会检查JavaScript对象中的值的类型。

Answer 2

它为json字符串中的给定键创建一个解码器。

"name" := string

创建一个解码器，提取"name"中的值并将其传递给string解码器。

Answer 3

它获取您正在操作的字典的密钥，并尝试使用解码器解码在那里找到的内容，例如任何内置的解码器，甚至是您自己的自定义解码器。

它本质上是一个单访问at。

at ["name"] string

等于：

"name" := string