¿Relación histórica entre el cálculo tipificado de Lambda y Lisp?

Recientemente tuve una discusión con un amigo (que defiende los idiomas fuertemente tipados). Hizo el comentario:

Los inventores del cálculo Lambda siempre pretendieron que fuera mecanografiado.

Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De hecho, parece que explicó el cálculo de Lambda simplemente tipado para reducir los malentendidos sobre el cálculo de Lambda.

Ahora, cuando John McCarthy creó Lisp, lo basó en el cálculo Lambda . Esto es por su propia admisión cuando publicó "Funciones recursivas de expresiones simbólicas y su cálculo por máquina, Parte I" . Puedes leerlo aquí .

McCarthy parece no haber abordado el cálculo de Lambda simplemente tipado. Esto parece estar dominado por Robyn Milner con ML .

Hay una cierta discusión de la relación entre Lisp y cálculo lambda aquí , pero que en realidad no llegar al fondo de por qué McCarthy optó por dejarlo sin tipo.

Mi pregunta es: si McCarthy admite que sabía sobre el cálculo de Lambda, ¿por qué ignoró el cálculo de Lambda tipificado? (es decir, ¿es realmente obvio que el cálculo Lambda estaba destinado a ser mecanografiado? No parece ser así)

$\lambda$

Una excelente visión general de la historia se encuentra en este documento .

$\lambda$