Комбинаторы взаимодействия были предложены в качестве цели компиляции для λ-исчисления ранее. Эта статья реализует полное λ-исчисление. Известно также, что можно оптимизировать кодировки сети взаимодействия λ-исчисления для подмножества λ-членов, которое можно типом EAL. Эта статья реализует это подмножество λ-исчисления, переводя λ-члены типа EAL в сети взаимодействия, которые, возможно, более сложны, чем комбинаторы взаимодействия, поскольку они используют бесконечный алфавит меток для группировки дупликаторов.
Интересно, можно ли объединить оба предложения? То есть, существует ли какая-либо кодировка для абстрактного алгоритма, т. Е. Λ-членов, которые могут быть EAL-типа, в качестве комбинаторов взаимодействия?