Eine "Endlosschleife" ist eine Schleife, in der die Ausgangskriterien nie erfüllt werden; Eine solche Schleife würde eine potentiell unendliche Anzahl von Iterationen des Schleifenkörpers ausführen. Das allgemeine Problem zu bestimmen, ob die Ausführung einer Schleife mit gegebenen Vorbedingungen zu einer Endlosschleife führt, ist unentscheidbar; Mit anderen Worten, es gibt keinen Algorithmus, um zu bestimmen, ob eine Ausführung einer Schleife schließlich beendet wird. Dies ist bekannt als das Halteproblem.
Im dritten Kapitel der CPDT wird kurz erläutert, warum negative induktive Typen in Coq verboten sind. Wenn wir hätten
%Vor%
Dann könnten wir einfach eine Funktion definieren
%Vor%
, so dass der Ausdruck uhoh (Abs uhoh) nicht terminiere...
05.07.2015, 01:17
Ich schreibe ein Programm, das aus einer Liste von Dateien liest. Jede Datei enthält entweder eine Verknüpfung zur nächsten Datei oder markiert, dass es das Ende der Kette ist.
Da es für Haskell neu ist, schien es, als wäre die idiomatische A...
11.10.2011, 22:53
Ich habe einige Vaadin-Code-Blockierungen sehr oft hier, und ich habe keine Ahnung, was das Problem sein kann:
%Vor%
Kann jemand vorschlagen, dieses Problem weiter zu debuggen? Das Problem tritt sehr selten auf und ist ziemlich schwierig zu...
18.04.2012, 23:45
Bei dieser Frage geht es mehr um Neugier als um Nützlichkeit. Wenn ich eine Funktion schreibe, die ewig laufen soll, zum Beispiel einen Daemon, wie würde Python damit umgehen, wenn ich die Funktion am Ende der Funktion erneut aufrufen würde?
%...
02.11.2011, 03:29
Ich würde gerne wissen, ob es überhaupt einen Trigger für zwei Tabellen gibt, die die Daten auf die anderen replizieren.
Zum Beispiel:
Ich habe zwei Benutzer-Tabellen, users_V1 und users_V2. Wenn ein Benutzer mit einer der V1-App aktuali...
10.02.2010, 14:34
Mein Ziel ist es, () von Begriffen wie folgt zu eliminieren:
%Vor%
Und das ist der Code:
%Vor%
Aber probiere es aus:
%Vor%
... führt zu einer Endlosschleife im Typchecker. Ich denke, die If type Familie sollte sich um irreduzib...
08.09.2016, 16:37
Ich verwende angular, um einen E-Commerce zu erstellen, und ich setze einen unendlichen Scroll auf die Produktlistenseite. Alles hat gut funktioniert, aber ich möchte die URL verwenden, um die Seite festzulegen, damit der Benutzer über URL auf e...
01.09.2014, 16:18
Ich mache das Spiel Schach und habe praktisch alles außer einer Sache: Ich muss es schaffen, dass es für einen Spieler unmöglich ist, ein Stück in Schach zu bringen. Ich habe Probleme damit, dieses Problem anzugehen.
Was ich gerade im Pseudoc...
29.05.2013, 01:03
Ich habe ein paar Probleme bei Ссылка mit JavaScript gelöst. Ich habe eine einfache HTML-Seite verwendet und meinen Code in Skript-Tags ausgeführt, damit ich meine Ergebnisse in der Browserkonsole protokollieren kann. Beim Experimentieren mit...
10.06.2010, 22:59
Ich habe ein PHP-Skript, das ein Verzeichnis überprüft und alle Dateien löscht, die nicht innerhalb von 15 Sekunden geändert wurden (es ist für ein Spiel).
Mein Problem ist, wie man dieses Skript die ganze Zeit laufen lässt. Ich habe einen Cr...
13.07.2009, 20:44