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?

    
___
6
Antworten

Praktischer Einsatz von falten / reduzieren in funktionalen Sprachen

Fold (aka reduce ) wird als eine sehr wichtige Funktion höherer Ordnung angesehen. Map kann in fold ausgedrückt werden ( siehe hier ). Aber es klingt für mich akademischer als praktisch. Eine typische Verwendung könnte darin bestehen...
16.03.2011, 21:05
7
Antworten

Welche Vorteile hat Curry?

Ich glaube nicht, dass ich das Curry verstehen kann, da ich keinen massiven Nutzen sehen kann, den es bieten könnte. Vielleicht könnte mir jemand anhand eines Beispiels aufklären, warum es so nützlich ist. Hat es tatsächlich Vorteile und Anwendu...
13.09.2012, 19:32
4
Antworten

Haskell - arithmetische Operatoren neu definieren (verstecken)

Ich möchte mehrere arithmetische Operatoren in Haskell neu definieren, um sie erweiterbarer und allgemeiner zu machen. z. B. %Vor% Dies scheint in Kombination mit zu funktionieren %Vor% versteckt den Standardoperator * . Aber natürl...
05.03.2010, 17:22
10
Antworten

Am meisten idiomatische Art, Chargen zu schreiben

Ich versuche F # zu lernen, indem ich einige C # -Algorithmen in idiomatische F # umschreibe. Eine der ersten Funktionen, die ich neu schreiben möchte, ist ein batchsOf wo: %Vor% Dies würde die Sequenz in Chargen aufteilen, mit jeweils ma...
22.09.2011, 05:19
3
Antworten

Finden der Teilmengen eines Arrays in PHP

Ich habe ein relationales Schema mit Attributen (A B C D). Ich habe auch eine Reihe von funktionalen Abhängigkeiten mit mir. Jetzt muss ich den Abschluss für alle möglichen Untermengen von Rs Attributen bestimmen. Dort stecke ich fest. Ich mu...
23.05.2011, 04:18
7
Antworten

Funktionen, die für Anrufer rein aussehen, aber intern Mutationen verwenden

Ich habe gerade meine Kopie von Expert F # 2.0 bekommen und bin auf diese Aussage gestoßen, die mich etwas überrascht hat:    Zum Beispiel, wenn nötig, können Sie   Verwenden Sie Nebenwirkungen auf private Daten   Strukturen, die zu Beginn...
13.09.2010, 03:53
3
Antworten

Wie funktioniert orElse bei PartialFunctions?

Ich bekomme sehr seltsames Verhalten (zumindest scheint es mir) mit der Methode orElse , die für PartialFunction definiert wurde Es scheint mir so: %Vor% macht Sinn, aber das ist nicht so, wie es sich verhält, und ich habe große Schw...
18.08.2014, 21:48
5
Antworten

Kann ich mir gute funktionale Programmierpraktiken beibringen?

Ich plane, mich in das Paradigma der funktionalen Programmierung einzumischen und den Gedankenprozess für mich zur zweiten Natur zu machen. Das .Net / Mono ist das einzige Framework / Objektmodell, mit dem ich vertraut bin und ich möchte kein an...
22.11.2010, 02:25
12
Antworten

Haskell Betrüger (:)

Ich bin wirklich neu in Haskell (Eigentlich sah ich "Real World Haskell" von O'Reilly und dachte "hmm, ich denke, ich werde gestern die funktionale Programmierung lernen") und ich frage mich: Ich kann den Konstruktoperator verwenden Füge ein Ele...
27.04.2009, 21:39
3
Antworten

Wie funktioniert Haskells "boobs operator" in einfachem, nicht funktionierendem Englisch? [Duplikat]

In dieser Antwort Ссылка wird ein "Eulen-Operator" erwähnt: %Vor% um die absolute Fehlerfunktion in Punkt-freier Notation auszudrücken. Wie auch immer, wie funktioniert diese Notation? Könnten Sie es bitte einem nicht-funktionalen...
31.07.2013, 13:55