Journal

Le 23 Octobre, j'ai eu le privilège de donner une présentation sur le Web3, pour la 10ème édition de Codeurs en Seine, une conférence gratuite (donc de facto, très accessible pour les étudiants et les personnes en reconversions), à Rouen (soit à approximativement 1h30 de Paris) et c'était génial. Un diner des speakers très cordial (et une équipe organisatrice très généreuse), un hôtel très confortable et un très chouette programme (ce qui peut sonner un peu fayot étant donné que j'ai été sélectionné). Donc n'hésitez pas à garder un œil sur l'actualité de la conférence pour vous inscrire à la prochaine édition et, pourquoi pas, proposer un sujet. J'avais déjà eu la chance d'y parler lors de l'édition 2020 (qui, pour des raisons sanitaires, était en visio), mais l'experience du présentiel vaut clairement le coup ! Encore merci à toute l'équipe et aux participants de cette édition 2023.

Concernant ma présentation, bien que, comme chaque fois, préparée un peu trop à l'arrache (il semblerait que ça soit ma manière de fonctionner), je trouve que le public a été réceptif et que ça à pu engendrer de chouettes conversations.

Le 23 Octobre 2023, hier, j'ai eu l'occasion (et le plaisir) d'organiser, dans les bureaux nantais de PaloIT, la quatrième édition de LambdaNantes. J'y ai parlé de Build Systems (et je tâcherai d'écrire un véritable article sur mes lectures) et Nicolas Rinaudo y a présenté une reconstruction des Free monads (où, monade gratuite pour un foncteur). La présentation était excellente, très bien construite, avec un storytelling soigné. Un peu trop longue pour que je la synthétise (et je sais de sources sûres qu'elle sera le sujet d'un article compagnon sur le site de Nicolas), je voudrais m'arrêter sur un point que j'ai trouvé amusant.

Très souvent, quand les Free Monads sont évoquées, on peut observer cette définition (qui est évidemment correcte) :

data Free f a =
  | Pure a
  | Free (f (Free f a))

Dans sa reconstruction, Nicolas propose des noms alternatifs :

data Free f a =
  | Pure a
  | Flatten (f (Free f a))

Même si ça ne change absolument pas l'usage de Free, je trouve que cette reformulation met, très nettement, en lumière, le fait que Free est, en fait, représentation défonctionnalisée d'une monade décrite au moyen de map, qui est provisionné par le foncteur, de pure et de flatten (aussi parfois appelé join). Ce qui permet d'esquisser Freer, qui est la monade gratuite sur un constructeur de type et qui elle, utilise la description via pure et flatmap.

C'était un très chouette événement et la présentation de Nicolas, bien que parlant d'un sujet que je pensais maitriser, m'a ouvert des opportunités pédagogiques !

Les réseaux sociaux m'intéressant de moins en moins, j'ai décidé de déplacer une partie de ma communication à la manière d'un journal sur cette page. Me permettant d'avoir un contrôle plus fin sur les fonctionnalités de publication et potentiellement de conserver mes tickets en cas de migration.

Je l'inaugure avec un dessin, Le Gundam oublié (un fanart à l'interprétation très libre), qui, malheureusement, n'a aucun rapport avec Inktober 2023 pour lequel je suis déjà terriblement en retard.