型付きラムダ計算とLispの歴史的な関係？

私は最近（強く型付けされた言語の擁護者である）友人と議論をしていました。彼はコメントした。

ラムダ計算の発明者は、常に入力することを意図していました。

今、私たちは教会 が単に型付きラムダ計算たます。確かに、ラムダ計算についての誤解を減らすために、単純型付きラムダ計算を説明したようです。

ジョン・マッカーシーがLispを作成したとき、彼はそれをラムダ計算に基づいていました。これは彼が出版したときの彼自身の承認によるものです「シンボリック式の再帰関数とその機械による計算、パートI」によるものです。ここで読むことができます。

マッカーシーは、単純型付きラムダ計算に取り組んでいないようです。これが支配しているようですロビン・ミルナーとML。

LispとLambda Calculusの関係についての議論はここにありますが、McCarthyがLispとLambda Calculusを型付けせずにおくことを選んだ理由の底には本当に達していません。

私の質問は- マッカーシーがラムダ計算について知っていたと認めたら-なぜ彼は型付きラムダ計算を無視したのですか？（つまり-Lambda Calculusが入力されることを意図していたことは本当に明らかですか？そのようには見えません）

$\lambda$

歴史の優れた概要はこの論文にあります。

$\lambda$