Sujets
Documents disponibles dans cette catégorie (10)
![Tris disponibles](./styles/henallux_portail/images/orderby_az.gif)
![]()
Article : texte imprimé
Hiram Madelaine, Auteur | 2023"Nos vies de développeurs sont remplies en permanence de multiples sollicitations. Les nouveautés liées à nos outils du quotidien, langages et frameworks, s’enchaînent à un rythme effréné. Malheureusement, nos journées ne font que 24 heures, et dans ce contexte, il est difficile de prendre la décision d’investir...![]()
Article : texte imprimé
Riadh Mnasri, Auteur | 2023"La programmation fonctionnelle est un paradigme de programmation dans lequel on écrit des programmes en se basant sur ce qu’on appelle des fonctions pures. Il s’agit d’un style de programmation déclaratif. Ainsi, au lieu d’écrire les instructions d’une façon impérative, on se concentre sur...![]()
Article : texte imprimé
Yves Bertot, Auteur | 2023"Dans cet article, nous donnons un exemple très simple de programmation fonctionnelle et nous montrons comment ce style de programmation se prête à des raisonnements logiques pour éviter les erreurs de programmation. Les raisonnements logiques peuvent eux-même être effectués avec le système Coq. Cet article est également une introd...![]()
texte imprimé
Xavier Olive, Auteur | Paris : Dunod | InfoPro. Études, développement, intégration, ISSN 1774-282X | 2021Ce livre s’adresse à des lecteurs ayant déjà une certaine expérience de la programmation. Son objectif est de rappeler les concepts-clés de Python et de les illustrer dans des cas d’utilisation variés comme l’optimisation, les statistiques, le traitement du signal et l’intelligence artificielle. Il est co...![]()
Article : texte imprimé
Mathieu Kerjouan, Auteur | 2020"Erlang est un langage de programmation fonctionnel et distribué, créé à la fin des années 80 pour régler de nombreux problèmes issus du monde des télécoms, et plus généralement de l'industrie. Outre le fait qu'il soit l'une des seules implémentations réussies du modèle acteur disponible sur le marché, so...![]()
Article : texte imprimé
Joseph Karthik, Auteur | 2020"Lorsque j’ai découvert la programmation fonctionnelle, il y a plus de trois ans, j’étais un peu perdu avec le jargon mathématique un brin ésotérique qui lui est souvent associé (monoïde, monade, isomorphisme, etc.). A première vue, ça me semblait surtout anecdotique ou une sorte de troll ...![]()
Article : texte imprimé
Mathieu Kerjouan, Auteur | 2020"Quel est le point commun entre RabbitMQ, ejabberd, CouchDB, WhatsApp et Heroku ? Ces outils et services ont la particularité d'utiliser le même langage de programmation : Erlang. Ce dernier, encore trop peu connu du grand public, a pourtant réussi à maintes reprises à faire parler de lui. Il offre une appr...![]()
Article : texte imprimé
Joseph Lucas, Auteur | 2020"NixOS est une distribution basée sur le gestionnaire de paquets Nix et dont toute la configuration se fait à partir d'un fichier. Nous verrons que NixOS permet de gérer son système de manière reproductible, avec des mises à jour atomiques et des rollbacks, des espaces utilisateurs; l'installation simultanée de plu...![]()
Article : texte imprimé
Jean-Michel Armand, Auteur ; David Authier, Auteur ; Tristan Colombo, Auteur ; Guillaume Saupin, Auteur | 2018"Nous utilisons actuellement majoritairement des langages du XXe siècle. Quels seront les langages de demain ? Et s'ils étaient déjà en train d'émerger?é (Extrait de GNU/Linux magazine n°221)![]()
Article : texte imprimé
Sébastien Chazallet, Auteur | 2017"Si C est le langage de référence de la programmation impérative, C++ est celui du paradigme objet, et on n'insistera jamais assez sur sa qualité. Pour autant, il y a plus à découvrir dans ce langage, c'est pourquoi on se ...