- it is typed, and

  - multi-stage programming can also describe runtime-code generation.