Questions marquées «lisp»

Relation historique entre le calcul lambda typé et le lisp?

J'ai eu une discussion avec un ami récemment (qui est un défenseur des langues fortement typées). Il a fait le commentaire: Les inventeurs de Lambda Calculus ont toujours voulu le taper. Maintenant , nous pouvons voir que l' église a été associée à la simplement dactylographié Calcul Lambda . En …

16 lambda-calculus church-turing-thesis lisp typed-lambda-calculus

L'équivalence contextuelle d'une langue avec `quote`-`eval` est-elle triviale ou non?

Dans [1], Mitchell Wand a démontré que l'ajout de fexprs au calcul lambda pur banalise la théorie de l'équivalence contextuelle, ce qui signifie que deux termes sont contextuellement équivalents s'ils sont -congruents. En explorant le travail connexe, il est allé "notre résultat prolonge une vieille observation d'Albert Meyer [2] et …

13 pl.programming-languages lisp scheme

Comment Lambda Calculus est-il un type spécifique de système de rédaction de termes?

Maintenant , nous pouvons voir que l' église a été associée à la simplement dactylographié Calcul Lambda . En effet, il semble qu'il ait expliqué le calcul lambda simplement tapé afin de réduire les malentendus concernant le calcul lambda. Maintenant, quand John McCarthy a créé Lisp - il l'a basé …

13 lambda-calculus term-rewriting-systems lisp

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.