1
Was ist das weniger als in der Notation verwendete Symbol x:<_? Ich weiß, dass (function (x :< xs))=x bedeuten würde, eine Funktion, die eine Zeichenfolge und gibt den Kopf der Zeichenfolge als Ausgabe. Dann nehme ich an, x:_ und x:xs in dieser Funktion wäre austauschbar, aber ich bin nicht vertraut mit der Notation < in diesem Ausdruck.Was ist der Unterschied zwischen (Funktion (x: <_)) = x und (Funktion (x: _)) = x
Ein Strom zu bekommen, ist rechts nur ein Zyklus von Arten? Wie, sagen wir Strom von 1, 2, 3. Wenn ich bis zu 3 bin und rufe streamHead auf (3 <: xs) = 1. –
Nein, ein Stream modelliert eine unendliche Sequenz; Beachten Sie, dass es keinen Konstruktor gibt, um einen leeren Stream zu modellieren. Es ist möglich, dass ein Zyklus mit einem Stream modelliert wird (etwas wie "let n = 1: <(2:
chepner
Ein Beispiel für einen nicht zyklischen Stream wäre 'fix $ \ nats -> 0:
Cactus