Sat Aug 30 10:26:45 CEST 2008



  MacroML is an experimental programming language based on the ML
  programming language family that seeks to reconcile ML's static
  typing systems, and the types of macro systems more commonly found
  in dynamically typed languages like Scheme; this reconciliation is
  difficult as macro transformations are typically Turing-complete and
  so can break the type safety guarantees static typing is supposed to


Read that and figure out the idea behind macros in a staged setting.