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...
En [1], Mitchell Wand demostró que agregar fexprs al cálculo lambda puro trivializa la teoría de la equivalencia contextual, lo que significa que dos términos son contextualmente equivalentes si son congruentes. Al explorar el trabajo relacionado, dijo: "nuestro resultado extiende una vieja...
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...