Запитання з тегом «lambda-calculus»

У статті Кріса Окасакі " Комбінатори згладжування : виживання без дужок " він показує, що два комбінатори є і достатніми, і необхідними в якості основи для кодування виразів Тюрінга, не потребуючи оператора програми чи дужок. Порівняно з кодуванням Джона Трампа комбінаторної логіки у " Бінарному обчисленні лямбда та комбінаційної логіки …

9 lambda-calculus  combinatory-logic 

Отже, існує алгоритм перетворення термінів обчислення лямбда в комбінаторну логіку за допомогою комбінаторів SK. Він виробляє речі, які вибухають за розмірами. Я хотів би дізнатися більше про цей вибух у розмірах. Я, здається, не думаю про кращий алгоритм. Я чув, як функціональні мови практично складаються в комбінатори, тому здається, що …

9 lambda-calculus  functional-programming  combinatory-logic