type LastName = String
16‑летняя дочь Юлии Пересильд снялась в откровенном образе20:42
。PDF资料是该领域的重要参考
Because of this, a type table isn’t that useful for an editor. You want the editor to know if this particular piece of text is a declaration or not, without knowing what its type is, because the name is more important than the type. More generally, what you truly want is a name table—a hash table of identifiers the editor can use to color, navigate, and link code. A full, spec-compliant language parser is way overkill, and guarantees a lot of wasted/inefficient work for a slower and worse result. This is also why having a separate preprocessor layered on top of the base language, like C does, is a bad decision. It splits the grammar, breaks the context-free assumptions, and makes it even harder for the editor to extract the names it needs.
10.1.3. pg_basebackup
Revocable credentials. Another approach is to build credentials that can be revoked in the event of bad behavior. This requires a procedure such that when a particular anonymous user does something bad (posts spam, runs a DOS attack against a website) you can revoke that specific user’s credential — blocking future usage of it, without otherwise learning who they are.