Wolfram (プログラミング言語)
Wolfram言語では部分式に対してパターンマッチングを行い、置換を行う構文が用意されている。
を評価するとf[b]が得られる。