Недавно у меня была беседа с другом (сторонником строго типизированных языков). Он сделал комментарий: Изобретатели Lambda Calculus всегда предполагали, что он будет напечатан. Теперь мы видим , что церковь была связана с в Просто типизированных лямбда - исчислению . Действительно, кажется, что он...
В [1] Митчелл Ванд продемонстрировал, что добавление fexprs к чистому лямбда-исчислению упрощает теорию контекстуальной эквивалентности, означая, что два термина контекстуально эквивалентны, если они -конгруэнтны. При изучении соответствующей работы, он пошел «наш результат расширяет старое...
Теперь мы видим , что церковь была связана с в Просто типизированных лямбда - исчислению . Действительно, кажется, что он объяснил Лямбда-исчисление Простого Типа, чтобы уменьшить недопонимание о Лямбда-исчислении. Теперь, когда Джон Маккарти создал Лисп - он основал его на лямбда-исчислении . По...