パラメータ型の次は、パターンマッチングだ

In Defense of Pattern Matching

ジェネリクスが一般的になったんで次はパターンマッチだろうという話。著者のScalaはcase class/matchという構文でパターンマッチを組み込んでいる。

オブジェクト指向プログラミングの場合、Visitorパターンのような二重メソッド呼び出しで、パターンマッチングを組み込める。以下は以前JavaScript上でパターンマッチングを行う機能を作った例:

要は構文(糖)でどれだけサポートできるかということだと思う(C#2.0の各追加機能のように)。