Javaで同等の慣用的なパターンマッチング

いくつかのイベントを解析してSTDIN「実行」するシミュレータを構築しています。私のバックグラウンドは、最近のほとんどが関数型プログラミングであるため、次のようなことをするのは自然なことのようです。

data Event = Thing1 String Int | Thing2 Int | Thing3 String String Int
Parse :: String -> [Event]
Simulate :: [Event] -> [Result]

シミュレートする場所

case event
  of Thing1 a b => compute for thing one
   | Thing2 a => compute for thing two

などJavaでこの種のことをする慣用的な方法は何ですか？グーグルで私はネストされたクラスとビジターパターンの方向を指摘されましたが、私の試みではそれはかなり重いようです。型消去は、私と一生懸命戦っているようです。正しく行われるように見えるものの概要を教えていただけますか？

「Scalaでの関数型プログラミング」の作者は、Javaで型保証された方法で実現できる最高のものを示しています。

http://blog.higher-order.com/blog/2009/08/21/structural-pattern-matching-in-java/

本質的には、ケースのチャーチエンコーディングを使用して、欠けているものがある場合にコンパイラーが必ず文句を言うようにします。

詳細は容易に要約されておらず、実際にとてもよくここではそれらを再現するにはポイントがないことを記事で覆われている（のはどのようなハイパーリンクであることをのために右が？）。

この種のことをJavaで行う慣用的な方法は何ですか？

Java（言語）が基本的に必須であることを考えると、実際にはそのようなことはありません。

JVMで実行でき、Java 言語に限定されない場合は、パターンマッチングを使用して上記のようなものを実現するScalaを調査できます。

それ以外の場合は、さまざまなケースを手動で照合してメソッドを適切に呼び出すか、多分「Event」のサブタイプを定義し、ポリモーフィズムを使用して各サブタイプの特定のメソッドを呼び出すことになります。

Java 8用のScalaのような「パターンマッチング」ライブラリであるhttps://github.com/johnlcox/motifをご覧ください。

ML / Erlang / Haskellほど優れていませんが、それでもほとんどの場合よりもはるかに宣言的に見えます。

次のように、enumとインターフェイスを使用して、simulateメソッドをオーバーライドできます。

interface Event {
  void simulate()
}

enum MyEvents implements Event {
  THING1 {
    @Override
    void simulate() {
    //...
    }
  },
  THING2 {
    @Override
    void simulate() {
    //...
    }
  },
}

あなたが持っているとしましょうEvent event。次に、次の2つの方法のいずれかで使用できます。

event.simulate();

または

switch(event) {
  case THING1:
    //..
    break;
  case THING2:
    break;
}

しかし、コンストラクターはJVMによって自動的に呼び出されるため、そこにパラメーターを格納するには、アクセサーなどを使用してプロパティを追加する必要があります。

または、イベントを定数文字列としてコード化し、switch構造を使用することもできます。その場合は、

string event = args[0];
switch(event){
  case THING1:
    int a = args[1];
    //...
    break;
  case THING2:
    int a = args[1];
    int b = args[2];
    break;
}

など。しかし、はい、パターンマッチングを直接模倣するネイティブはありません:(

訪問者のパターンまたはそれに相当する教会のエンコーディングは、進むべき道です。Javaではかなり冗長ですが、Derive4J（私が保守している注釈プロセッサ）やAdt4Jなどのツールがボイラープレートを生成できることを期待しています。このようなツールを使用すると、例は次のようになります。

import java.util.function.Function;
import org.derive4j.Data;

@Data
public abstract class Event {

  interface Cases<X> {
    X Thing1(String s, int i);
    X Thing2(int i);
    X Thing3(String s, String s2, int i);
  }

  abstract <X> X match(Cases<X> cases);

  static Function<Event, Result> Simulate =
      Events.cases().
          Thing1( (s, i    ) -> computeForThingOne(s, i)       ).
          Thing2( (i       ) -> computeForThingTwo(i)          ).
          Thing3( (s, s2, i) -> computeForThingThree(s, s2, i) );

}

Derive4Jは、流暢なパターンマッチング構文を提供するイベントクラスを生成します（すべてのケースが処理されることを徹底的にチェックします）。