Interned strings would speed up data structures that rely on string comparison for equality like TGround or Var / Lit.
type Type = TGround{ tag: InternedString, parameters: Vector<Type> }
This would become integer comparison instead of string comparison.
Interned strings would speed up data structures that rely on string comparison for equality like TGround or Var / Lit.
This would become integer comparison instead of string comparison.