Softwareentwicklung haskell

2

Warum hat das Haskell-Komitee Monaden ausgewählt, um I / O zu repräsentieren?

In der Sprache " Bereinigen" werden Eindeutigkeitstypen verwendet , um E / A in einer rein funktionalen Einstellung zu verarbeiten. Warum ging das Haskell-Komitee stattdessen mit Monaden ? Gab es andere Vorschläge für den Umgang mit Staaten, die das Komitee untersucht, sich aber dagegen entschieden hat? Hinweis : Ich suche …

36 functional-programming history haskell

12

Schema vs Haskell für eine Einführung in die funktionale Programmierung?

Ich bin mit dem Programmieren in C und C # vertraut und werde C ++ in Zukunft untersuchen. Ich könnte daran interessiert sein, funktionale Programmierung als ein anderes Programmierparadigma zu untersuchen. Ich mache das aus Spaß, meine Arbeit beinhaltet keine Computerprogrammierung und ist ein wenig inspiriert von der Verwendung von …

36 haskell functional-programming scheme

7

Ist das Typensystem von Haskell ein Hindernis für das Verständnis der funktionalen Programmierung? [geschlossen]

Ich studiere Haskell, um die funktionale Programmierung zu verstehen, mit der Erwartung, dass ich die Erkenntnisse, die ich in anderen Sprachen erhalte, anwenden werde (hauptsächlich Groovy, Python, JavaScript). Ich habe mich für Haskell entschieden, weil ich den Eindruck hatte, dass es sehr rein funktional ist und kein Vertrauen in den …

33 functional-programming haskell language-features type-systems

2

Anwenden von Denotational Semantics auf den Entwurf von Programmen

Ich habe ein wenig über die Denotationssemantik (DS) gelesen und bin sehr fasziniert von dem Prozess des Entwurfs von Computerprogrammen, bei denen Typen und Funktionen starke und klare Zuordnungen zur Mathematik aufweisen. Gibt es Ressourcen, die das Entwerfen von Programmen auf der Basis von DS im Detail erläutern? Ich habe …

30 scala haskell scheme

8

Warum ist das Konzept der Lazy Evaluation sinnvoll?

Eine verzögerte Auswertung von Ausdrücken kann dazu führen, dass ein Programmierer die Kontrolle über die Reihenfolge verliert, in der sein Code ausgeführt wird. Ich habe Probleme zu verstehen, warum dies von einem Programmierer akzeptiert oder gewünscht wird. Wie kann dieses Paradigma verwendet werden, um vorhersehbare Software zu erstellen, die wie …

30 functional-programming haskell

3

Haskell vs Erlang für Webdienste

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 zuverlässigen Code zu schreiben. Und ich denke, …

30 functional-programming haskell erlang

8

Verwenden Sie beispielsweise ein "starkes" System in der realen Welt für umfangreiche Web-Apps?

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 Frage Wir haben eine sehr …

29 java haskell scala type-systems rust

3

Verschiedene Arten, eine Monade zu sehen

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 Monade ist: Ansicht 1: …

29 functional-programming haskell monad side-effect

4

Ist Return-Type- (only) -Polymorphismus in Haskell eine gute Sache?

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: Referentielle Transparenz: …

28 haskell functional-programming

2

Warum hat Haskell "wenn / dann / sonst" eingebaut, anstatt es als einfache Bibliotheksfunktion zu definieren?

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

25 haskell

2

Was ist der inhaltliche Unterschied zwischen Chris Okasakis Arbeit von 1996 und dem Buch "Purely Functional Data Structures" von 1999? [geschlossen]

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 liegen.

25 books functional-programming data-structures haskell

5

In welcher Programmiersprache ist „let“ zuerst aufgetaucht?

Ich wunderte mich über die Ursprünge des Let in Lisp, Clojure und Haskell. Weiß jemand, in welcher Sprache es zuerst erschien?

24 history haskell lisp clojure

3

Warum benötigen einige funktionale Sprachen Software-Transaktionsspeicher?

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 Ansätzen?

24 functional-programming haskell clojure stm

1

Wie oft wird seq im Haskell-Produktionscode verwendet?

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, einen solchen Filter für eine Datei zu verwenden, die …

23 programming-practices haskell stackoverflow

1

Könnte Hindley-Milner-Inferenz für die Sprache Go funktionieren?

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 Sinne, sondern nur Schnittstellen, die Haskells Typklassen sehr ähnlich sehen und …

22 haskell type-systems go

Als «haskell» getaggte Fragen