haskell - 函数式编程语言自省(introspection)

Question

我正在草拟一些东西的设计(函数的机器学习)，它最好需要一种函数式编程语言，还有内省(introspection)，特别是能够以某种易于处理的格式检查程序自己的代码的能力，最好还有获得机器的能力生成在运行时编译的代码，我想知道用什么语言编写它最好。Lisp 当然具有强大的自省(introspection)能力，但静态类型语言也有优势；我正在考虑的是:

F# - .Net 平台在这里有一个很好的故事，你可以在运行时读取字节码，也可以发出字节码并编译它；我认为从 F# 访问这些设施没有问题。

Haskell、Ocaml - 它们是否有类似的设施，无论是通过字节码还是解析树？

还有其他语言我也应该看吗？

Answer 1

Haskell 的自省(introspection)机制是 Template Haskell ，它支持编译时元编程，并且当与例如llvm , 提供运行时元编程工具。