Documenting Invariants
TC39, July 2020
Yulia Startsev
Current Status
Idea: Collect and write down Invariants
Definitions are loose right now
For now...
Current Invariants
Alternative expression of an invariant
Structural overview
Structuring Invariants
Every invariant (section) should have:
Structuring Invariants
Every invariant (section) should have:
Invariant “Types”
Invariants should be normative. So far we have grouped them in these three categories.
Process for Proposing an Invariant
A few potential ways to handle this:
Some Open Questions:
Ongoing work
Discussion
Addendum: Clarifying the process