Haskell Programming Language - Learn Functional Programming 9.4

Sur Haskell Programming Language - Learn Functional Programming

Le langage de programmation haskell classique pour iPad, iPhone et iPod touch. Le langage de programmation est un outil parfait pour étudier, calcul mathématique complexe, divertissement et beaucoup d’autres tâches utiles. L’application est particulièrement utile pour l’apprentissage du langage de programmation Haskell. Vous devez acheter des compilations à l’intérieur de l’application. Une connexion Internet est nécessaire. - Le grand outil de programmation sur l’AppStore. - Votre langage de programmation pour iOS est incroyable! * CARACTÉRISTIQUES * - Compilez et exécutez votre programme. - Entrée de texte avant l’exécutement du programme et sortie de texte. - Éditeur de code source amélioré avec mise en surbrillance syntaxe, numéros de ligne, thèmes de couleur et clavier supplémentaire. - Référence linguistique en ligne et plusieurs échantillons de programme. * LIMITATIONS * - La 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. - Le temps de fonctionnement maximum d’un programme est de 15 secondes. Merci d’utiliser l’application! ====================================== Haskell est un langage de programmation normalisé et polyvalent purement fonctionnel, avec une sémantique non stricte et une forte dactylographie statique. Il est nommé d’après le logicien Haskell Curry. Dans 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 primaire est la fonction. À la suite de la sortie de Miranda par Research Software Ltd, en 1985, l’intérêt pour les langues fonctionnelles paresseuses s’est accru : en 1987, plus d’une douzaine de langages de programmation non stricts et purement fonctionnels existaient. De ce nombre, Miranda était le logiciel le plus utilisé, mais était propriétaire. Lors de la conférence sur les langages de programmation fonctionnelle et l’architecture informatique à Portland, en Oregon, une réunion a eu lieu au cours de laquelle les participants ont formé un fort consensus sur la formation d’un comité chargé de définir une norme ouverte pour ces langues. L’objectif du comité était de regrouper les langues fonctionnelles existantes en une langue commune qui servirait de base à de futures recherches sur la conception du langage fonctionnel. Haskell propose une évaluation paresseuse, l’appariement des motifs, la compréhension de la liste, les classes de type et le polymorphisme de type. Il s’agit d’un langage purement fonctionnel, ce qui signifie qu’en général, les fonctions de Haskell n’ont pas d’effets secondaires. Il existe une construction distincte pour représenter les effets secondaires, orthogonaux au type de fonctions. Une fonction pure peut renvoyer un effet secondaire qui est ensuite exécuté, modélisant les fonctions impures d’autres langues. Haskell dispose d’un système de type solide et statique basé sur l’inférence de type Hindley Milner. La principale innovation de Haskell dans ce domaine est d’ajouter des classes de type, qui ont été conçues à l’origine comme un moyen fondé sur des principes d’ajouter une surcharge à la langue, mais ont depuis trouvé beaucoup plus d’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étermination, 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. La langue a une spécification ouverte et publiée, et de multiples implémentations existent. Il y a une communauté active autour de la langue, et plus de 5400 bibliothèques et outils open-source tiers sont disponibles dans le référentiel de paquets en ligne Hackage. La principale implémentation de Haskell, GHC, est à la fois un interprète et un compilateur de code natif qui fonctionne sur la plupart des plates-formes. GHC est connu pour sa mise en œuvre performante de la concurrence et du parallélisme, et pour avoir un système de type riche intégrant des innovations récentes telles que les types de données algébriques généralisées et les familles de type.