Suchergebnisse für Anfrage "coinduction"
Berechnen Sie einen (unendlichen) Baum vom Fixpunktoperator mit der Verzögerungsmodalität
Here ist ein funktionales Programmierrätsel, bei dem es um das Verknüpfen von Schleifen und unendliche Datenstrukturen geht. Es gibt ein bisschen Hintergrund, also bleibt dran. Die Einstellung Definieren wir einen Datentyp, der rekursive ...