Я хочу использовать ATS в основном Java-проекте. Я не смог найти компилятор (или транспилер) из кода C, сгенерированного из источника ATS, в источник Java. Есть ли способ генерировать байт-код JVM из источника ATS?Есть ли способ скомпилировать источник ATS в байт-код JVM?
Насколько я знаю, на данный момент нет опубликованного генератора байт-кода JVM для ATS. См. Список существующих в настоящее время генераторов кода ATS here.
Ближайшей к вашей спецификации может быть блейд Clojure (atscc2clj), так как есть relatively straightforward interop between Clojure and Java (оба являются JVM-based). Я сам не тестировал функцию генерации кода, поэтому я могу прокомментировать только доступность, а не удобство использования.