Suchergebnisse für Anfrage "lambda-calculus"
"Welchen Teil von Hindley-Milner verstehst du nicht?"
I schwören Früher gab es ein T-Shirt zum Verkauf, das die unsterblichen Worte enthielt:Welchen Teil vonmachst dunicht verstehen?In meinem Fall wäre die Antwo...
Gibt es eine effiziente Möglichkeit, eine unäre Zahl in eine binäre Zahl umzuwandeln?
Stellen diese Datentypen unäre bzw. binäre natürliche Zahlen dar: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Succ (Succ Zero) u3 = Succ (Succ (Succ Zero)) u4 = Succ (Succ (Succ (Succ ...
Seite 2 von 2