Standard Usage Patterns

[jdonszelmann]

How do you do certain things in scopegraphs?

• Simple identifier name resolution

[AZWN]

Some other ideas:

• Modules
  • Nested
  • Transitive imports
  • Named imports
  • Hiding
• Composite types (records/classes)
• Qualified names

[AZWN]

Perhaps also type inference (unification variables in scope graph declarations)

[AZWN]

We should have examples for sequenced and non-sequenced structures. For example, what is a scope graph for the program in which imports open over the subsequent scope:

mod A {
  def x = v + 2 n
  import B
  mod B {
    def w = x * 2
  }
  def y = w + 1
  def v = 1
}

mod C {
  val z = A.y * A.B.w
}