Тепер ми бачимо , що церква була пов'язана з в Просто типізованих лямбда - обчисленню . Дійсно, здається, він пояснив просто набраний лямбда-обчислення, щоб зменшити непорозуміння щодо обчислення лямбди.
Тепер, коли Джон Маккарті створив Лісп - він базував його на обчисленні Лямбди . Це за власним визнанням, коли він опублікував "Рекурсивні функції символічних виразів та їх обчислення машиною, частина I" . Ви можете прочитати його тут .
Тепер ми знаємо, що в основі Mathematica лежить система , схожа на Лісп , але замість того, щоб базуватися виключно на обчисленні Лямбда, вона базується на терміновій системі переписування .
Тут автор заявляє, що:
Mathematica - це принципово система переписування термінів ... більш загальна концепція, ніж обчислення Ламбди за Ліспом.
Здається, що обчислення лямбда є невеликою частиною набагато більш загальної категорії. (Досить відкриття очей, як думка, це було більше фундаментальною концепцією). Я намагаюся прочитати більше про це, щоб отримати певну перспективу.
Моє запитання: Яким чином обчислення лямбда є специфічним типом системи термінового запису?