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

Datenstrukturelle Bootstrapping-Beispiele?

Ich habe kürzlich Okasaki und Brodals Artikel "Optimal Rein funktionale Warteschlangen ", die eine schnelle Prioritätswarteschlange basierend auf dem datenstrukturellen Bootstrapping beschreiben, bei der eine einfache und ineffiziente Datenstru...
23.03.2011, 05:44
1
Antwort

Wie schreibe ich Monoid-Protokoll in Clojure?

Folgendes funktioniert aus offensichtlichen Gründen nicht. %Vor% mzero hat null Argumente und Null-Argument-Methoden sind in Protokollen nicht erlaubt (oder sind nicht sinnvoll). In Haskell oder Scala, wo der Versand typenbasiert und nich...
26.05.2012, 16:05
1
Antwort

Wie referenziere ich einen generischen Parameter?

Ich habe ein Y-Kombinator-Problem gelöst. Gerade jetzt habe ich festgestellt, dass ich einen generischen Parameter nicht rekursiv referenzieren kann. %Vor% zum Beispiel: %Vor% Q : Wie kann ich generische Parameter in der Methode g ve...
26.07.2017, 20:54
1
Antwort

Welche Begriffe entsprechen Map, Filter, Foldable, Bind etc. aus der Category Theory?

Ich wurde interessiert und fand nicht an einer Stelle eine Liste entsprechender Begriffe: Map <-> Morphism Foldable <-> Catamorphism ... Wer kann die Liste der Begriffe ergänzen?     
20.07.2017, 11:26
2
Antworten

Die nützlichste und lehrreichste funktional-logische Sprache zu lernen

Ich war ziemlich beeindruckt von der Kraft von Prolog. Es hat einige Zeit gedauert, um den Kopf herumzukriegen, aber für mich schien es die coolste deklarative Sprache da draußen zu sein. Deshalb habe ich mich vor kurzem, nach zwei Jahren funkti...
16.07.2013, 11:18
1
Antwort

Liefert einen Wert aus einer Coroutine in Python, konvertiert den Callback in den Generator

Ich bin neu in Python und funktionaler Programmierung. Ich benutze Version 2.7.6 Ich verwende das Tornado-Framework, um asynchrone Netzwerkanforderungen zu stellen. Von dem, was ich über die funktionale Programmierung gelernt habe, möchte ich...
07.08.2015, 04:12
1
Antwort

Erstellen einer Klassenhierarchie in Coq?

Ich kann naiv eine Hierarchie von algebraischen Strukturen in Coq mit Hilfe von Typklassen konstruieren. Ich habe Probleme, Ressourcen für Coqs Syntax und Semantik für Typklassen zu finden. Ich glaube jedoch, dass das Folgende eine korrekte Impl...
03.11.2011, 04:34
1
Antwort

Sind Scala "Fortsetzungen" nur eine funky Syntax zum Definieren und Verwenden von Callback-Funktionen?

Und ich meine das im selben Sinne, dass ein C / Java for nur eine funky Syntax für eine while Schleife ist. Ich erinnere mich noch daran, als ich zum ersten Mal etwas über die for -Schleife in C gelernt habe, die mentale Anstrengung,...
23.04.2010, 18:17
2
Antworten

Warum wird diese Idits-Schnipsel-Typüberprüfung ohne einen expliziten Typ nicht ausgeführt?

Ich fange gerade an, Idris zu lernen, und arbeite gerade an dem Buch Type Driven Development mit Idris . Eine der Beispielaufgaben aus dem zweiten Kapitel besteht darin, eine Funktion zu schreiben, die bei einer gegebenen Zeichenkette die durch...
14.07.2017, 02:59
2
Antworten

Die Objekt-Funktionsimpedanz-Fehlanpassung

In OOP empfiehlt es sich, mit Schnittstellen zu kommunizieren, nicht mit Implementierungen. Also schreiben Sie beispielsweise so etwas (von Seq ich meine scala.collection.immutable.Seq :)): %Vor% nicht etwa wie folgt: %Vor% In rein...
09.05.2016, 12:55