Multi-stage programming (MSP) is a variety of metaprogramming in which compilation is divided into a series of intermediate phases, allowing typesafe run-time code generation.Statically defined types are used to verify that dynamically constructed types are valid and do not violate the type system. Multi-stage programming languages support constructs similar to the Lisp construct of quotation and eval, except that scoping rules are taken into account.