Softwareentwicklung haskell

6

Was genau macht das Haskell-Typ-System so verehrt (vs sagen, Java)?

Ich fange an, Haskell zu lernen . Ich bin sehr neu darin und lese gerade ein paar Online-Bücher durch, um mir ein Bild von den grundlegenden Konstrukten zu machen. Eines der 'Meme', von denen die Leute, die damit vertraut sind, oft gesprochen haben, ist das Ganze "Wenn es kompiliert, wird …

204 java haskell polymorphism

2

Was ist das Muster "Free Monad + Interpreter"?

Ich habe Leute gesehen, die mit Interpreter über Free Monad gesprochen haben , insbesondere im Zusammenhang mit dem Datenzugriff. Was ist das für ein Muster? Wann könnte ich es benutzen wollen? Wie funktioniert es und wie würde ich es implementieren? Ich verstehe (von Posts wie diesem ), dass es darum …

95 design-patterns functional-programming haskell dsl monad

4

Entspricht Haskells Typensystem formal dem von Java? [geschlossen]

Mir ist klar, dass einige Dinge in einer Sprache einfacher / schwieriger sind als in der anderen, aber ich interessiere mich nur für typbezogene Funktionen, die in der einen möglich und in der anderen unmöglich / irrelevant sind. Um es genauer zu machen, lassen Sie uns die Haskell-Typ-Erweiterungen ignorieren, da …

66 java haskell type-systems static-typing

4

Was ist der Zweck von Pfeilen?

Ich lerne funktionales Programmieren mit Haskell und versuche, Konzepte zu erfassen, indem ich zuerst verstehe, warum ich sie benötige. Ich möchte das Ziel von Pfeilen in funktionalen Programmiersprachen kennenlernen. Welches Problem lösen sie? Ich habe http://en.wikibooks.org/wiki/Haskell/Understanding_arrows und http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf überprüft . Ich verstehe nur, dass sie verwendet werden, um Diagramme für …

62 functional-programming haskell

7

Wie codieren Sie algebraische Datentypen in einer C # - oder Java-ähnlichen Sprache?

Es gibt einige Probleme, die von algebraischen Datentypen leicht gelöst werden können. Beispielsweise kann ein Listentyp sehr prägnant ausgedrückt werden als: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l = …

58 java c# scala haskell algebraic-data-type

1

Wie gestaltet man Programme in Haskell oder anderen funktionalen Programmiersprachen?

Ich habe einige Erfahrung in objektorientierten Programmiersprachen wie C # oder Ruby. Ich weiß, wie man ein Programm im objektorientierten Stil erstellt, wie man Klassen und Objekte erstellt und wie man Beziehungen zwischen ihnen definiert. Ich kenne auch einige Designmuster. Wie schreiben Menschen funktionale Programme? Wie fangen sie an? Gibt …

52 design haskell functional-programming

5

Gibt es Nachteile oder Probleme mit Haskell?

Ich freue mich darauf, in Haskell für mein nächstes (relativ einfaches) persönliches Projekt einzutauchen. Die Gründe, warum ich Haskell angreife, sind: Bringe meinen Kopf in eine rein funktionale Sprache Geschwindigkeit. Obwohl ich mir sicher bin, dass dies argumentiert werden kann, habe ich ein Profil erstellt, bei dem ich Haskell in …

47 haskell

5

Kritik daran, dass die IO-Monade als eine auf der Welt operierende staatliche Monade angesehen wird

Die IOMonade in Haskell wird oft als Staatsmonade bezeichnet, in der der Staat die Welt ist. Ein Wert vom Typ IO amonad wird also als so etwas wie angesehen worldState -> (a, worldState). Vor einiger Zeit habe ich einen Artikel (oder einen Blog- / Mailinglisten-Beitrag) gelesen, in dem diese Ansicht …

46 functional-programming haskell io monad

2

Warum (oder warum nicht) werden existenzielle Typen in der funktionalen Programmierung als schlechte Praxis angesehen?

Mit welchen Techniken kann ich Code konsequent umgestalten, ohne auf existenzielle Typen angewiesen zu sein? In der Regel werden diese verwendet, um unerwünschte Konstruktionen Ihres Typs zu disqualifizieren und den Konsum mit einem Minimum an Wissen über den angegebenen Typ zu ermöglichen (oder so ist mein Verständnis). Hat jemand eine …

43 functional-programming haskell type-systems

3

Was sind die Vorteile von LISP und Haskell? Werden sie mich zu einem besseren Programmierer machen? [geschlossen]

Ich weiß, dass Lisp und Haskell logische bzw. funktionale Programmiersprachen sind, aber was genau bedeutet das? Wie unterscheiden sie sich von anderen Sprachen? Ich habe gehört, dass Sie durch das Lernen ein besserer Programmierer werden und Ihre Logik verbessern können. Ist das wahr und wenn ich Lisp oder Haskell auf …

41 haskell lisp

7

Haskell AND Lisp vs. Haskell OR Lisp [geschlossen]

Ich programmiere derzeit mit C, C ++ und Python. Ich möchte eine funktionierende Programmiersprache lernen, und jetzt neige ich zu Haskell. Ich möchte hier KEINEN "Haskell vs Lisp" Krieg beginnen; Was ich wissen möchte, ist Folgendes: Wenn ich Haskell hauptsächlich für das Erlernen der funktionalen Programmierung lerne, welche Vorteile habe …

40 learning functional-programming haskell lisp paradigms

2

Missverständnisse über rein funktionale Sprachen?

Ich stoße oft auf folgende Aussagen / Argumente: Reine funktionale Programmiersprachen lassen keine Nebenwirkungen zu (und sind daher in der Praxis wenig nützlich, da jedes nützliche Programm Nebenwirkungen hat, z. B. wenn es mit der Außenwelt interagiert). Reine funktionale Programmiersprachen erlauben es nicht, ein Programm zu schreiben, das den Status …

39 functional-programming haskell

2

Verwenden moderne Sprachen immer noch Parser-Generatoren?

Ich war die Erforschung über die gcc - Compiler - Suite auf wikipedia hier , wenn dies kam: GCC begann mit der Verwendung von LALR-Parsern, die mit Bison generiert wurden, wechselte jedoch allmählich zu handgeschriebenen rekursiven Parsern. Für C ++ im Jahr 2004 und für C und Objective-C im Jahr …

38 java ruby haskell parsing swift-language

5

„Ein Beweis ist ein Programm; Die Formel, die es beweist, ist ein Typ für das Programm. “

Dies mag eine philosophische Frage sein, aber ich glaube, dass es eine objektive Antwort darauf gibt. Wenn Sie den Wikipedia-Artikel über Haskell lesen, finden Sie Folgendes: Die Sprache wurzelt in den Beobachtungen von Haskell Curry und seinen intellektuellen Nachkommen, dass "ein Beweis ein Programm ist; die Formel, die er beweist, …

37 haskell

7

Was sind die funktionalen Entsprechungen von Imperativ-Break-Anweisungen und anderen Schleifenprüfungen?

Nehmen wir an, ich habe die folgende Logik. Wie schreibt man das in Functional Programming? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Die Beispiele …

36 functional-programming haskell clojure

Als «haskell» getaggte Fragen