As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references, or expertise, but this question will likely solicit debate, arguments, polling, or extended discussion. If you feel that this question can be improved and possibly reopened,
visit the help center获取指导。
7年前关闭。
我想用静态类型的语言做一些元编程，在这里我的程序和元程序都将被键入。我的意思是很强烈的：如果我的程序生成器可以编译，我希望类型系统足够强大以至于只能生成类型正确的程序。
据我所知，只有
metaocaml可以做到这一点。 （不，Template Haskell模板和C ++模板都不符合要求-参见
this paper）。问题：还有哪些其他语言/系统允许这样做？
编辑：据我所知，metaocaml已死。 Oleg
tried to resurrect it，但这仍然落后于OCaml本身几个版本。如果要使用实验语言（即比metaocaml更好），似乎
Ur甚至很可能
Idris都适合。该领域还有其他新条目吗？