lazy-evaluation

Lazy Evaluation bezieht sich auf eine Vielzahl von Konzepten, die eine Evaluierung vermeiden wollen eines Ausdrucks, außer wenn sein Wert benötigt wird, und um die Ergebnisse der Auswertung eines Ausdrucks unter allen Verwendungen seines Ausdrucks zu teilen, so dass kein Ausdruck benötigt wird mehr als einmal bewertet werden.
1
Antwort

Wird Idris wirklich "streng evaluiert?"

Von Haskell kommend, habe ich über Idris 'Geschichte über Faulheit (Nicht-Strenge) gelesen. Ich habe die letzten Veröffentlichungsnotizen gelesen und Code gefunden , der dem folgenden ähnlich ist > %Vor% Ich habe eine einfache faktorielle F...
02.10.2015, 13:52
1
Antwort

So erzwingen Sie die faule Wertberechnung

Was ist der idiomatische Weg, die Berechnung auf Lazy-Wert zu erzwingen?     
09.06.2012, 00:32
3
Antworten

Lazy vs eifrige Bewertung und doppelt verlinkter Listenaufbau

Ich kann nicht schlafen! :) Ich habe in Haskell eine kleine Programmentwicklungsliste geschrieben. Die Eigenschaft der Basissprache, um es zu machen, war faule Bewertung (siehe die Reihe von Code unten). Und meine Frage ist, kann ich das glei...
14.02.2012, 12:51
1
Antwort

Selbstreferenz in Haskell-Funktionen

Ich lerne Haskell und ich den folgenden Ausdruck auf Haskell Wiki wirklich verwirrt: %Vor% Ich kann nicht recht herausfinden, warum das funktioniert. Wenn ich die Standard-Curry-Logik anwende, gibt (zipWith (+)) eine Funktion zurück,...
15.06.2011, 23:44
2
Antworten

Warum funktioniert eine Strict Length-Funktion merklich schneller?

Ich spielte mit Definitionen herum, um das Bewertungsmodell besser zu verstehen, und schrieb zwei für die Länge einer Liste. Die naive Definition: %Vor% Die strikte (und tail-rekursive) Definition: %Vor% len [1..10000000] dauert et...
10.12.2014, 03:03
4
Antworten

Lazy Anmeldung in C ++

Nehmen wir an, dass wir verschiedene Protokollebenen haben: Trace, Debug, Info, Fehler. Ich habe mich gefragt, ob es eine Möglichkeit gibt, den folgenden Code zu schreiben: %Vor% ohne dass create_message aufgerufen wird, wenn level kleiner a...
02.02.2013, 18:42
2
Antworten

Scala: Warum funktioniert List [= Int] nicht?

Ich habe daran gearbeitet, alles über scala zu lernen, und in letzter Zeit bin ich auf etwas gestoßen, auf das ich neugierig bin. Wie ich verstehe, wenn ich einen Block Code übergeben möchte, der effektiv zu einer Funktion ausgewertet wird (o...
01.01.2013, 04:46
4
Antworten

Lazy-Evaluierung mit Ostream C ++ - Operatoren

Ich bin auf der Suche nach einem portablen Weg, um eine faule Auswertung in C ++ für die Protokollierungsklasse zu implementieren. Nehmen wir an, ich habe eine einfache Protokollfunktion wie %Vor% dann in syslog () Funktion können wir tun:...
17.02.2011, 23:07
4
Antworten

Kann eine endliche Liste in Perl 6 faul sein?

Angenommen, ich habe eine Sequenz, in der ich den Anfangs- und Endpunkt kenne und der Generator einfach ist. Kann ich es faul machen? %Vor% Ich möchte diese bekannte Liste mit sich selbst eine unbekannte Anzahl von Zeiten kombinieren, aber n...
13.04.2017, 08:18
2
Antworten

Wie effizient ist die abgeleitete EQ-Instanz in GHC?

Gibt es einen Kurzschluss , der in GHCs (und im Allgemeinen Haskell) abgeleitete Eq Instanz eingebaut ist, die ausgelöst werden, wenn ich dieselbe Instanz eines Datentyps vergleiche? %Vor% Mein Plan ist es, eine faule Datenstruktur (sage...
09.10.2012, 10:36