Ich versuche, ein experimentelles Projekt mit einer funktionalen Sprache zu starten und mich zwischen Erlang und Haskell zu entscheiden, und beide haben einige Punkte, die ich wirklich mag. Ich mag Haskells starkes Typensystem und Reinheit. Ich habe das Gefühl, es wird einfacher, wirklich...
Ich weiß, dass dies eine sehr breite, mehrdeutige und möglicherweise philosophische Frage ist. Bis zu einem gewissen Grad ist das wichtigste Schlüsselwort in der Frage - das "starke" Typensystem - selbst - schlecht definiert . Lassen Sie mich erklären, was ich meine. Gesamtzusammenhang für die...
Während ich Haskell lernte, habe ich viele Tutorials durchlaufen, um zu erklären, was Monaden sind und warum Monaden in Haskell wichtig sind. Jeder von ihnen verwendete Analogien, um die Bedeutung besser erfassen zu können. Am Ende des Tages habe ich 3 verschiedene Ansichten darüber, was eine...
Eine Sache, mit der ich mich in Haskell noch nie so recht auseinandergesetzt habe, ist, wie Sie polymorphe Konstanten und Funktionen haben können, deren Rückgabetyp nicht durch ihren Eingabetyp bestimmt werden kann, wie z class Foo a where foo::Int -> a Einige der Gründe, die mir nicht gefallen:...
Ich möchte rein funktionale Datenstrukturen lesen. Ich habe die Arbeit (die als PDF frei verfügbar ist) leicht gefunden , sehe aber, dass es auch ein Buch gibt . Ich würde gerne wissen, wo die Unterschiede zwischen diesen beiden Veröffentlichungen
Warum hat Haskell eine eingebaute if/then/else, typabhängige Bool, anstatt eine einfache Bibliotheksfunktion? Sowie if :: Bool -> a -> a -> a if True x _ = x if False _ y = y
Funktionssprachen sollten per Definition keine Statusvariablen verwalten. Warum bieten dann Haskell, Clojure und andere Implementierungen von Software Transactional Memory (STM) an? Gibt es einen Konflikt zwischen zwei
Ich wunderte mich über die Ursprünge des Let in Lisp, Clojure und Haskell. Weiß jemand, in welcher Sprache es zuerst
Ich habe einige Erfahrung mit dem Schreiben kleiner Werkzeuge in Haskell und finde es sehr intuitiv zu bedienen, insbesondere zum Schreiben von Filtern (unter Verwendung von Filtern interact), die ihre Standardeingabe verarbeiten und an die Standardausgabe weiterleiten. Kürzlich habe ich versucht,...
Diese Begriffe wurden in meinem Universitätslehrgang erwähnt. Schnelles googeln hat mich auf einige Studienarbeiten hingewiesen, aber ich suche nach einer einfachen
Ich arbeite daran, Haskell zu lernen, und habe drei verschiedene Möglichkeiten kennengelernt, um mit Fehlern in den von mir geschriebenen Funktionen umzugehen: Ich kann einfach schreiben error "Some error message.", was eine Ausnahme auslöst. Ich kann meine Funktion zurückgeben lassen Maybe...
Ich habe gelesen, dass Hindley-Milner nicht mit Typsystemen arbeitet, die Unterklassen haben, und es gibt andere Typsystemfunktionen, die ebenfalls nicht gut damit funktionieren. Go hat derzeit nur sehr eingeschränkte Typrückschlüsse im :=Operator. Go hat jedoch keine Unterklassen im herkömmlichen...
Gibt es einige theoretische Gründe dafür (wie dass die Typprüfung oder die Typinferenz unentscheidbar werden würde) oder praktische Gründe (zu schwierig, richtig zu implementieren)? Gegenwärtig können wir Dinge in newtypeÄhnliches verpacken newtype Pair a = Pair (a, a) und dann haben Pair :: *...
Bei der Erläuterung des Y-Kombinators im Kontext von Haskell wird normalerweise darauf hingewiesen, dass die direkte Implementierung in Haskell aufgrund des rekursiven Typs keine Typprüfung durchführt. Zum Beispiel von Rosettacode : The obvious definition of the Y combinator in Haskell canot be...
Ich weiß, dass Haskell bereits die Möglichkeit hat, einen Typ über einen anderen Typ zu parametrisieren (ähnlich wie bei der Template-Programmierung in C ++), aber ich frage mich, ob Haskell auch einen Typ über Werte parametrisieren kann - ob er abhängige Typen unterstützt. Bei abhängigen Typen...
Ich habe vor kurzem den Leitfaden „ Lernen Sie eine Haskell für großartige Gutes“ durchgearbeitet und wollte in der Praxis das Projekt Euler-Problem 5 damit lösen , in dem Folgendes angegeben ist: Was ist die kleinste positive Zahl, die durch alle Zahlen von 1 bis 20 gleichmäßig teilbar ist? Ich...
Ich war lange Zeit Java-Entwickler, bin aber kürzlich einem Haskell-Team beigetreten. Wenn Sie in der Java-Welt ein großes Projekt haben, an dem mehrere Teams arbeiten, besteht ein gängiger Ansatz darin, einen Artefaktserver wie Maven zu verwenden, um die Entwicklung zu vereinfachen und zu...
Angenommen, ich möchte eine Bibliothek schreiben, die sich mit Vektoren und Matrizen befasst. Ist es möglich, die Dimensionen in die Typen zu backen, sodass Operationen inkompatibler Dimensionen beim Kompilieren einen Fehler erzeugen? Zum Beispiel möchte ich, dass die Signatur des Punktprodukts so...
Geschlossen . Diese Frage muss gezielter gestellt werden . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so, dass sie sich nur auf ein Problem konzentriert, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 4 Jahren . Es gibt mehrere...
Verschlossen . Diese Frage und ihre Antworten sind gesperrt, da die Frage nicht zum Thema gehört, aber von historischer Bedeutung ist. Derzeit werden keine neuen Antworten oder Interaktionen akzeptiert. Diese Frage wurde von Stack Overflow migriert, da sie in Software Engineering Stack Exchange...