有没有办法将ATS源编译成JVM字节码？

Question

我想在基于Java的项目中使用ATS。我找不到从ATS源生成的C代码到Java源代码的编译器（或转换器）。有没有办法从ATS源生成JVM字节码？

Answer 1

据我所知，目前还没有为ATS发布的JVM字节码生成器。请参阅当前实施的ATS代码生成器列表here。

最接近您的规范可能是Clojure后端（atscc2clj），因为有relatively straightforward interop between Clojure and Java（两者都是基于JVM的）。我自己还没有测试过代码生成功能，所以我只能评论可用性，而不是可用性。