functional-programming

___ qstnhdr ___ Wie bekomme ich Paare von Elementen aus unendlichen Listen in Haskell? ___ answer21568207 ___
%Vor%

Das wäre aber viel schneller.

%Vor%     
___ answer21601174 ___

Es ist schade, dass Sie @ leftaroundabouts Lösung nicht akzeptiert haben. Es hat viel mehr zu bieten. Zum Beispiel hat die andere Lösung eine Heuristik "alle Zahlen müssen kleiner als n sein" (was tun Sie für Probleme, bei denen Sie diese Heuristik nicht haben?), Und ein paar andere Schritte, die es schwerer machen, das tatsächlich zu beweisen ist eine Lösung für Goldbachs Problem - z Können Sie demonstrieren, dass die Aufzählung der Primzahlen alle nützlichen Primzahlpaare zusammenfasst? (Es tut, aber können Sie es demonstrieren? Dies ist die Schwäche dieser Lösung)

Hier werde ich zeigen, wie Sie die Lösung @leftaroundabout präsentieren können, ohne das Wort "monad" zu sagen.

Das Problem mit dem Listenverständnis, das Sie zuerst erstellt haben, ist, dass es die Lösung "Tiefe zuerst" durchsucht - nehmen Sie ein Element aus der ersten Liste und versuchen Sie dann alle Kombinationen mit diesem Element. Wenn es jedoch eine unendliche Anzahl von Kombinationen gibt, werden Sie niemals Paare mit dem zweiten Element aus der ersten Liste aufzählen. Hier müssen wir über "Breite zuerst" nach Lösungen suchen.

Nehmen wir an, %code% ist ein Generator von Lösungen:

%Vor%

Nehmen wir an, %code% ist ein Generator von Generatoren von Lösungen:

%Vor%

Alles, was wir jetzt tun müssen, ist Lösungen aufzuzählen, indem wir jeweils eine Lösung von jedem Generator nehmen. Wohlgemerkt, wenn die Anzahl der Generatoren unendlich ist, können wir sie nicht einfach einzeln nehmen - so werden wir niemals die zweite Lösung vom ersten Generator bekommen, also müssen wir sie irgendwie "schreiten":

%Vor%

Das ist es.

%Vor%

Jetzt zur Effizienz. Es ist alles in %code% und %code% . Fügen Sie eine Bedingung zu %code% zu %code% hinzu, und es funktioniert auch dann, wenn Goldbachs Vermutung falsch ist (Sie müssen sie jedoch nicht hinzufügen). Fügen Sie eine Bedingung zu %code% zu %code% hinzu, und Sie werden nur die Paare aufzählen, in denen die erste Primzahl größer als die andere ist.

    
___ answer21566020 ___

Der schönste Weg ist die Breite . erste Liste Monade . Da List Comprehensions nur als syntaktischer Zucker der Monade betrachtet werden kann (ähnlich wie %code% ), ermöglicht es Ihnen, es genau so aussehen zu lassen, wie Sie es jetzt haben:

%Vor%     
___ tag123haskell ___ Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerungsfreier Auswertung, umfangreicher Parallelitäts- und Parallelitätsunterstützung und einzigartigen Abstraktionsfunktionen. ___ tag123funktionale Programmierung ___ Funktionale Programmierung ist ein Programmierparadigma, das auf der Erzeugung von Abstraktionen unter Verwendung von Funktionen basiert, die Nebeneffekte und Zustandsänderungen vermeidet. Reine funktionale Programmierung ist threadsicher. ___ tag123lazyevaluation ___ 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. ___ answer45250130 ___

oder ein Lambda, die unendliche Liste von Paaren aus einer unendlichen Liste von was auch immer gibt

%code%

auf ghci %code%

    
___ qstntxt ___

Allgemeines Problem

Ich habe eine unendliche Liste und möchte ein Paar %code% auswählen, wobei %code% und %code% beide aus der Liste kommen und das Paar eine Eigenschaft erfüllt. Die Verwendung von List Comprehensions scheint nicht zu funktionieren, da die Liste unendlich ist.

Spezifische Instanz

Ich versuche ein Paar Primzahlen zu finden, die sich zu einer bestimmten Zahl addieren (siehe dieses Codegolfproblem <) / a>).

Ich habe %code% definiert, was eine unendliche Liste von Primzahlen ist, aber wenn ich naiv versuche, ein Paar Primzahlen wie unten zu wählen, endet der Prozess nie.

%Vor%

Mir ist klar, dass die Liste der generierten Primzahlen %code% ist. Grundsätzlich wird %code% zum ersten Element von %code% und sobald %code% erschöpft ist, wird es auf das zweite Element verschoben. Weil %code% unendlich ist, wird es niemals erschöpft sein!

Gibt es eine einfache Möglichkeit, List Comprehensions zu verwenden, um dieses Problem zu lösen? Gelingt das nicht, gibt es eine einfache Lösung?

    
___
3
Antworten

C # -Operatoren als Funktionen

Gibt es eine Möglichkeit, Operatoren als Funktionen zu verwenden, ohne sie manuell zu deklarieren? %Vor% Ähnlich wie (+) / (-) in Haskell. In verschiedenen LINQ-Szenarios mit konditionalen Abfragekonstruktionen wäre dies hilfreich. Vie...
01.12.2011, 14:23
3
Antworten

Wie implementiert man diesen verschachtelten Fluss mit Optionals?

Ich habe eine Methode, die String als Eingabe verwendet und auch String zurückgibt. Die folgende ASCII-Grafik zeigt den logischen Ablauf: %Vor% Im Grunde für gegebene input suche ich nach A Objekt, das in einem Option verpa...
17.11.2016, 16:05
1
Antwort

Wie funktioniert Foldable.foldl bei Num a = a?

In LYAH gibt es einen Code, der so aussieht. > %Vor% Soweit ich weiß, ist foldMap vom Typ foldMap :: (Monoid m, Foldable t) => (a -> m) -> t a -> m , aber Num a => a selbst ist nicht vom Typ Monoid , also frage ich...
14.09.2017, 16:00
4
Antworten

Was ist der "funktionale Weg", um das Übergeben von Statusauswahlkontexten im Call-Stack zu vermeiden?

Sagen Sie, ich habe eine Eigenschaft, die zwei Listen hat. Manchmal bin ich an dem einen interessiert, manchmal an dem anderen. %Vor% Ich habe eine Kette von Funktionsaufrufen, an deren Spitze ich den Kontext habe, den ich zwischen den Liste...
16.03.2012, 02:18
3
Antworten

Gibt es eine rein funktionale Implementierung für eine Bounded Queue mit peek () in O (1)?

Ich möchte eine unveränderliche begrenzte FIFO-Warteschlange unterhalten, aus der ich die ältesten Werte nach einer bestimmten Zeit entfernen kann. In Scala funktioniert die unveränderliche.Queue gut für größenbeschränkte Warteschlangen (.size...
27.06.2011, 04:59
5
Antworten

Entspricht der Seq.scan () - Methode von F # in Python?

Gibt es eine Funktion wie F% s Seq.scan() in Python? Ich möchte einige cumsum() oder cumproduct() Art von Dingen ohne Schleifen machen.     
10.05.2010, 19:04
2
Antworten

Imperativ in funktionalen Code übersetzen

Ich muss ein Programm schreiben, das imperativen Code in einen reinen funktionalen Stil übersetzt. Ich mache mir keine Sorgen um I / O - ich habe dafür einige Lösungen im Kopf - aber ich muss mich sowohl mit Heap-Objekten als auch mit lokalen Va...
07.07.2011, 05:34
1
Antwort

Wenn -g zum Drucken von Stack-Traces in OCaml verwendet werden soll?

Ich versuche, einen StackTrace mit Printexc.get_backtrace zu bekommen, aber ich bekomme einen Fehler: (Program not linked with -g, cannot print stack backtrace) Ich kompiliere so: ocamlfind ocamlc -g -o foo ... $(FOO_OBJS) F...
23.02.2012, 17:42
1
Antwort

Wie strukturiert man eine in einer funktionalen Sprache geschriebene Anwendung?

Wie wird Code in FP-Anwendungen normalerweise organisiert? In welche Richtung trennen Sie Dateien, Module, Verzeichnisse, etc.     
02.05.2010, 16:47
1
Antwort

| + | ist eine Halbgruppe, weshalb sie eine implizite monoidale Auflösung benötigt

Das Ziel von Semigroup ist es, die Assoziativität und die Schließung sicherzustellen Das Ziel von monoid basiert auf Semigroup und bietet zusätzliche Identität. Wenn ich | + | Semigroup-Appender, warum habe ich implizite Monoid nicht implizite S...
24.08.2014, 02:06