Developer Documentation

This section contains information about the workings of Mars, for developers and other interested parties.

• Architectural overview
  • High-level architecture
  • Errors
  • Internal representation
  • Compiler passes
  • Back-ends
  • Interactive prompt
• Instruction set architecture
  • phi instruction
  • Basic instructions
  • Terminator instructions
• Switch factoring algorithm
  • Generating code for a list of matchers
  • Afterwards – Generating phi code for explicit variable bindings
  • Completing the example
  • Further examples
• Type dictionaries
  • Code generation
  • The type dictionary
  • Augmenting polymorphic functions
  • Lifting polymorphic functions
  • Dictionaries for free variables
  • Type dictionaries on demand