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

GHC-Bewertungsstrategie

Ich bin etwas verwirrt darüber, wie der folgende Code ausgeführt wird, wenn er mit GHC 7.6.3 kompiliert wird. %Vor% Kompiliert mit ghc --make -O3 , bringt es mir folgendes Ergebnis: %Vor% Aber wenn ich es in show $ m1 M.! 555 ändere...
07.03.2014, 04:35
0
Antworten

Warum nicht immer Inf anstelle von Lazy in Idris benutzen?

Ich finde, dass Lazy und Inf sehr nahe ist:    Lazy und Inf sind eng miteinander verwandt (in der Tat, der zugrunde liegende   Implementierung verwendet denselben Typ). Der einzige Unterschied in der Praxis ist   in der Totalitätsprüfun...
13.01.2018, 03:35
4
Antworten

Wie handle ich mit einer unendlichen Liste von IO-Objekten in Haskell?

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
4
Antworten

Haskell, Liste der natürlichen Zahl

Ich bin ein absoluter Neuling in Haskell, der versucht zu verstehen, wie es funktioniert. Ich möchte meine eigene faule Liste von ganzen Zahlen wie [1,2,3,4,5 ...] schreiben. Für eine Liste von denen, die ich geschrieben habe %Vor% und...
21.03.2010, 13:03
2
Antworten

Lazy Map-Funktion in Python

Gibt es eine Möglichkeit, map faul zu machen? Oder gibt es eine andere Implementierung von Python? Ich möchte, dass so etwas funktioniert: %Vor% Natürlich wird der obige Code nicht enden, aber ich möchte nur irgendeine Bedingung (oder...
08.03.2013, 01:22
5
Antworten

Warum ist meine Intuition über selbstreferentielle faule Sequenzen falsch?

In Haskell kann ich eine selbstreferenzielle Sequenz in GHCI schreiben: %Vor% welches produziert: %Vor% Allerdings sagt meine Intuition über faule Bewertung, dass dies während der Expansion passieren sollte %Vor% Das ist offensichtli...
24.06.2014, 00:53
1
Antwort

Beschleunigung der Haskell-Gleichzeitigkeit

MVar, TVar, IORef, ... Ich kann ein Thunk-Problem nicht beschleunigen (denke ich). (Mein ursprüngliches Problem ist ein threaded Code, ich mache "ForkIO" n-mal aufrufen "addMany"; aber ich denke, mein Problem ist auf "shW" -Funktion) Lasse...
18.09.2012, 10:41
4
Antworten

Ocaml: Lazy Listen

Wie kann ich eine faule Liste erstellen, die eine Folge von Doppelnummern darstellt? Beispiel: %Vor%     
27.10.2009, 16:17
4
Antworten

Wie ist die Beziehung zwischen statischer Typisierung und faulen funktionalen Sprachen? [geschlossen]

Ich bin neugierig auf die Beziehung zwischen statischen Typisierung und faulen funktionalen Sprachen. Ist es zum Beispiel möglich, eine dynamisch faule funktionale Sprache zu haben? Es scheint, als ob alle der faulen funktionalen Sprachen statis...
16.10.2012, 01:42
3
Antworten

"Lazy IO" in Haskell?

Ich versuche ein kleines Experiment in Haskell und frage mich, ob es möglich ist, Faulheit zu nutzen, um IO zu verarbeiten. Ich würde gerne eine Funktion schreiben, die einen String (eine Liste von Chars) nimmt und träge einen String erzeugt. Ic...
18.02.2010, 16:21