Two big differences:

  - it is typed, and

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