いつものことながら gcc のことを書き出すと目に見えてアクセス数が落ちる当ブログですが，そこはまぁ KY で (最近の中高生は「空気読めない」をこういうそうです)． Monaとか receive-loose とか acond とか書くと目に見えて(ry

下準備が長かったけどいよいよ On Lispの match を実装する。match は引数 x, y を比較しマッチしているか確認する。 x と y が等しい場合はマッチする _ は何とでもマッチする（何もないとはマッチしない） x や y が既に束縛されているなら値を展開してか…