Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
I am learning Jason Hickey’s Introduction to Objective Caml.
I got several simple questions:
What is binding?
What is occurrences?
What is binding occurrences?
I ask these question because the book says:
I have not read this text, and am just a humble practitioner (not a theorist) but I’m pretty sure I know what the terms mean.
Binding is the association of a name with a value.
An occurrence is a single appearance of a name in an expression. If the name shows up twice, there are two occurrences.
A binding occurrence is an appearance of a name in a spot that causes it to be bound to a value. In
let x = 4 in x + 2the first occurrence ofxis a binding occurrence and the second is just an occurrence.Edit: What the quoted text is telling you is that when a name shows up in a pattern, then a successful match of the pattern causes the name to be bound to a value.