> On Apr 5, 2019, at 3:23 AM, zeRusski <vladilen.ko...@gmail.com> wrote: > > Now about that error in the docs:
I was skeptical, but I think you're right: "More generally, we can define binding based on subsets: A reference’s binding is found as one whose set of scopes is a subset of the reference’s own scopes (in addition to having the same symbolic name)." https://www.cs.utah.edu/plt/publications/popl16-f.pdf <https://www.cs.utah.edu/plt/publications/popl16-f.pdf> PS I didn't really get scopes until I saw Matthew Flatt's visual explanation using colors to represent scopes: https://www.youtube.com/watch?v=ABWLveMNdzg <https://www.youtube.com/watch?v=ABWLveMNdzg> -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.