Fairly mature dialect of OCaml that offers typed splices and quotes to facilitate a type safe form of metaprogramming.

  • https://okmij.org/ftp/ML/MetaOCaml.html