programming-language software tools 多段階計算を実用できる数少ない処理系。 マニュアル https://okmij.org/ftp/ML/MetaOCaml.html https://okmij.org/ftp/tagless-final/cookbook.html#simple-staging