Soweit ich weiß, entsprechen rekursive Datentypen von Haskell den ursprünglichen Algebren von Endofunctors aus der Kategorie Hask [ 1 , 2 ]. Zum Beispiel:
Natürliche Zahlen, data Nat = Zero | Succ Nat , entsprechen der ursprünglichen A...
26.08.2017, 23:02