Dans l'atelier Robot anti-kikoolol sur le forum Autres Langages du Site du Zéro, bluestorm m'a fait remarquer qu'une valeur était codée en dur dans ma solution parallélisable à cause d'une limitation des typeclasses en Haskell : il est impossible de créer localement une instance d'une typeclass, en capturant éventuellement une variable du contexte (ici, la taille minimum des mots).

Ici, je présente une manière de définir localement une instance de Monoid, avec des types existentiels et un peu de mocheté : Des instances locales de Monoid

Aujourd'hui, j'ai fait une page en HTML5 pour présenter les éventuels trucs que je fais. On peut supposer qu'elle ne va pas se remplir très vite... Pour avoir l'air productif, je vais mettre des trucs que j'ai fait dans le passé.

En tout cas, voici la page et le code

J'ai pas de trucs récents sous la main, alors on va parler de vieux codes. J'ai posté des codes dans quelques ateliers du forum Autres Langages du site du zéro.

• Des dessins utilisant cfdg pour Cod'Art : 1 et 2
• Un parser monadique (et un interpréteur) pour un langage avec une syntaxe lisp-like, avec une petite explication du fonctionnement : ici
• Une solution parralélisable utilisant les monoïdes pour un exercice de prologin (pourquoi faire simple quand on peut faire compliqué ?)