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