Multi-Stage Programming

The framework expresses at the same time compile-time meta-programming and multi-stage programming. We can think of compile-time meta-programming as a two stage compilation process: one that we write the code in top-level splices, that will be used for code generation (macros) and one that will perform all necessecary evaluations at compile-time and an object program that we will run as usual. What if we could synthesize code at run-time and offer one extra stage to the programmer? Then we can have a value of type Expr[T] at run-time that we can essentially treat as a typed-syntax tree that we can either show as a string (pretty-print) or compile and run. If the number of quotes exceeds the number of splices by more than one (effectively handling at run-time values of type Expr[Expr[T]], Expr[Expr[Expr[T]]], ...) then we talk about Multi-Stage Programming.

The motivation behind this paradigm is to let runtime information affect or guide code-generation.

Intuition: The phase in which code is run is determined by the difference between the number of splice scopes and quote scopes in which it is embedded.

Providing an interpreter for the full language is quite difficult, and it is even more difficult to make that interpreter run efficiently. So we currently impose the following restrictions on the use of splices.

  1. A top-level splice must appear in an inline method (turning that method into a macro)

  2. The splice must call a previously compiled method passing quoted arguments, constant arguments or inline arguments.

  3. Splices inside splices (but no intervening quotes) are not allowed.

API

The framework as discussed so far allows code to be staged, i.e. be prepared to be executed at a later stage. To run that code, there is another method in class Expr called run. Note that $ and run both map from Expr[T] to T but only $ is subject to the PCP, whereas run is just a normal method. Run provides a QuoteContext that can be used to show the expression in the scope of run. On the other hand withQuoteContext provides a QuoteContext without evaluating the expression.

package scala.quoted.staging

def run[T](expr: QuoteContext ?=> Expr[T])(using toolbox: Toolbox): T = ...

def withQuoteContext[T](thunk: QuoteContext ?=> T)(using toolbox: Toolbox): T = ...

Create a new Dotty project with staging enabled

sbt new lampepfl/dotty-staging.g8

From lampepfl/dotty-staging.g8.

It will create a project with the necessary dependencies and some examples.

In case you prefer to create the project on your own, make sure to define the following dependency in your build.sbt

libraryDependencies += "ch.epfl.lamp" %% "dotty-staging" % scalaVersion.value

and in case you use dotc/dotr directly, then use the -with-compiler flag for both:

dotc -with-compiler -d out Test.scala
dotr -with-compiler -classpath out Test

Example

Now take exactly the same example as in Macros. Assume that we do not want to pass an array statically but generate code at run-time and pass the value, also at run-time. Note, how we make a future-stage function of type Expr[Array[Int] => Int] in line 6 below. Using run { ... } we can evaluate an expression at runtime. Within the scope of run we can also invoke show on an expression to get a source-like representation of the expression.

import scala.quoted.staging._

// make available the necessary toolbox for runtime code generation
given Toolbox = Toolbox.make(getClass.getClassLoader)

val f: Array[Int] => Int = run {
  val stagedSum: Expr[Array[Int] => Int] = '{ (arr: Array[Int]) => ${sum('arr)}}
  println(stagedSum.show) // Prints "(arr: Array[Int]) => { var sum = 0; ... }"
  stagedSum
}

f.apply(Array(1, 2, 3)) // Returns 6