Als «extensionality» getaggte Fragen

4
Was ist der Sinn der
Ich glaube, ich verstehe es nicht, aber Konvertierung erscheint mir als eine β- Konvertierung, die nichts bewirkt, ein Sonderfall der β- Konvertierung, bei der das Ergebnis nur der Begriff in der Lambda-Abstraktion ist, weil nichts zu tun ist. Art einer sinnlosen β- Umwandlung.ηη\etaββ\betaββ\betaββ\beta Vielleicht ist -conversion etwas sehr Tiefes und …
2
Gibt es Zwischen-Eta-Theorien für die Lambda-Rechnung?
Es gibt zwei Haupttheorien des Lambda-Kalküls, die Beta-Theorie und die Post-Complete-Erweiterung, die Beta-Eta-Theorie. Haben diese beiden Theorien eine Zwischenregel, eine Art Zwischenregel, die eine konfluente Neuschreibungstheorie liefert? Gibt es eine interessante Vorstellung von partieller Extensionalität, der sie entspricht? Dies ist die zweite Frage , die ich auf der Suche nach …
4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
3
Ist es möglich zu berechnen, ob zwei Funktionen in der Erweiterung gleich sind?
Wenn Sie zwei Funktionen haben, die einen unterschiedlichen Sortieralgorithmus implementieren, können Sie dann anhand des Quellcodes schließen, dass beide dieselben externen Eigenschaften haben? Bedeutet das, dass beide eine mögliche unsortierte Sequenz als Eingabe und eine sortierte Sequenz als Ausgabe haben? Wie könnten diese externen Eigenschaften durch den Quellcode bestimmt werden? …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.