Build→It?是一個輕量級的基于類型的 C++ Multi-stage programming 框架。可以讓你在幾乎不了解編譯器的情況下輕松實現領域特定語言（domain-specific languages，DSL）。

除了使用運算符重載提取表達式和語句外，該工具還支持提取豐富的數據相關的控制流，如 if-then-else 條件和 for 和 while 循環，并使用新穎的重執行策略來探索程序中的所有控制流路徑。

Build→It turns -

template 
dyn_var power_f(BT base, ET exponent) {
  dyn_var res = 1, x = base;
  while (exponent > 1) {
    if (exponent % 2 == 1)
      res = res * x;
    x = x * x;
    exponent = exponent / 2;
  }
  return res * x;
}
...
int power = 15;
context.extract_function_ast(power_f, static_var>, "power_15", power);
...
int base = 5;
context.extract_function_ast(power_f, dyn_var>, "power_5", base);
...

into -

int power_15 (int arg0) {
  int var0 = arg0;
  int var1 = 1;
  int var2 = var0;
  var1 = var1 * var2;
  var2 = var2 * var2;
  var1 = var1 * var2;
  var2 = var2 * var2;
  var1 = var1 * var2;
  var2 = var2 * var2;
  int var3 = var1 * var2;
  return var3;
}

int power_5 (int arg1) {
  int var0 = arg1;
  int var1 = 1;
  int var2 = 5;
  while (var0 > 1) {
    if ((var0 % 2) == 1) {
      var1 = var1 * var2;
    }
    var2 = var2 * var2;
    var0 = var0 / 2;
  }
  int var3 = var1 * var2;
  return var3;
}

Build→It 使用純基于庫的方法，并且不需要任何特殊的編譯器修改，這使得它具有極高的可移植性，并且易于集成到現有的代碼庫中。使用 Build→It 很簡單，只需包含一些頭文件，并針對 Build→It 庫進行鏈接。

Build→It 使用聲明的變量和表達式類型來確定綁定時間。添加了 2 個新的通用類型 -static_var 和 dyn_var，使用戶程序可以分為 2 個階段。這些類型可以任意嵌套以產生更多階段的代碼。

什么是 multi-stage programming，以及為什么 multi-stage programming 對高性能 DSL 很重要？具體可查看官方發表的一篇論文。