如何正确使用Js.Dict.t类型配合Js.Dict.get？ReasonML类型错误解决

你遇到的核心问题是类型不匹配：lasttrack被定义为Js.Dict.t(trackT)，但你试图把它当作trackT类型直接访问属性（比如lasttrack.name），这两个类型完全不兼容。你不需要用Js.Dict.t来包裹trackT，而是应该通过可选类型来处理JSON中可能缺失的字段，这样既保持类型安全，又能优雅地检查键是否存在。

修正方案：用可选类型替代Js.Dict #

这种方式更符合ReasonML的类型安全设计，代码也更简洁：

let api_key = "";
let api_url = "http://ws.audioscrobbler.com/2.0";
let method = "user.getRecentTracks";
let user = "montogeek";

// 定义类型，将可能缺失的attr设为可选类型
type trackAttr = { nowplaying: bool };
type artistT = { "#text": string }; // 特殊字段名需加引号
type trackT = {
  attr: option(trackAttr), // 用option处理字段可能不存在的情况
  name: string,
  artist: artistT
};
type recentTrackT = { track: array(trackT) }; // 直接定义为trackT数组，无需Js.Dict
type response = { recenttracks: recentTrackT };

Js.Promise.(
  // 修正URL参数的拼写错误（原代码里的&user参数写错了）
  Fetch.fetch(api_url ++ "?method=" ++ method ++ "&user=" ++ user ++ "&limit=1&format=json&api_key=" ++ api_key)
  |> then_(Fetch.Response.json)
  |> then_(json: response => {
    let lasttrack = json.recenttracks.track[0];
    // 通过模式匹配处理可选的attr字段
    let online = switch (lasttrack.attr) {
      | None => false
      | Some(attr) => attr.nowplaying
    };
    let info = online ? "Enjoying " ++ lasttrack.name ++ " by " ++ lasttrack.artist["#text"] : "";
    { online, info }
  })
);

关键调整说明 #

1. 可选字段处理：把trackT中的attr设为option(trackAttr)，ReasonML会自动适配JSON中该字段存在或缺失的场景，不需要借助Js.Dict.get来检查键是否存在。
2. 类型匹配修正：recentTrackT中的track直接定义为array(trackT)，这样json.recenttracks.track[0]就是trackT类型，你可以直接访问它的name、artist等属性，彻底解决类型不匹配的错误。
3. 特殊字段名处理：artist对象中的#text字段包含特殊字符，需要用引号包裹才能在ReasonML中正确识别。
4. URL参数修正：原代码里的& ++ user ++ "=" ++ user是拼写错误，应该是&user= ++ user。

若确实需要使用Js.Dict的场景 #

如果你的业务场景中字段名是动态不确定的，可以用Js.Dict手动解码每个字段，但代码会更繁琐：

let api_key = "";
let api_url = "http://ws.audioscrobbler.com/2.0";
let method = "user.getRecentTracks";
let user = "montogeek";

type trackAttr = { nowplaying: bool };
type artistT = { "#text": string };

Js.Promise.(
  Fetch.fetch(api_url ++ "?method=" ++ method ++ "&user=" ++ user ++ "&limit=1&format=json&api_key=" ++ api_key)
  |> then_(Fetch.Response.json)
  |> then_(json => {
    // 逐层解码JSON为字典
    let recenttracks = Js.Dict.get(json, "recenttracks") |> Js.Option.getExn;
    let trackArray = Js.Dict.get(recenttracks, "track") |> Js.Option.getExn |> Js.Json.decodeArray |> Js.Option.getExn;
    let lasttrackDict = trackArray[0] |> Js.Json.decodeDict |> Js.Option.getExn;
    
    // 手动提取并转换每个字段的类型
    let name = Js.Dict.get(lasttrackDict, "name") |> Js.Option.getExn |> Js.Json.decodeString |> Js.Option.getExn;
    let artistDict = Js.Dict.get(lasttrackDict, "artist") |> Js.Option.getExn |> Js.Json.decodeDict |> Js.Option.getExn;
    let artistText = Js.Dict.get(artistDict, "#text") |> Js.Option.getExn |> Js.Json.decodeString |> Js.Option.getExn;
    
    // 检查attr字段并转换nowplaying的类型（last.fm返回的是字符串"true"/"false"）
    let online = switch (Js.Dict.get(lasttrackDict, "attr")) {
      | None => false
      | Some(attrJson) => 
        attrJson |> Js.Json.decodeDict |> Js.Option.getExn
        |> Js.Dict.get("nowplaying") |> Js.Option.getExn
        |> Js.Json.decodeString |> Js.Option.getExn
        |> bool_of_string
    };
    
    let info = online ? "Enjoying " ++ name ++ " by " ++ artistText : "";
    { online, info }
  })
);

这种方式适合动态字段的场景，但需要手动处理每个字段的解码和可选值，不如第一种方式简洁。

内容的提问来源于stack exchange，提问作者Fernando Montoya