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?

    
___
1
Antwort

Gleichung von "Programmierung Perlen" - kann mir jemand erklären?

Es fühlt sich an, als würde ich feststecken, meine Freunde. Kann mir jemand erklären, wie man Gleichungen aus "Perlen des funktionalen Algorithmus Designs", Kapitel 11 ("Nicht die maximale Segmentsumme") auswählt. Hier ist das Problem (ein bi...
01.11.2011, 13:39
3
Antworten

repräsentieren zustandsbehaftete Dinge in funktionalen Sprachen

Ich habe mit funktionalen Sprachen (insbesondere F #) herumgespielt und mag das ganze unveränderliche Konzept wirklich. Allerdings bin ich ein wenig verloren, wie man stateful Dinge in funktionalen Sprachen darstellen soll. Zum Beispiel, wie...
19.06.2011, 00:58
4
Antworten

Finden Sie den vorletzten Punkt in der Liste, bitte erläutern Sie diese Lösung

%Vor% Kann jemand Zeilen für Zeile kommentieren? Ist das [A] ein generisches wie in c #, das wir tun würden? h scheint nicht definiert zu sein? Ich denke, der Hauptteil des Algo ist der rekursive Aufruf: %Vor% Es scheint keinen Sch...
30.06.2011, 19:37
1
Antwort

Wenden Sie eine Liste von Funktionen auf einen Wert in Ramda an

Wie würde ich diese Funktion am besten in Ramda erstellen? %Vor% Ich denke, das ist die Umkehrung der Karte Funktion.     
28.12.2015, 04:59
3
Antworten

def oder val zum Definieren der Funktion in Scala

Ich lerne Programmier-Paradigmen an meiner Universität und lese dieses Kursmaterial, das vom Dozenten zur Verfügung gestellt wurde, der eine Funktion auf diese Weise definiert hat: %Vor% Aber aus meinen eigenen Studien habe ich gelernt und m...
26.10.2013, 13:51
3
Antworten

Reduzierung von Iterable [Entweder [A, B]] zu Entweder [A, Iterable [B]]

Ich muss ein Iterable [Entweder [Throwable, String]] auf ein Entweder [Throwable, Iterable [String]] reduzieren. Ich weiß nicht, ob diese Operation ziemlich üblich ist oder nicht, habe nichts auf der Iterable Eigenschaft gefunden. Also habe ich...
28.10.2012, 21:04
1
Antwort

Was ist der Mehrwert des funktionalen Pattern Design Patterns von Kestrel? (Scala)

Ich frage mich, warum es so nützlich ist, den Nebeneffekt-Teil eines Codes mit Kestrel wegzulegen. Hat jemand Erfahrung damit? und kann die wahre Motivation erklären und wie genau es hilft. Obwohl ich verstehe, dass Pure funktionale Programmi...
22.04.2014, 22:35
3
Antworten

Verkettungsmethode ruft mit Entweder auf

Ich würde gerne wissen, ob es möglich ist, eine Art "Methoden-Aufrufkette" zu erstellen, wobei alle Methoden dasselbe Ergebnis liefern. Entweder [Fehler, Ergebnis]. Was ich tun möchte, ist: alle Methoden sukzessive aufzurufen, und wenn die Me...
24.08.2012, 10:05
3
Antworten

Scala - Wie benutzt man Funktoren für Nicht-Funktionstypen?

Beim Lesen der Beschreibung von Functors in diesem Blog: Ссылка Es gibt eine generische Definition von Functor und eine spezifischere: %Vor% Offensichtlich bedeutet dies, dass Funktoren mit anderen höherwertigen Typen neben Funktions...
27.09.2011, 15:46
4
Antworten

Y-Kombinator in D?

Ich versuche, den Y-Kombinator besser zu lernen (ich sortiere verstehe es in Schema) und implementiere ihn in D 2.0, und ich versage ziemlich kläglich: %Vor% Das funktioniert nicht, aus dem offensichtlichen Grund, dass ich fact nicht an...
04.08.2011, 07:44