Haskell Programming Language - Learn Functional Programming for iOS

Beschreibung

Die klassische Programmiersprache Haskell für iPad, iPhone und iPod touch. Die Programmiersprache ist ein perfektes Werkzeug zum Lernen, für komplexe mathematische Berechnungen, Unterhaltung und viele andere nützliche Aufgaben. Die Anwendung ist besonders nützlich zum Erlernen der Programmiersprache Haskell. Sie müssen Zusammenstellungen innerhalb der Anwendung kaufen. Internetverbindung ist erforderlich. - Das großartige Programmiertool im AppStore. - Ihre Programmiersprache für iOS ist erstaunlich! * FEATURES * - Kompilieren Sie Ihr Programm und führen Sie es aus. - Texteingabe vor Programmablauf und Textausgabe. - Verbesserter Quellcode-Editor mit Syntaxhervorhebung, Zeilennummern, Farbthemen und zusätzlicher Tastatur. - Online-Sprachreferenz und mehrere Programmbeispiele. * EINSCHRÄNKUNGEN * - Zum Kompilieren und Ausführen eines Programms ist eine Internetverbindung erforderlich. - Grafik, Netzwerk, Dateisystem und Echtzeiteingabe werden nicht unterstützt. - Die maximale Laufzeit eines Programms beträgt 15 Sekunden. Vielen Dank für die Verwendung der Anwendung! ===================================== Haskell ist eine standardisierte, universelle, rein funktionale Programmiersprache , mit nicht strenger Semantik und starker statischer Typisierung. Es ist nach dem Logiker Haskell Curry benannt. In Haskell ist „eine Funktion ein erstklassiger Bürger“ der Programmiersprache. Als funktionale Programmiersprache ist die Funktion das primäre Kontrollkonstrukt. Nach der Veröffentlichung von Miranda durch Research Software Ltd im Jahr 1985 wuchs das Interesse an faulen funktionalen Sprachen: Bis 1987 existierten mehr als ein Dutzend nicht strenge, rein funktionale Programmiersprachen . Von diesen war Miranda die am weitesten verbreitete, aber proprietäre Software. Auf der Konferenz über funktionale Programmiersprachen und Computerarchitektur in Portland, Oregon, fand ein Treffen statt, bei dem die Teilnehmer einen starken Konsens darüber erzielten, dass ein Komitee gebildet werden sollte, um einen offenen Standard für solche Sprachen zu definieren. Der Zweck des Komitees war es, die bestehenden funktionalen Sprachen zu einer gemeinsamen zu konsolidieren, die als Grundlage für zukünftige Forschungen zum Design funktionaler Sprachen dienen würde. Haskell bietet Lazy Evaluation, Pattern Matching, Listen Comprehension, Type Classes und Type Polymorphism. Es ist eine rein funktionale Sprache, was bedeutet, dass Funktionen in Haskell im Allgemeinen keine Nebenwirkungen haben. Es gibt ein bestimmtes Konstrukt zur Darstellung von Nebeneffekten, das orthogonal zum Funktionstyp ist. Eine reine Funktion kann einen Nebeneffekt zurückgeben, der anschließend ausgeführt wird und die unreinen Funktionen anderer Sprachen modelliert. Haskell hat ein starkes, statisches Typsystem, das auf HindleyMilner-Typinferenz basiert. Haskells Hauptinnovation auf diesem Gebiet besteht darin, Typklassen hinzuzufügen, die ursprünglich als prinzipieller Weg zum Hinzufügen von Überladen zur Sprache konzipiert waren, aber seitdem viel mehr Verwendung gefunden haben. Das Konstrukt, das Nebenwirkungen darstellt, ist ein Beispiel für eine Monade. Monaden sind ein allgemeines Framework, das verschiedene Arten von Berechnungen modellieren kann, einschließlich Fehlerbehandlung, Nichtdeterminismus, Parsing und Software-Transaktionsspeicher. Monaden sind als gewöhnliche Datentypen definiert, aber Haskell bietet etwas syntaktischen Zucker für ihre Verwendung. Die Sprache hat eine offene, veröffentlichte Spezifikation, und es gibt mehrere Implementierungen. Es gibt eine aktive Community rund um die Sprache, und mehr als 5400 Open-Source-Bibliotheken und -Tools von Drittanbietern sind im Online-Paket-Repository Hackage verfügbar. Die Hauptimplementierung von Haskell, GHC, ist sowohl ein Interpreter als auch ein nativer Code-Compiler, der ausgeführt wird auf den meisten Plattformen. GHC ist bekannt für seine leistungsstarke Implementierung von Nebenläufigkeit und Parallelität und für sein reichhaltiges Typsystem, das aktuelle Innovationen wie verallgemeinerte algebraische Datentypen und Typfamilien enthält.