Jason Hickey の Introduction to Objective Caml を学んでいます。
簡単な質問がいくつかありました。
とはbinding?
とはoccurrences?
とはbinding occurrences?
本に次のように書かれているので、私はこれらの質問をします。
質問する
941 次
1 に答える
4
私はこのテキストを読んでおらず、（理論家ではなく）謙虚な実践者ですが、用語の意味を知っていると確信しています。
バインディングとは、名前と値の関連付けです。
オカレンスとは、式に名前が1回出現することです。名前が2回表示される場合、2回発生します。
バインディングオカレンスは、名前が値にバインドされる原因となるスポット内の名前の出現です。let x = 4 in x + 2の最初のオカレンスはxバインディングオカレンスであり、2番目のオカレンスは単なるオカレンスです。
編集：引用されたテキストが示しているのは、名前がパターンに表示されたときに、パターンが正常に一致すると、名前が値にバインドされるということです。
于 2012-12-11T22:18:55.803 に答える