Как скомпилировать классы класса gen с циклическими типами подсказок?

Question

В Clojure я использую gen-class с библиотекой Java. Программист обычно предоставляет два класса, которые реализуют интерфейс и расширяют класс, соответственно. Предполагается, что оба класса относятся друг к другу, и это трудно избежать этой циклической зависимости, учитывая то, как библиотека была разработана.

Циклы не будут проблемой - компилятор не должен знать о них, за исключением того, что я пытаюсь оптимизировать код, разумно добавляя подсказки типов (с огромными ускорениями). Я смог избежать жалоб компилятора на циклические зависимости, реорганизовывая код, и я свел проблему до одного типа:

В одном исходном файле Foo.clj у меня есть эта функция/метод, который требуется интерфейс класса реализует:

(defn -step 
    [^Foo this ^Bar bar] 
    ...) 

Другой исходный файл, Bar.clj, создает коллекцию экземпляров Foo, так что я должен относиться к классу Foo там. В моей Leiningen project.clj, у меня есть строка, как это:

:aot [Foo Bar] 

Я не получаю ошибку циклическую зависимость. Вместо этого я получаю ClassNotFoundException: Если я положил Foo сначала после :aot, компилятор жалуется, что он не знает о Bar при компиляции Foo, из-за ^Bar типа намекают в -step. Если я положил Bar сначала после :aot, компилятор не смог найти Foo при компиляции Bar, из-за звонков (Foo.) в Bar.clj.

Мое текущее решение заключается в следующем:

1. Удалить ^Bar тип подсказки в определении -step в Foo.clj.
2. Скомпилируйте оба класса.
3. Добавить тип подсказки назад в -step в Foo.clj.
4. Компиляция Foo (т. Е. Снова выполнить компиляцию lein).

Это работает, потому что, когда Foo компилируется во второй раз, Bar существует, поэтому компилятор не жалуется.

Есть ли способ скомпилировать оба класса без удаления и добавления подсказки типа? (Или по-другому, что я должен думать об этой ситуации?)

Answer 1

Мое желание было бы добавить фабричную функцию для Foo в пространстве имен foo.

(defn new-foo [] (Foo.)) ; parameterize to your satisfaction 

И тогда вы могли бы использовать вперед технику декларации в следующем ответе, чтобы получить доступ к новым-обув из бара - Forward-declaring a var from another namespace in Clojure?

Это, конечно, все еще липкий - если есть какой-либо другой способ сломать цикл зависимости, который вы можете принять. Как насчет определения Foo и Bar в том же пространстве имен, если это имеет смысл? Они кажутся очень плотно связанными, хотя с абстрактным описанием проблемы трудно сказать.