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?

    
___
2
Antworten

OCaml: warum Vergleichsoperatoren typenunabhängig sind, arithmetische dagegen nicht?

Ich frage mich, warum & lt; operator unterstützt int, string, bool oder float, während + nur int. unterstützt Kann OCaml die zugrunde liegende Arithmetik erkennen? Was unterscheidet Vergleichsoperator von arithmetischen? Ist es das gleiche fü...
29.10.2015, 11:36
3
Antworten

Mapping über ein Array von Aufgaben in Javascript

Ich habe angefangen, Ramda / Folktale anzuschauen. Ich habe ein Problem, wenn ich versuche, ein Array von Aufgaben aus einem Verzeichnis abzubilden. Ich versuche Dateiinhalte zu analysieren. %Vor% Ich lese die Dateien in einem Verzeichnis un...
04.11.2015, 09:40
1
Antwort

String-Verkettung in Purescript

Wiedergabe mit purescript und Auftauchen eines seltsamen Problems mit String-Verkettung. Ich habe die Prelude , Data.List , Data.Maybe und Data.String geladen und importiert (auch Data.Array wurde importiert), aber die PSCi erkennt...
25.08.2016, 20:48
4
Antworten

Was ist der Zweck der Staatsmonade?

Ich bin ein JavaScript-Entwickler auf dem Weg zu meinen Fähigkeiten in der funktionalen Programmierung. Ich bin kürzlich in eine Mauer gelaufen, als es um die Verwaltung des Staates ging. Bei der Suche nach einer Lösung habe ich in verschiedenen...
29.01.2015, 20:46
1
Antwort

Beweisen die Funktorgesetze die vollständige Erhaltung der Struktur?

In der Dokumentation für Data.Functor werden die folgenden zwei als Funktor angegeben Gesetze, an die sich alle Funktoren halten sollten. %Vor% Wie meine Intuition mir sagt, dass Funktoren funktionieren sollten, ist, dass sie "strukturer...
15.05.2014, 10:19
1
Antwort

Can Haskell-Datendeklarationen werden durch Typwerte begrenzt

Gibt es in Haskell eine Möglichkeit, einen Datentyp durch den Wert seiner Komponenten zu begrenzen? Ich habe ein Beispiel entworfen. Angenommen, Sie haben ein Dame Spiel. Ein Prüfer ist entweder vom Typ Schwarz oder Weiß. %Vor% Das Spielbret...
03.05.2013, 15:47
4
Antworten

Wie beurteilt man (oder wie schreibt man) eine Python-Funktion ohne Nebenwirkungen?

Die Antwort entspricht der Definition von side effects . Bisher finde ich keine genaue Antwort. Das Python-Dokument sagt: Functional style discourages functions with side effects that modify internal state or make other changes that aren’...
17.11.2013, 04:10
2
Antworten

Äquivalent für ein Listenverständnis mit mehreren for-Klauseln zuordnen / reduzieren

Ich möchte ein funktionelles Äquivalent der Listen-Comprehensions schreiben, die nur Funktionen höherer Ordnung und ohne Nebenwirkungen verwenden. Ich tue dies ausschließlich zu Lernzwecken. Ich weiß, dass die Listenkomprehensionen Pythonic s...
28.02.2014, 09:40
3
Antworten

Funktioneller Stil frühes Verlassen der Tiefe der ersten Rekursion

Ich habe eine Frage zum Schreiben von rekursiven Algorithmen in einem funktionalen Stil. Ich werde Scala für mein Beispiel hier verwenden, aber die Frage gilt für jede funktionale Sprache. Ich führe eine Depth-First-Enumeration eines n -ari...
20.11.2012, 23:22
2
Antworten

Was ist der beste Weg, um diese Sequenz-Transformation in Clojure zu behandeln?

Ich bin neu bei Clojure und habe einige Datenmanipulationsarbeiten, die ich kürzlich gemacht habe, als Lernhilfe übersetzt. Ich habe eine Funktion Übersetzung, die gut funktioniert, und ist kürzer, aber fühlt sich viel weniger lesbar. Kann jeman...
17.11.2011, 12:27