Carl Mäsak

> But as a baseline, the story must start with the _status quo_ of shared memory, threads, and locks. I'll take all those mechanisms as given — there's oodles of...

I want to call attention to [this polemic post](https://kevinlawler.com/refcount) whose main message is this: > Provided your problem admits certain concessions that let you retreat from full-on garbage collection into...

I'm getting ahead of myself here, but not by a whole lot. I realized on the way to work today that there's a great transition between the idea of functions...

Yes, the "three" here seems mostly coincidental. 007's three in this case are ``` (keyword, expression, pblock) ``` whereas Elixir's three are something more like ``` (function name, imports/context, arguments)...

> I was struck today by how most of the common control statement forms — `if`, `for`, `while` — are all of the same form: ` `. So let's make...

> I no longer believe this to be a good idea. Well, in a sort of graceful multi-year oscillation, I no longer believe this to be a bad idea. 😄...

[This post](http://ncameron.org/blog/sets-of-scopes-macro-hygiene/) seems to make an honest attempt at explaining the set-of-scopes idea. I should make an honest attempt at understanding the post.

Adding [this documentation page about Racket's syntax model](https://docs.racket-lang.org/reference/syntax-model.html) for later/deeper perusal. I was linked to that one via [the Turnstile paper](https://ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf) and my curiosity about the `#%app` construct.

[This Sweet.js paper](https://users.soe.ucsc.edu/~cormac/papers/dls14a.pdf) seems to make the claim that Sweet.js also uses the "set of scopes" system of hygiene. (It doesn't make that claim very strongly, IMO. It just cites...

Addressing first the particulars of the question, about injecting lexicals: * 007 already has (spec'd) a version of the `from ... import ...` syntax, although it's modeled on ES6 instead...