Mars Documentation

Welcome to Mars, an experimental imperative/declarative programming language. Mars is designed for experimentation into purely declarative concepts and their application to imperative programming.

• Version history
  • Version 1.0
  • Version 0.3.1
  • Version 0.3.0
  • Version 0.2.1
  • Version 0.2.0
  • Version 0.1.0
• Building and Installing
  • Requirements
  • Installing binaries
  • Installation from source
  • Making a release
• Introduction to Mars
  • What is Mars?
  • Starting off
  • Basic syntax
  • Types
  • Functional notation
  • IO annotation
  • User-defined types
  • Compiling a Mars program into an executable
• Automatic destructive update
  • Direct calls to array operations
  • Calls to functions that update arrays
  • Iteration inside a function
  • Aliases and advanced troubleshooting
• Command Reference
  • mars
  • marsc
• Mars Language Reference
  • Lexical analysis
  • Types
  • Values
  • Procedures
  • Expressions
  • Statements
  • The top level
• Mars Library Reference
  • Built-in Functions
  • prelude — Common functions
  • debug — Debugging functions
  • impure — Impure functions
  • iofuncs — I/O versions of higher-order functions
  • native — Native interface functions
  • set — Unordered set type
  • struct — Native struct and union helpers
  • unittest — Testing user code
  • urllib — Construction and processing of URLs
• Frequently Asked Questions
  • The Language
  • The Implementation
• Developer Documentation
  • Architectural overview
  • Instruction set architecture
  • Switch factoring algorithm
  • Type dictionaries
• Testing Framework
  • Test suite
  • MTC file format
  • Compilation testing
  • Runtime testing
  • Unit testing
  • Example MTC file

Indices and tables

• Index
• Module Index
• Search Page