Вопросы с тегом «lambda-calculus»

В работе Криса Окасаки « Сглаживание комбинаторов: выживание без скобок » он показывает, что двух комбинаторов достаточно и необходимо в качестве основы для кодирования выражений по Тьюрингу без необходимости использования оператора приложения или скобок. По сравнению с кодировками комбинаторной логики Джона Трампа в « Бинарном лямбда-исчислении и комбинаторной логике » …

9 lambda-calculus  combinatory-logic 

Таким образом, существует алгоритм преобразования терминов лямбда-исчисления в комбинаторную логику с использованием комбинаторов SK. Это производит вещи, которые взрываются в размере. Я хотел бы знать больше об этом взрыве в размере. Однако я не могу придумать лучшего алгоритма. Я слышал, что функциональные языки практически компилируются в комбинаторы, поэтому кажется, что …

9 lambda-calculus  functional-programming  combinatory-logic