Недавно у меня была беседа с другом (сторонником строго типизированных языков). Он сделал комментарий:
Изобретатели Lambda Calculus всегда предполагали, что он будет напечатан.
Теперь мы видим , что церковь была связана с в Просто типизированных лямбда - исчислению . Действительно, кажется, что он объяснил Лямбда-исчисление Простого Типа, чтобы уменьшить недопонимание о Лямбда-исчислении.
Теперь, когда Джон Маккарти создал Лисп - он основал его на лямбда-исчислении . По его собственному признанию, он опубликовал «Рекурсивные функции символьных выражений и их вычисление на машине, часть I» . Вы можете прочитать это здесь .
Маккарти, кажется, не обращался к Простому Типу Лямбда-исчисления. Кажется, в этом доминирует Робин Милнер с ML .
Существует некоторая дискуссия о взаимосвязи между Lisp и лямбда - исчисление здесь , но они на самом деле не добраться до сути, почему Маккарти решил оставить его нетипизированным.
Мой вопрос - если Маккарти признает, что знал о лямбда-исчислении, - почему он проигнорировал типизированное лямбда-исчисление? (то есть - действительно ли очевидно, что лямбда-исчисление было предназначено для печати?