Haskell Implementierung 945 und 946 Konversion Lam
1 Beiträge gefunden:
0 Dokumente und 1 Forumsbeiträge0 Dokumente zum Thema Haskell Implementierung 945 und 946 Konversion Lam:
1 Forumsbeiträge zum Thema Haskell Implementierung 945 und 946 Konversion Lam:
Gegeben sei ein algebraischer Datentyp LExpr zur Darstellung von Ausdrücken
des λ-Kalküls ohne Konstanten.
data LExpr = Var String -- Variable
| App LExpr LExpr -- Funktionsapplikation
| Lam String LExpr -- Lambda-Abstraktion
deriving (Eq, Show)
Mit diesem lassen sich λ-Ausdrücke in Haskell darstellen.
1. Schreiben Sie ei..