Notes based on opening a DRR workspace.

• A lot of time seems to be spent on injection.
  • Specifically, about 54% of "code generation" is spent on injecting Xsemantics generated classes RosettaTyping and RosettaTypingAuxiliary.
  • ! Making these singleton classes brings this down to 1.5%. That results in -23% overal time.
• A lot of time seems to be spent on code generation.
  • Could partially be due to preprocessing step for identifiers? Needs more investigation.
• Building seems to be triggered twice!
  • This is only the case for the visual code plugin; not for the Rosetta IDE, since the BSP "fixes" this.
  • ! Disabling the initial build further results in -35% time.
  • Update: this was a red herring. The build did not get triggered twice by an actual language client such as VS Code or the Rosetta IDE. I rather adjusted the test.
• Resolving cross references takes about 1.3 times more time than validation.
  • Some time spent on filtering scopes.
  • ! Refactoring reverse shadowing of features of the implicit variable further results in -13%.
  • 26% spent on getRType. => mostly because references aren't resolved yet. Probably a red herring.
• Validation seems to be triggered twice!
  • One extra trigger during the shouldGenerate check.
  • ! Caching validation results further results in -28%.
• Validation does not take that much time.
  • In order: (total 2834ms)
    • (700ms) RosettaSimpleValidator::checkReportType ! Old blueprint leftover! Removed it.
    • (266ms) RosettaSimpleValidator::checkTypeExpectation
    • (250ms) RosettaSimpleValidator::checkClosureParameterNamesAreUnique
    • (238ms) StandaloneRosettaTypingValidator::checkReportType
  • ! Caching type inference further results in -16%.
  • ! Caching report input type inference halves the time spent on checkReportType.
• Micro-optimizations:
  • DottedPath.split -> !removed usage of regexes: -3.4%.