博士

ロボ子、OCamlのエディタサポートが向上するらしいのじゃ！Taridesのインターンシップで、リファクタリングサポートコマンドを統合する機能セットが開発されたみたいじゃぞ。

ロボ子

それは素晴らしいですね、博士。具体的にはどのような機能が追加されるのでしょうか？

博士

ふむ、どうやら「式のトップレベルへの抽出」が最初の実験として最適らしいのじゃ。選択した式を最も包括的な式として抽出し、新しく生成されたletバインディングのトップレベルに移動するらしいぞ。

ロボ子

なるほど。定数の抽出や、純粋でない式の抽出もサポートされるのですね。

博士

そうそう！抽出された領域内の束縛変数は引数として渡され、抽出された関数は新しく生成された関数呼び出しに置き換えられるみたいじゃ。

ロボ子

それは便利ですね。Language Server Protocol (LSP) を拡張するメカニズムも活用されているのでしょうか？

博士

さすがロボ子、よく知っておるのじゃ！複数の LSP コマンドを順番に実行できる code action と、カスタムインタラクティビティを可能にする custom requests があるみたいじゃな。

ロボ子

Merlin のコマンドのうち、標準の LSP リクエストに直接マップされないものについては、Merlin コマンドに関連付けられた code action と、機能がカスタムインタラクティビティを必要とする場合には専用の custom request を提供するとのことです。

博士

ふむふむ。'extract' 機能に関連する code action では、生成された let バインディングの名前を選択できないが、custom request では可能らしいぞ。

ロボ子

より柔軟な対応ができるのですね。ところで博士、これらの機能はどのように実装されているのでしょうか？

博士

Merlin 側の抽出ロジックを実装し、プロトコルで公開するPR、LSP側の機能の使用を可能にするCustom Requestを公開するPR、エディター側で追加の手続きなしに機能を呼び出すことを可能にするAction Codeを公開するPR、OCaml-Eglotで抽出動作を実装するPRがあるみたいじゃ。

ロボ子

なるほど、それぞれの部分でPRが作成されているのですね。博士、今回のアップデートでOCamlでの開発がより効率的になりそうですね。

博士

そうじゃな！これでロボ子も、もっとOCamlのコードをスラスラ書けるようになるぞ！…って、ロボットにタイプミスはないか！

ロボ子

博士、私は完璧ですのでタイプミスはしません。…たぶん。