То, что «скоро появится» - это «генератор привязок». В Eta реализован синтаксис для взаимодействия Java, но вам необходимо явно написать внешние объявления для каждой сущности Java, которую вы хотите вызвать. Например, как в связанном примере, классу, подобному
public class Counter {
private int counter = 0;
private final int max;
public Counter(int max) { this.max = max; }
public int postIncrement() { return max == counter ? counter : counter++; }
}
, необходим блок иностранного импорта
data Counter = Counter @example.Counter deriving Class
foreign import java unsafe "@new" newCounter :: Int -> Java a Counter
foreign import java unsafe "postIncrement" postIncrement :: Java Counter Int
Как вы можете догадаться, было бы предпочтительным, чтобы это было сгенерировано автоматически , Программа для этого поколения - это то, что является WIP, а не сама FFI.