Func' programming - un blog homéopathique

Continuons à explorer les flots de la théorie des catégories. Le précédent billet reposait sur un exemple très simple et très artificiel. L’ambition de celui-là est de proposer des techniques utilisables au jour le jour par un développeur et fondées sur l’utilisation des catégories.

Analyses
L’analyse de texte est une de ces tâches de tous les jours. Par texte, j’entends un flux de données (caractères, octets, peu importe) qui suit des règles formalisées par un langage. Certains ...

Attention, ceci n’est pas la saison 8 de 24H. Vous y trouverez en revanche une réflexion palpitante sur les modèles de gestion des exceptions à disposition du programmeur, dans l’esprit du billet précédent. Je commencerai par le résumer en quelques phrases car je crains que l’aridité du titre et la longueur du développement n’en aient découragé certains. J’en recommande néanmoins la lecture, pour son intérêt intrinsèque et le dur travail que m’a demandé sa traduction.

Précédemment, ...

Ce billet est la traduction d'un billet écrit en anglais par cdsmith: Why do Monads Matter?

Théorie des catégories et programmation : correspondance parfaite ou distraction abstraite ?
Si vous êtes un développeur : avez-vous entendu parler des monades ? Vous êtes-vous demandé de quoi il s’agissait ? Avez-vous tenté d’apprendre Haskell et lutté avec cette notion ? Avez-vous regardé des vidéos de « Channel 9 » où un tas de chercheurs de Microsoft en parlent, mais ont du mal à ...

Ce billet sera court et sans grande difficulté. Il servira de marche-pied ou d'aide-mémoire pour les billets suivants, qui présenteront un des aspects les plus excitants mais aussi les plus abstraits de la programmation en Haskell: l'apport de la théorie des catégories au développement d'applications. Je tenterai ici de vous présenter, aussi clairement que possible, le système de types de Haskell, à la fois souple et puissant.

Ce que vous savez déjà
- Haskell possède un système ...

N.B : Comme le précédent, ce billet est largement inspiré de l’article de John Hugues : Why functional programming matters.

Dans le billet 19 bits, nous avions posé les bases d'un jeu de morpion, en détaillant l'implémentation du plateau de jeu, de l'arbre des positions utilisée pour étudier les coups possibles et de l'évaluation statique d'une position. Les deux fonctions clés -à ce stade, les détails de l'implémentation du plateau ne sont plus importants- étaient les suivantes: ...