> There's a blog post by Matthew Flatt of Racket fame describing how Racket's scope system works. For clarity, I would specify that Matthew is the lone conceiv

> There's a blog post by Matthew Flatt of Racket fame describing how Racket's scope system works. For clarity, I would specify that Matthew is the lone conceiver and implementer of the original sets-of-scopes system, as evidenced by him being the only author on the corresponding paper "Binding as Sets of Scopes" (POPL '16, DOI: https://doi.org/10.1145/2914770.2837620 https://doi.org/10.1145/2914770.2837620). So the blog post isn't just "some well-known Racket guy explaining a Racket thing", but rather "the guy who invented the thing explaining the thing". The paper has a corresponding talk as well: https://youtu.be/rs27lkgq3Og https://youtu.be/rs27lkgq3Og. (And, in fact, Matthew has given the talk on more than a few occasions at various venues, so there are other recordings available as well.)