Aus heutiger Sicht passt diese Frage nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich Debatten, Argumente, Abstimmungen oder erweiterte Diskussionen hervorrufen. Wenn...
Edit: Ich formuliere die Frage ein bisschen um. Anscheinend habe ich einige Verwirrung gestiftet, weil ich nicht begriffen habe, dass der Begriff Destruktor in OOP für etwas ganz anderes verwendet wird - eine Funktion, die aufgerufen wird, wenn ein Objekt zerstört wird. In der funktionalen...
Ich habe einen Job aufgegeben (um in ein anderes Land zu ziehen), wo ich die meiste Zeit in Javascript und Haskell (etwas Python) programmiert habe. Ich mochte es wirklich, weil die Leute objektiv, positiv, mathematisch waren und trotzdem ein paar Sachen erledigt haben. Dies war ein wirklich...
Ich lerne funktionale Programmierung mit Haskell . In der Zwischenzeit studiere ich Automatentheorie und da die beiden gut zusammenpassen, schreibe ich eine kleine Bibliothek, um mit Automaten zu spielen. Hier ist das Problem, bei dem ich die Frage gestellt habe. Während ich einen Weg studierte,...
Ich bin dabei, ein Simulations- / Modellierungsprojekt zu starten. Ich weiß bereits, dass OOP für diese Art von Projekten verwendet wird. Das Studium von Haskell hat mich jedoch dazu veranlasst, das FP-Paradigma für die Modellierung eines Komponentensystems zu verwenden. Lassen Sie mich näher...
(Beachten Sie, dass ich die Frage hier stelle, da es sich eher um die konzeptionelle Mechanik als um ein Codierungsproblem handelt.) Ich arbeite an einem kleines Programm, das eine Folge von Fibonacci - Zahlen in seinem equasion Verwendung wurde, aber ich merkte , dass , wenn ich eine bestimmte...
Hier ist ein einfaches Programmierproblem von SPOJ: http://www.spoj.com/problems/PROBTRES/ . Grundsätzlich werden Sie aufgefordert, den größten Collatz-Zyklus für Zahlen zwischen i und j auszugeben. (Collatz-Zyklus einer Zahl $ n $ ist die Anzahl der Schritte, die letztendlich von $ n $ auf 1...
Also mache ich einen ziemlich involvierten Javascript / HTML-Client mit vielen Ajax-Aufrufen und anderen Verwicklungen des Callback-Ismus. Ich unterhalte mich mit dem Gedanken, Fay für diesen Zweck einzusetzen. Mir ist Elm bewusst. Versuchte es und mochte die FRP-Elemente. Jetzt möchte ich wissen,...
Ist es möglich, statische oder abhängige Typen zu verwenden, um zu beweisen, dass eine Funktion idempotent ist? Ich habe Google und verschiedene Orte auf StackOverflow / StackExchange nach der Antwort durchsucht, ohne Erfolg. Am ehesten habe ich dieses Gespräch über Idris gefunden:...
In Haskell ist der Functor-Typenklassen-Functor wie folgt definiert (siehe zB Haskell-Wiki ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Soweit ich (bitte korrigieren Sie mich , wenn ich falsch bin) zu verstehen, wie ein Funktor nur als Zielkategorie eine Kategorie...
So viel wie FP getan hat, am Ende sind alle unsere Programme strukturiert. Das heißt, es spielt keine Rolle, wie rein oder funktional wir sie herstellen - sie werden immer in Baugruppen übersetzt. Was also tatsächlich hinter den Hauben läuft, sind Anweisungen, Zustände und Schleifen. Wir emulieren...
Ich möchte eine Typklasse für geometrische Objekte definieren, die zusammen geschnitten werden können: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Die Idee ist, universelle Schnittfunktionen...
Wir implementieren eine Matrixkomprimierungsbibliothek, die auf einer modifizierten zweidimensionalen Grammatiksyntax basiert. Jetzt haben wir zwei Ansätze für unsere Datentypen: Welcher ist bei Speichernutzung besser? (wir wollen etwas komprimieren;)). Die Grammatiken enthalten NonTerminals mit...
Die Intuition eines optionalen Typs wie Maybe Intist, dass entweder kein Int vorhanden ist (also vorhanden ist Nothing) oder dass es ein Int gibt; da ist etwas. Für mich ist es sinnvoll, den Typkonstruktor für den "negativen" Fall zu nennen Nothing, da dies genau bedeutet - dass es dort keinen...
Einer der Hauptvorteile des Software-Transaktionsspeichers, der immer erwähnt wird, ist die Kompositionsfähigkeit und Modularität. Verschiedene Fragmente können kombiniert werden, um größere Komponenten herzustellen. In sperrbasierten Programmen ist dies häufig nicht der Fall. Ich suche ein...
Die folgende Erklärung gibt einen Fehler aus: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) data...
Ich habe viele Bücher und Artikel über funktionale Programmierung gelesen und schäme mich immer noch, einige sehr grundlegende Konzepte nicht sicher verstehen zu können. Eine der Hauptideen der funktionalen Programmierung ist, dass dieselbe Eingabe immer dieselbe Ausgabe erzeugen sollte. Daher...
Die Haskell-Kernsprache ist wirklich einfach. Ausgehend von einem OO-Hintergrund besteht die Hauptschwierigkeit darin, sich an das reine Funktionsparadigma anzupassen. Während ich "grundlegendes" Haskell lernte, habe ich Spracherweiterungen immer als Spielzeug für CS-Leute oder als Experimente für...
Ich sehe jetzt, dass Racket Typen hat. Auf den ersten Blick scheint es fast identisch mit der Haskell-Eingabe zu sein. Aber deckt Lisps CLOS einige der Bereiche ab, die Haskell-Typen abdecken? Das Erstellen eines sehr strengen Haskell-Typs und eines Objekts in einer beliebigen OO-Sprache scheint...
Ich lerne funktionale Programmierung und habe Probleme zu verstehen, wie bestimmte Szenarien ohne Zuweisung implementiert werden. Das folgende einfache Problem fasst meine Verwirrung ziemlich gut zusammen. Schreiben Sie ein Programm, das Ereignisse über Änderungen in einer bestimmten Datenstruktur...