search

cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Other
720 stars 132 forks source link

Motivate capture-avoiding substitution. #116

Closed justhsu closed 1 year ago

justhsu commented 1 year ago

The difference is not call-by-value versus call-by-name---since unbound variables are values, capture avoiding substitution is also needed for call-by-value. Rather, the key difference is between evaluating closed terms and open terms.

justhsu commented 1 year ago

I'm not sure of the protocol here since the proposed change relates to the content---@clarksmr, do you want to review this change?

clarksmr commented 1 year ago

Definitely an improvement. Please merge!