このJavaのジェネリクスを用いたインターフェースをTypeScriptに書き換えたい

Question

Visitorパターンの勉強をしています。
読んでいる本に掲載されているコードがJavaのものなのですが、私はほとんど知らないので、TypeScriptに書き直して理解しようと試みています。

以下の書き換えが適切なものであるかどうかをお聞きしたいです。
JavaとTypeScript両方に詳しい方、お時間よろしければ教えていただけると嬉しいです。

構文木のようなモデルで、式を表すインターフェースの部分です。
Javaの該当のコードはこちらです。

interface Expr< N > {
    < R >  R accept(Visitor< N, R > v);
}

ジェネリックを使用していることや、メソッドの引数、返り値の型を定義しているのはわかるのですが、このRがどこから来たのかがわかりません。

当初、TypeScriptで書き換えていたときは、anyに置き換えていたのですが、

interface Expr<N> {
  accept: (v: Visitor<N, any>) => any;
}

あれこれ試行錯誤する内に、もう一つ型引数が必要なのではと思い、以下のようにしてanyを使うことなく動作するようになりました。

interface Expr<N, R> {
  accept: (v: Visitor<N, R>) => R;
}

お聞きしたいのは、以下の3点になります。

• このJavaのコードの簡単な解説
• 上記のTypeScriptへの書き換えが適切かどうか
• 適切でないのなら、適切なものの例

よろしくおねがいします。

Comments

[退会済みユーザー]

不適切
コードレビューならよそでお金をはらってやってください。

Answer 1

Expr<N>インターフェースのaccept<R>(…)メソッド

あなたが書いたのは
Expr<N,R>インターフェースのaccept(…)メソッド

Comments

[退会済みユーザー]

完結で明瞭な回答ありがとうございました。
つまり、TypeScriptで表すなら、以下のようになるということですね。

interface Expr<N> {
accepts: <R>(v: Visitor<N, R>) => R;
}

大変助かりました。ありがとうございます。