【^】パターンマッチ【$】 - NyaRuRuが地球にいたころ
パターンマッチ話の続き． パターンマッチと単一化 複合代入 (多重代入) という見方もあれば，一方向単一化という見方もあって，つまりは Prolog ぐらい知っておけということっすか． この辺には値モデルと名札モデル，実装と理論，ボトムアップとトップダウンの対比な趣も感じたり． Erlang, Oz/Mozart, Prolog, 単一化 Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 変数束縛が Variable = Value.なのに、関数定義が function(Aargument) -> blah, blah, blah.てのはどうよ?と書いているが、弾さん、こんなのさ、どうよ？と挑発されたら、﹁お
