Попытка использовать один тип из другого типа не работает: (deftype Foo [^int a ^int b]) (definterface Bars (^Foo makefoo [])) (deftype Bar [^int a ^int b] Bars (^Foo makefoo [this] (Foo. 1 2))) ;java.lang.NoClassDefFoundError: java/lang/Foo....

Я прочитал на эту тему блог Нила Гафтера и мне все еще неясно по ряду пунктов. Почему невозможно создать реализации API коллекций, которые сохраняют информацию о типе с учетом текущего состояния Java, JVM и существующих API коллекций? Не могли...

Я хотел предложить логически чистое решение для некоторых другая недавняя проблема на этом форуме. Для начала я реализовал материализованный вариант append/3 и назвал его appendR/4 . Он основан на предикатах if_/3 и (=)/3 , реализованных...