Может ли Arc быть реализована поверх Clojure?

Question

Я много читал об Арке, и это, кажется, дает кое-что хорошее. Так как Arc - это шутка, а Clojure - это Лисп, мне было интересно, можно ли реализовать Arc поверх Clojure?

Answer 1

звучит очень весело, когда внедряется компилятор Arc в Clojure, хотя его компиляция в байт-код JVM может быть немного труднее из-за проблем TCO, описанных выше.Тот факт, что он написан на Clojure, не означает, что он должен быть нацелен на JVM.

С другой стороны, интерпретатор Arc был бы очень разумным.

Answer 2

Самый важный вопрос, который я вижу сразу; У Arc есть реальная оптимизация вызова хвоста, а у clojure нет из-за ограничений JVM. AFAIK, это означает, что вы должны отказаться, по крайней мере, от возможности вызывать функции Arc напрямую как методы JVM, а также от невозможности прямого преобразования функций Arc в функции Clojure, что, вероятно, приведет к потере некоторой производительности. 1001 *

Возможно, это означает, что вы не сможете легко создать скомпилированную / эффективную версию Arc, используя обычное замыкание. С другой стороны, «игрушечный» переводчик не должен быть слишком сложным, если вы знаете, что делаете.