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

Ersetzen von Funktionen mit Table Lookups

Ich habe mir dieses MSDN-Video mit Brian Beckman angesehen und ich möchte etwas besser verstehen, was er sagt:    Jeder imperitive Programmierer durchläuft diese Phase des Lernens   Funktionen können durch Tabellennachfragen ersetzt werden...
07.12.2012, 15:51
2
Antworten

Im Gegensatz zu Unit ungültig machen

Ich würde gern verstehen, was der Unterschied zwischen diesen beiden Programmierkonzepten ist. Die erste repräsentiert das Fehlen des Datentyps und bei der letzteren existiert der Typ, aber es gibt keine Information. Außerdem erkenne ich, dass E...
14.12.2009, 13:35
3
Antworten

Warum ist cond ein spezielles Formular in Scheme und nicht eine Funktion?

%Vor% Dinge, die ich über Cond weiß Es erlaubt mehrere Test- und alternative Ausdrücke Es hat eine vordefinierte Bewertungsreihenfolge. Zum Beispiel wird die erste Bedingung immer ausgewertet, ob es richtig ist oder nicht Eine Sache,...
01.11.2015, 18:32
3
Antworten

Lazy "n wähle k" in OCaml

Als Teil eines größeren Problems beim Aufzählen einer Menge muss ich eine OCaml-Funktion "choose" schreiben, die eine Liste aufnimmt und als Liste aller möglichen Sequenzen der Größe k aus Elementen dieser Liste ausgibt (ohne sich zu wiederholen...
19.10.2010, 14:18
3
Antworten

Reiner Lambda-Kalkül - und Funktion

Ich lerne gerade Haskell und nehme auch an einem eher theoretischen Vortrag über funktionale Programmierung an der Universität teil. Ich weiß, dass dies eine rein theoretische / akademische Frage ist, aber ich bin dennoch daran interessiert,...
30.06.2014, 23:18
4
Antworten

Ein Beispiel aus der Praxis, wenn Mustervergleich besser ist als ein Case-Ausdruck in Haskell?

Ich war also mit dem Real World Haskell Buch beschäftigt und habe die lastButOne Übung gemacht. Ich habe zwei Lösungen gefunden, eine mit Mustererkennung %Vor% Und einer, der einen Case-Ausdruck verwendet %Vor% Was ich herausfin...
03.12.2015, 19:58
6
Antworten

Suche nach einer FP-Ranking-Implementierung, die Bindungen behandelt (d. h. gleiche Werte)

Ausgehend von einer sortierten Abfolge von Werten ist es mein Ziel, jedem Wert einen Rang zuzuordnen, wobei gleiche Ränge für gleiche Werte (aka ties) verwendet werden: Eingabe: Vector(1, 1, 3, 3, 3, 5, 6) Ausgabe: Vector((0,1), (0,1),...
02.11.2016, 05:30
2
Antworten

Definieren einer Stapeldatenstruktur und ihrer Hauptoperationen im Lambda-Kalkül

Ich versuche, eine stack -Datenstruktur im Lambda-Kalkül zu definieren, indem ich Festkomma-Kombinatoren verwende. Ich versuche, zwei Operationen zu definieren, insertion und removal der Elemente, also, push und pop , aber die einz...
24.12.2012, 00:58
2
Antworten

PHP - Anzeigen von Urdu-Text, der von MySQL DB abgerufen wurde

In der MySQL-Datenbank sind Buchtitel in Urdu-Sprache gespeichert. Ich muss auf HTML-Seite mit PHP anzeigen. Momentan werden nur die Fragenzeichen ( ?????? ) anstelle von Urdu-Text angezeigt. %Vor% Was muss getan werden, um diese Zeiche...
01.07.2012, 08:00
3
Antworten

Das gebräuchlichste Muster für die Verwendung einer Datenbank in einer funktionalen Sprache, bei dem keine Nebenwirkungen erwünscht sind?

Ich versuche, mich mit einem Kernkonzept funktionaler Sprachen vertraut zu machen: "Ein zentrales Konzept in funktionalen Sprachen ist, dass das Ergebnis einer Funktion durch ihre Eingabe und nur durch ihre Eingabe bestimmt wird. Es gibt kein...
06.12.2011, 20:18