Statement calculus

This representation is the sixth in the compilation chain (see Architecture). Its main difference with the previous default calculus is the switch to a statement-based language. This representation does not assume any scoping rules in the language, every local variable has a unique id.

The module describing the abstract syntax tree is:

• Scalc.Ast
• Scalc.Print

Compilation from lambda calculus

Scalc.From_lcalc Performs the classical translation from an expression-based language to a statement-based language. Union types are eliminated in favor of tagged unions.

Related modules:

• Scalc.From_lcalc

Backends

Related modules:

• Scalc.To_python Formats a lambda calculus program into a valid Python program