Questions marquées «lambda-calculus»

Le λ-calcul est un système formel de définition de fonction, d'application de fonction et de récursivité qui forme la base mathématique de la programmation fonctionnelle.

3
Étudier la théorie du langage de programmation
Je suis récemment devenu extrêmement intéressé par la compréhension et la démonstration d'aspects des langages de programmation (fonctionnels). Cependant, alors que je plonge plus profondément, des choses comme calcul, la théorie des catégories et la sémantique dénotationnelle sont un peu difficiles à comprendre sans explication appropriée.λλ\lambda J'ai lu SICP (un …
2
Existe-t-il des articles évalués par des pairs qui étudient les avantages et les inconvénients de la programmation fonctionnelle?
Quelqu'un peut-il me renvoyer à des articles évalués par des pairs qui étudient les avantages ou les inconvénients de l'écriture de code dans un style fonctionnel? Existe-t-il des articles qui discutent des applications de Lambda Calculus dans des domaines tels que l'apprentissage automatique, la conception de langage, etc.?
2
«Ordre applicable» et «Ordre normal» dans le lambda-calcul
Ordre d'application: Évaluez toujours complètement les arguments d'une fonction avant d'évaluer la fonction elle-même, comme - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.X2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ 9 Ordre normal: …
3
Une quine dans le calcul lambda pur
Je voudrais un exemple de quine en calcul lambda pur . J'ai été assez surpris de ne pas en trouver un en cherchant sur Google. La page quine répertorie les quines pour de nombreuses langues "réelles", mais pas pour le calcul lambda. Bien sûr, cela signifie définir ce que je …
2
Les fonctions d'ordre supérieur fournissent-elles plus de puissance à la programmation fonctionnelle?
J'ai posé une question similaire sur cstheory.SE . Selon cette réponse sur Stackoverflow, il existe un algorithme qui, sur un langage de programmation fonctionnel pur non paresseux, a une complexité , tandis que le même algorithme en programmation impérative est Ω ( n ) . Ajouter la paresse au langage …
1
Qu'est-ce que
Je regarde le calcul des constructions et sa place dans le Lambda Cube . Si je comprends bien, chaque axe du cube peut être considéré comme ajoutant une autre opération impliquant des types au calcul simplement typé, . Le premier axe ajoute des opérateurs de type à terme, les seconds …
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.