Rescript编译器中的@deriving(jsConverter)在非柯里化模式下的问题分析

问题背景

在Rescript语言中，@deriving(jsConverter)是一个常用的特性注解，它能够自动为类型生成与JavaScript互转的函数。当项目切换到非柯里化模式(uncurried mode)时，开发者发现由@deriving(jsConverter)生成的函数仍然保持了柯里化的形式，这与预期的行为不符。

问题表现

具体表现为两种常见用例：

1. 多态变体类型：

@deriving(jsConverter)
type transport = [
  | #api
  | #csv
]

2. 记录类型：

@deriving(jsConverter)
type site = {
  id: string,
  name: string,
  token: string,
  domain: string,
}

在这两种情况下，生成的fromJs和toJs函数都保持了柯里化的形式，而非预期的非柯里化形式。

技术分析

Rescript编译器在v11版本中引入了对非柯里化模式的支持，这是为了优化性能并更好地与JavaScript互操作。在非柯里化模式下，函数调用会直接对应JavaScript的函数调用方式，避免了柯里化带来的额外开销。

@deriving(jsConverter)生成的函数本应遵循项目的编译模式设置。对于@deriving(abstract)特性，这个问题已经在之前的修复中得到解决，但@deriving(jsConverter)的特性实现中遗漏了这一逻辑。

解决方案

根据项目维护者的反馈，这个问题已经在最近的关于非柯里化模式的工作中得到修复。这意味着：

1. 在非柯里化模式下，@deriving(jsConverter)生成的函数现在会正确地采用非柯里化的形式
2. 这一变更保持了与项目编译模式的一致性
3. 修复同时涵盖了多态变体和记录类型的用例

升级建议

对于遇到此问题的开发者：

1. 确保使用最新版本的Rescript编译器
2. 检查项目中所有使用@deriving(jsConverter)的地方
3. 重新编译项目以获取正确的非柯里化函数形式
4. 如果仍有问题，检查是否还有其他编译选项影响了函数生成

这一修复使得Rescript在非柯里化模式下的行为更加一致，减少了开发者在使用JavaScript互操作特性时可能遇到的意外行为。