Haskell Programming Language - Learn Functional Programming for iOS

Περιγραφή

Η κλασική γλώσσα προγραμματισμού Haskell για iPad, iPhone και iPod touch. Η γλώσσα προγραμματισμού είναι ένα τέλειο εργαλείο για μελέτη, σύνθετους μαθηματικούς υπολογισμούς, ψυχαγωγία και πολλές άλλες χρήσιμες εργασίες. Η εφαρμογή είναι ιδιαίτερα χρήσιμη για την εκμάθηση της γλώσσας προγραμματισμού Haskell. Πρέπει να αγοράσετε συλλογές μέσα στην εφαρμογή. Απαιτείται σύνδεση στο Διαδίκτυο. - Το υπέροχο εργαλείο προγραμματισμού στο AppStore. - Η γλώσσα προγραμματισμού σας για iOS είναι καταπληκτική! * ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ * - Μεταγλωττίστε και εκτελέστε το πρόγραμμά σας. - Εισαγωγή κειμένου πριν από την εκτέλεση του προγράμματος και την έξοδο κειμένου. - Βελτιωμένο πρόγραμμα επεξεργασίας πηγαίου κώδικα με επισήμανση σύνταξης, αριθμούς γραμμών, έγχρωμα θέματα και πρόσθετο πληκτρολόγιο.- Διαδικτυακή αναφορά γλώσσας και πολλά δείγματα προγραμμάτων. * ΠΕΡΙΟΡΙΣΜΟΙ * - Απαιτείται σύνδεση στο Διαδίκτυο για τη μεταγλώττιση και εκτέλεση ενός προγράμματος. - Δεν υποστηρίζονται γραφικά, δίκτυο, σύστημα αρχείων και είσοδος σε πραγματικό χρόνο. - Ο μέγιστος χρόνος εκτέλεσης ενός προγράμματος είναι 15 δευτερόλεπτα. Ευχαριστούμε για τη χρήση της εφαρμογής! ===================================== Ο Haskell είναι μια τυποποιημένη γλώσσα γενικής χρήσης καθαρά λειτουργικού προγραμματισμού , με μη αυστηρή σημασιολογία και έντονη στατική πληκτρολόγηση. Πήρε το όνομά του από τον λογικό Haskell Curry. Στο Haskell, "μια συνάρτηση είναι πολίτης πρώτης κατηγορίας" της γλώσσας προγραμματισμού. Ως γλώσσα λειτουργικού προγραμματισμού, η κύρια δομή ελέγχου είναι η συνάρτηση. Μετά την κυκλοφορία της Miranda από την Research Software Ltd, το 1985, το ενδιαφέρον για τις τεμπέλικες λειτουργικές γλώσσες αυξήθηκε: μέχρι το 1987, υπήρχαν περισσότερες από δώδεκα μη αυστηρές, καθαρά λειτουργικές γλώσσες προγραμματισμού . Από αυτά, το Miranda ήταν το πιο ευρέως χρησιμοποιούμενο, αλλά ήταν ιδιόκτητο λογισμικό. Στο συνέδριο για τις Λειτουργικές Γλώσσες Προγραμματισμού και Αρχιτεκτονική Υπολογιστών στο Πόρτλαντ του Όρεγκον, πραγματοποιήθηκε μια συνάντηση κατά την οποία οι συμμετέχοντες διαμόρφωσαν μια ισχυρή συναίνεση ότι πρέπει να σχηματιστεί μια επιτροπή για τον καθορισμό ενός ανοιχτού προτύπου για τέτοιες γλώσσες. Ο σκοπός της επιτροπής ήταν να ενοποιήσει τις υπάρχουσες λειτουργικές γλώσσες σε μια κοινή που θα χρησίμευε ως βάση για μελλοντική έρευνα στο σχεδιασμό λειτουργικών γλωσσών. Το Haskell διαθέτει τεμπέλης αξιολόγηση, αντιστοίχιση προτύπων, κατανόηση λίστας, κατηγορίες τύπων και πολυμορφισμό τύπων. Είναι μια καθαρά λειτουργική γλώσσα, που σημαίνει ότι γενικά οι λειτουργίες στο Haskell δεν έχουν παρενέργειες. Υπάρχει μια ξεχωριστή κατασκευή για την αναπαράσταση των παρενεργειών, ορθογώνια ως προς τον τύπο των λειτουργιών. Μια καθαρή συνάρτηση μπορεί να επιστρέψει μια παρενέργεια που εκτελείται στη συνέχεια, μοντελοποιώντας τις μη καθαρές συναρτήσεις άλλων γλωσσών. Η Haskell έχει ένα ισχυρό σύστημα στατικού τύπου που βασίζεται σε συμπέρασμα τύπου HindleyMilner. Η κύρια καινοτομία του Haskell σε αυτόν τον τομέα είναι να προσθέσει κατηγορίες τύπων, οι οποίες αρχικά είχαν σχεδιαστεί ως ένας βασισμένος τρόπος για να προσθέσετε υπερφόρτωση στη γλώσσα, αλλά έκτοτε έχουν βρει πολλές περισσότερες χρήσεις. Η κατασκευή που αντιπροσωπεύει τις παρενέργειες είναι ένα παράδειγμα μιας μονάδας. Τα Monad είναι ένα γενικό πλαίσιο που μπορεί να μοντελοποιήσει διαφορετικά είδη υπολογισμών, συμπεριλαμβανομένου του χειρισμού σφαλμάτων, του μη ντετερμινισμού, της ανάλυσης και της μνήμης συναλλαγών λογισμικού. Οι Monads ορίζονται ως συνηθισμένοι τύποι δεδομένων, αλλά ο Haskell παρέχει κάποια συντακτική ζάχαρη για τη χρήση τους. Η γλώσσα έχει μια ανοιχτή, δημοσιευμένη προδιαγραφή και υπάρχουν πολλαπλές υλοποιήσεις. Υπάρχει μια ενεργή κοινότητα γύρω από τη γλώσσα και περισσότερες από 5400 βιβλιοθήκες και εργαλεία ανοιχτού κώδικα τρίτων είναι διαθέσιμα στο διαδικτυακό αποθετήριο πακέτων Hackage. Η κύρια υλοποίηση του Haskell, GHC, είναι τόσο διερμηνέας όσο και μεταγλωττιστής εγγενούς κώδικα που εκτελείται στις περισσότερες πλατφόρμες. Το GHC διακρίνεται για την εφαρμογή υψηλής απόδοσης ταυτότητος και παραλληλισμού και για την ύπαρξη ενός συστήματος πλούσιου τύπου που ενσωματώνει πρόσφατες καινοτομίες όπως γενικευμένους αλγεβρικούς τύπους δεδομένων και οικογένειες τύπων.