From 90c5ab4f2c4f7be01863bfd1a7677e5a8a959f00 Mon Sep 17 00:00:00 2001 From: Valentin Robert Date: Fri, 9 Sep 2011 20:04:54 +0200 Subject: [PATCH] Fixes --- chapitres.mkd | 23 +++++++++++++++++++ ...eurs-foncteurs-applicatifs-et-monoides.mkd | 6 ++--- 2 files changed, 26 insertions(+), 3 deletions(-) diff --git a/chapitres.mkd b/chapitres.mkd index df20123..ad9ce5c 100644 --- a/chapitres.mkd +++ b/chapitres.mkd @@ -80,6 +80,29 @@ Apprenez Haskell pour le meilleur ! + [Le mot-clé newtype](foncteurs-foncteurs-applicatifs-et-monoides#le-mot-cle-newtype) + [Monoïdes](foncteurs-foncteurs-applicatifs-et-monoides#monoides) +#. [Pour une poignée de monades](pour-une-poignee-de-monades) + + [Trempons-nous les pieds avec Maybe](pour-une-poignee-de-monades#trempons-nous-les-pieds-avec-maybe) + + [La classe de types Monad](pour-une-poignee-de-monades#la-classe-de-types-monad) + + [Le funambule](pour-une-poignee-de-monades#le-funambule) + + [Notation do](pour-une-poignee-de-monades#notation-do) + + [La monade liste](pour-une-poignee-de-monades#la-monade-liste) + + [Les lois des monades](pour-une-poignee-de-monades#les-lois-des-monades) + +#. [Et pour quelques monades de plus](et-pour-quelques-monades-de-plus) + + [Lui écrire ? Je la connais à peine !](et-pour-quelques-monades-de-plus#lui-ecrire-je-la-connais-a-peine) + + [La lire ? Pas cette blague encore.](et-pour-quelques-monades-de-plus#la-lire-pas-cette-blague-encore) + + [Calcul à états dans tous ses états](et-pour-quelques-monades-de-plus#calcul-a-etats-dans-tous-ses-etats) + + [Erreur, erreur, ma belle erreur](et-pour-quelques-monades-de-plus#erreur-erreur-ma-belle-erreur) + + [Quelques fonctions monadiques utiles](et-pour-quelques-monades-de-plus#quelques-fonctions-monadiques-utiles) + + [Créer des monades](et-pour-quelques-monades-de-plus#creer-des-monades) + +#. [Zippeurs](zippeurs) + + [Une petite balade](zippeurs#une-petite-balade) + + [Une traînée de miettes](zippeurs#une-trainee-de-miettes) + + [Concentrons-nous sur les listes](zippeurs#concentrons-nous-sur-les-listes) + + [Un système de fichiers élémentaire](zippeurs#un-systeme-de-fichiers-elementaire) + + [Attention à la marche](zippeurs#attention-a-la-marche) + Ce travail est une traduction de [Learn You a Haskell For Great Good!](http://learnyouahaskell.com/). Le texte original est de Miran Lipovača, la traduction a été réalisée par Valentin Robert. Le texte original est diff --git a/foncteurs-foncteurs-applicatifs-et-monoides.mkd b/foncteurs-foncteurs-applicatifs-et-monoides.mkd index fcc637b..6c60317 100644 --- a/foncteurs-foncteurs-applicatifs-et-monoides.mkd +++ b/foncteurs-foncteurs-applicatifs-et-monoides.mkd @@ -709,8 +709,8 @@ applicatif (i.e. quand vous les utilisez avec `<*>`), sinon utilisez `Just`. Les quatre premières lignes entrées montrent comment la fonction extraite est mappée, mais dans ces exemples, elle aurait tout aussi bien pu être mappée immédiatement sur les foncteurs. La dernière ligne est intéressante parce qu'on -essaie d'extraire une fonction d'un `Nothin` et de le mapper sur quelque chose, -ce qui résulte en un `Nothing` évidemment. +essaie d'extraire une fonction d'un `Nothing` et de le mapper sur quelque +chose, ce qui résulte en un `Nothing` évidemment. Avec des foncteurs normaux, on peut juste mapper une fonction sur un foncteur, et on ne peut plus récupérer ce résultat hors du foncteur de manière générale, @@ -2364,7 +2364,7 @@ créant des monoïdes, donc si notre arbre est vide, la valeur monoïdale sera Le cas d'un nœud non vide est un peu plus intéressant. Il contient deux sous-arbres ainsi qu'une valeur. Dans ce cas, on `foldMap` récursivement la -même fonction `f` sur les sous-arbres gauche et droite. Souvenez-vous, notre +même fonction `f` sur les sous-arbres gauche et droit. Souvenez-vous, notre `foldMap` retourne une simple valeur monoïdale. On applique également la fonction `f` à la valeur du nœud. À présent, nous avons trois valeurs monoïdales (deux venant des sous-arbres et une venant de l'application de `f`