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 ...
Mis à jour 11/05/2015 à 16h50 par stendhal666
Voici le quinzième billet de ce blog et je suis saisi de doutes... Quelqu'un a-t-il des conseils sur la direction à prendre? Quelques idées pour la suite Venant d'introduire les monades, je comptais par la suite en montrer quelques applications: comment représenter le hasard dans un contexte fonctionnel pur? comment effectuer élégamment l'analyse lexicale (le "parsing") d'une chaîne de caractères? Je voulais introduire également d'autres catégories: foncteurs, endo-foncteurs, ...
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, ...
Mis à jour 27/04/2015 à 15h55 par stendhal666
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 à ...
Mis à jour 08/05/2015 à 14h57 par stendhal666
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 ...
Mis à jour 22/04/2015 à 13h42 par stendhal666
Catégories
Récents visiteurs
Consulter le profil
Marquer ce blog comme lu