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:...
domain-theory
haskell
extensionality
cc.complexity-theory
counting-complexity
fl.formal-languages
automata-theory
cc.complexity-theory
arithmetic-circuits
it.information-theory
shannon-entropy
graph-theory
pr.probability
graph-theory
approximation-algorithms
approximation-hardness
multicommodity-flow
cc.complexity-theory
ds.algorithms
np-hardness
polynomial-time
dynamic-programming
lo.logic
terminology