TypeScript项目中如何使用ReScript的list、Map等特有类型？

最优方案：优先使用专用 interop 层做类型转换 #

结合你的使用场景（TS侧仅消费数据不修改、重逻辑全部在ReScript侧实现），你提到的自建interop模块的方案是生产环境下的最优选择，理由如下：

• 类型边界清晰：完全避免TS侧接触ReScript特有类型，不需要额外的类型定义依赖，不会出现类似F#到C#那种跨语言原生对象调用的糟糕体验
• 维护成本更低：所有对外暴露的类型统一在interop层管控，后续ReScript侧逻辑重构不会影响TS侧的调用约定
• 性能损耗可忽略：你担心的list转数组开销实际非常低，ReScript的list是单向链表结构，Belt.List.toArray 是O(n)复杂度，对于前端绝大多数展示场景的列表长度来说，这点开销完全感知不到，远低于你在TS侧处理ReScript特有类型的心智成本

interop 层实现示例 #

你可以专门新建一个Interop.res模块，统一处理所有需要对外暴露的类型转换：

// Interop.res
// 对内使用ReScript特有类型，对外导出TS友好的普通类型
type user = {
  id: int,
  name: string,
  gender: char,
  hobbies: list<string>,
  extInfo: Belt.Map.t<string, string>
}

// 对外暴露的转换函数，返回TS可直接消费的结构
let getUserForTS = (u: user) => {
  id: u.id,
  name: u.name,
  // char转成TS可直接用的字符串
  gender: u.gender->Js.String.make,
  // list转成TS原生数组
  hobbies: u.hobbies->Belt.List.toArray,
  // Belt.Map转成TS原生Map
  extInfo: u.extInfo->Belt.Map.toArray->Js.Map.make
}

gentype会自动把返回值的类型生成为TS可以直接用的{ id: number, name: string, gender: string, hobbies: string[], extInfo: Map<string, string> }，不需要任何额外配置。

备选方案：使用 gentype shims 适配特有类型 #

如果你确实需要在TS侧直接操作ReScript特有类型，可以通过配置shims实现，步骤如下：

1. 首先在你的tsconfig.json同级目录新建shims文件，比如gentype_shims.d.ts，定义ReScript特有类型的TS类型：

// gentype_shims.d.ts
// 定义ReScript list类型
type list<T> = { hd: T, tl: list<T> } | typeof Nil
declare const Nil: unique symbol

// 定义ReScript char类型（实际存储为数字编码）
type char = number

// 定义Belt.Map的类型，可根据需要扩展属性
type BeltMap<K, V> = object

2. 在bsconfig.json中配置gentype的shims映射：

{
  "gentypeconfig": {
    "shims": {
      "list": "gentype_shims#list",
      "char": "gentype_shims#char",
      "Belt.Map": "gentype_shims#BeltMap"
    }
  }
}

shims方案的缺陷 #

• 心智成本高：TS侧开发者需要了解ReScript特有类型的内部结构才能操作，比如遍历list需要手动递归判断是否是Nil，和普通数组的操作体验差异极大
• 没有运行时支持：官方没有提供Belt标准库的TS侧独立运行时实现，你如果要在TS侧调用Belt的方法，需要自己导入ReScript编译后的JS代码，类型定义也需要自己手动补全，维护成本极高
• 容易出运行时错误：如果TS侧不小心修改了ReScript的不可变数据结构，会导致难以排查的问题

关于Belt的TS类型定义 #

目前官方没有提供独立的、可在非ReScript项目中直接使用的Belt类型定义，所有Belt的类型都是和ReScript编译流程绑定的，单独抽出来的维护成本极高，不建议在生产环境使用。

最终建议 #

结合你之前跨语言调用的经验，优先选择interop层方案，虽然有少量的类型转换代码，但整体的稳定性、可维护性都远高于直接在TS侧使用ReScript特有类型的方案，非常适合你的使用场景。

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