プログラム prop-cc.sf.net

プロップは、C++ に基づくパターンマッチング言語です。代数的なデータ型、パターンマッチング、書き換えを実装し、C++ コードを出力として生成します。