Questions marquées «extensionality»

4
Quel est l'intérêt de la conversion
Je pense que je ne le comprends pas, mais -conversion me semble être une -conversion qui ne fait rien, un cas particulier de -conversion où le résultat n'est que le terme dans l'abstraction lambda car il n'y a rien à faire, une sorte de conversion inutile.β β βηη\etaββ\betaββ\betaββ\beta Alors peut-être …
2
Existe-t-il des théories intermédiaires eta pour le calcul lambda?
Il existe deux principales théories étudiées du calcul lambda, la théorie bêta et son extension post-complète, la théorie bêta-eta. Ces deux théories ont-elles un entre-deux, une sorte de règle ETA intermédiaire qui donne une théorie de réécriture confluente? Existe-t-il une notion intéressante d’extensionnalité partielle à laquelle elle correspond? C’est la …
4
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: …
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.