ホットコーナーブログ(iiyu.asablo.jpの検索)ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。単一化---Erlangのこと、あれこれやってたから、弾さんのコメントがあった。---と書いているが、弾さん、こんなのさ、どうよ?と挑発されたら、「お前がバカ」の一言で終わり。unification)なんだよ。関数定義とは別の記号を使っているんだと思うけどね。ま、個人的には同じ記号だろうが別の記号だろうが、どうでもいいことだけど、変数の束縛は単一化の特殊ケースだということは、知っておいていいと思う。Oz/Mozart(MozartはOzの実装)もそうだけど、Prolog以後のヨーロッパの言語って、Prolog的なものをうまく入れてるなと思う。これらの言語にあるパターンマッチは、おれには全部Prologの単一化の簡略版に思えるからね。HaskellもOCamlもErlangもそうだけど、このパターンマッチは、Prologとは違って、片方向なんだよね。動作は、Prologの単一化でバックトラックがないものくらいに考えてくれなんて脚注があるが、片方向だと、フツー、単一化とは言いがたいので、それでパターンマッチだといってるんだろうね。