新的介绍内容：

OCaml和Reason IDE：为Visual Studio Code带来强大功能

OCaml和Reason IDE是专为Visual Studio Code设计的扩展工具，为OCaml和Reason语言的开发者提供了全面的支持。无论您是刚开始学习还是已经是经验丰富的开发者，该扩展都能帮助您提高编程效率和代码质量。

讨论与反馈

有任何想法、需要帮助或其他反馈，欢迎加入Reason Discord服务器的#editorsupport频道，通常可以找到@freebroccolo在线交流。

主要功能

• 高亮显示

  • 高级语法高亮支持Reason
  • 基本高亮支持Merlin、OCamlbuild和Opam文件

• 编辑功能

  • 文档格式化（可在保存时启用，设置editor.formatOnSave）
  • 代码补全和代码片段
  • 重命名符号（F2或右键点击）
  • 模式拆分

• 导航功能

  • 缓冲区符号大纲（⇧⌘O，列表中输入:排序项目）
  • 项目符号大纲（⌘T，支持正则表达式）
  • 跳转到定义（⌃点击）和代码预览（⌘悬停）
  • 查找引用（⇧F12或右键点击）

• 静态分析

  • Merlin集成，支持增量编辑同步
  • 在定义上显示类型（可通过editor.codeLens设置禁用）
  • 悬停显示类型和Markdown渲染的文档
  • 在线代码检查和编译器诊断，提供建议修复
    • 切换诊断面板（⇧⌘M）
    • 循环浏览当前文件的诊断（F8）
    • 点击灯泡图标查看建议修复
  • 内置支持在编辑器中显示BuckleScript的bsb错误，与Merlin的诊断互补

入门指南

推荐语法主题

尽管语法高亮在大多数主题下都能正常显示，我们推荐并测试了以下主题：

默认主题

• Dark（推荐；此主题经过最彻底的测试）

其他主题

• Atom One Dark
• Dracula
• Flatland Monokai
• Oceanic Next

配置

Reason

安装Reason时会自动安装Merlin，因此可以跳过Merlin的安装步骤。

Merlin

如果您已经安装了Reason并计划将其用于JS编译，则Merlin已为您配置好。可以跳过此步骤。

此扩展高度依赖于Merlin，因此需要在项目中设置Merlin以启用补全和悬停信息。请参阅Merlin wiki了解详细步骤。基本需求是在项目根目录下有一个.merlin文件，列出源目录、库和使用的扩展。

Bsb

您可以选择直接从编辑器启动bsb，并在编辑器内显示命令行错误。请在Code > Preferences > Settings中添加以下内容：

"reason.diagnostics.tools": [
  "merlin",
  "bsb"
]

Merlin的诊断是尽力而为的，可能会有误；bsb的诊断100%正确。bsb诊断也适用于Windows。

安装

注意：由于现有问题，请确保从命令行在项目根目录打开vscode！

像安装其他扩展一样安装此Visual Studio Code扩展。

搜索reason并安装由Darin Morrison提供的OCaml和Reason IDE。

要启用保存时的格式化，请在Code > Preferences > Settings中添加以下内容：

{
  "editor.formatOnSave": true
}

如果要启用codelens，请在Code > Preferences > Settings中添加以下内容：

"reason.codelens.enabled": true

高级功能

模式拆分

对于下面的示例，表示当前VS Code编辑器光标的位置。

引入switch语句

要引入switch语句，请执行以下步骤：

1. 选择一个标识符或将光标移动到其单词范围内的任何位置（如下面所示）
2. 打开调色板（⇧⌘P）并运行Reason: case split（输入case应会调出）

之前

let foo (arg: list 'a) => arg;

之后

let foo (arg: list 'a) => switch arg {
  | [] => failwith ""
  | [_, ..._] => failwith ""
};

嵌套switch表达式

switch引入功能也适用于嵌套switch表达式：

之前

let foo (arg: list 'a) => switch arg {
  | [] => failwith ""
  | [_, ...xs] => xs
};

之后

let foo (arg: list 'a) => switch arg {
  | [] => failwith ""
  | [_, ...xs] => switch xs {
    | [] => failwith ""
    | [_, ..._] => failwith ""
  }
};

拆分模式而不引入switch

模式拆分功能可用于进一步拆分现有模式：

之前

let foo (arg: list 'a) => switch arg {
  | [] => failwith ""
  | [x, ...xs] => failwith ""
};

之后

let foo (arg: list 'a) => switch arg {
  | [] => failwith ""
  | [_] | [_, _, ..._] => failwith ""
};