Haskell Programming Language - Learn Functional Programming for iOS

La description

Le langage de programmation Haskell classique pour iPad, iPhone et iPod touch. Le langage de programmation est un outil parfait pour l'étude, le calcul mathématique complexe, le divertissement et de nombreuses autres tâches utiles. L'application est particulièrement utile pour apprendre le langage de programmation Haskell. Vous devez acheter des compilations dans l'application. Une connexion Internet est requise. - Le grand outil de programmation sur l'AppStore. - Votre langage de programmation pour iOS est incroyable ! * CARACTÉRISTIQUES * - Compilez et exécutez votre programme. - Saisie de texte avant l'exécution du programme et sortie de texte. - Éditeur de code source amélioré avec coloration syntaxique, numéros de ligne, thèmes de couleur et clavier supplémentaire. - Référence de langage en ligne et plusieurs exemples de programme. * LIMITATIONS * - Une connexion Internet est nécessaire pour compiler et exécuter un programme. - Les graphiques, le réseau, le système de fichiers et l'entrée en temps réel ne sont pas pris en charge. - La durée maximale d'exécution d'un programme est de 15 secondes. Merci d'avoir utilisé l'application ! ===================================== Haskell est un langage de programmation purement fonctionnel standardisé à usage général , avec une sémantique non stricte et un typage statique fort. Il porte le nom du logicien Haskell Curry. En Haskell, "une fonction est un citoyen de première classe" du langage de programmation. En tant que langage de programmation fonctionnel, la construction de contrôle principale est la fonction. Après la sortie de Miranda par Research Software Ltd, en 1985, l'intérêt pour les langages fonctionnels paresseux s'est accru : en 1987, plus d'une douzaine de langages de programmation non stricts et purement fonctionnels existaient. . Parmi ceux-ci, Miranda était le logiciel le plus utilisé, mais il s'agissait d'un logiciel propriétaire. Lors de la conférence sur les langages de programmation fonctionnels et l'architecture informatique à Portland, Oregon , une réunion a eu lieu au cours de laquelle les participants ont formé un fort consensus sur la création d'un comité pour définir une norme ouverte pour ces langages. L'objectif du comité était de consolider les langages fonctionnels existants en un langage commun qui servirait de base à de futures recherches sur la conception de langages fonctionnels. C'est un langage purement fonctionnel, ce qui signifie qu'en général, les fonctions en Haskell n'ont pas d'effets secondaires. Il existe une construction distincte pour représenter les effets secondaires, orthogonale au type de fonctions. Une fonction pure peut renvoyer un effet secondaire qui est ensuite exécuté, modélisant les fonctions impures d'autres langages. Haskell a un système de type fort et statique basé sur l'inférence de type HindleyMilner. La principale innovation de Haskell dans ce domaine est d'ajouter des classes de types, qui ont été conçues à l'origine comme un moyen logique d'ajouter une surcharge au langage, mais ont depuis trouvé de nombreuses autres utilisations. La construction qui représente les effets secondaires est un exemple de monade. Les monades sont un cadre général qui peut modéliser différents types de calcul, y compris la gestion des erreurs, le non-déterminisme, l'analyse et la mémoire transactionnelle logicielle. Les monades sont définies comme des types de données ordinaires, mais Haskell fournit du sucre syntaxique pour leur utilisation. Le langage a une spécification ouverte et publiée et plusieurs implémentations existent. Il existe une communauté active autour du langage et plus de 5400 bibliothèques et outils open source tiers sont disponibles dans le référentiel de packages en ligne Hackage. L'implémentation principale de Haskell, GHC, est à la fois un interpréteur et un compilateur de code natif qui s'exécute sur la plupart des plateformes. GHC est connu pour son implémentation haute performance de la concurrence et du parallélisme, et pour avoir un système de type riche incorporant des innovations récentes telles que les types de données algébriques généralisés et les familles de types.