The primary motivation was the writing came out much easier to talk about. Each conde line refreshes its variables. Also, one syllable, and we wanted to distinguish it from lexical variable and thought meta-variable and unification variable did not belong in the language. With regard to substitution. What was described is very different from what is a substitution. Applying a substitution, walk or walk*, never fails, but without the occurs-check, it could. In most uses of an association list, it can fail because something is not present in the lhs of s such a list. So, here we felt using the technical word made the most sense and it is only used as a data structure fof the implementation.
... Dan On Thu, Nov 1, 2018 at 9:30 AM Dakota Fisher <[email protected]> wrote: > > On 11/01/18 12:47, Dan Friedman wrote: > > It is hard to teach old dogs new tricks is my last observation. > > Perhaps if we had thought of it, we > > would have used it. Prior to fresh, we were using "exists", which on > > some level is better than fresh, > > but seems too off-putting. > > > I'm interested, why did you decide on "fresh" as opposed to "exists"? > > -Dakota > > -- > You received this message because you are subscribed to the Google Groups > "minikanren" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
