パターンマッチ話の続き． パターンマッチと単一化 複合代入 (多重代入) という見方もあれば，一方向単一化という見方もあって，つまりは Prolog ぐらい知っておけということっすか． この辺には値モデルと名札モデル，実装と理論，ボトムアップとトップダウ…