Запитання з тегом «lisp»

Нещодавно я мав дискусію з другом (який є прихильником сильно набраних мов). Він зробив коментар: Винахідники Lambda Calculus завжди мали намір його набрати. Тепер ми бачимо , що церква була пов'язана з в Просто типізованих лямбда - обчисленню . Дійсно, здається, він пояснив просто набраний лямбда-обчислення, щоб зменшити непорозуміння щодо …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

У роботі [1] Мітчелл Ванд продемонстрував, що додавання fexprs до чистого обчислення лямбда тривілізує теорію контекстуальної еквівалентності, тобто два терміни є контекстуально еквівалентними, якщо вони -конгруентні. При вивченні відповідної роботи, він пішов «наш результат розширює старе спостереження Альберт Мейєр [2] , що і візуалізації контекстна еквівалентності тривіальним». Але посилаючись на …

13 pl.programming-languages  lisp  scheme 

Тепер ми бачимо , що церква була пов'язана з в Просто типізованих лямбда - обчисленню . Дійсно, здається, він пояснив просто набраний лямбда-обчислення, щоб зменшити непорозуміння щодо обчислення лямбди. Тепер, коли Джон Маккарті створив Лісп - він базував його на обчисленні Лямбди . Це за власним визнанням, коли він опублікував …

13 lambda-calculus  term-rewriting-systems  lisp