https://xvw.lol/feed.xml Fil complet d'actualité YOCaml 2025-09-24T00:00:00Z xvw, Xavier Van de Woestyne https://xvw.lol https://xvw.lol/galleries/misc.html 2025-09-24T00:00:00Z

Une collection de dessins qui n'appartiennent à aucune catégorie particulière, que j'ai réalisé au fil des années.

https://xvw.lol/journal/2025-07-20-00-00.html 2025-07-20T00:00:00Z

Entrée du 2025-07-20 00:00:00, à propos de meta, ocaml, yocaml

https://xvw.lol/galleries/lyon.html 2025-07-19T00:00:00Z

Photos prises dans _les rues_ de [Lyon](https://www.lyon.fr/).

https://xvw.lol/galleries/cosmic-atlantis.html 2025-05-30T00:00:00Z

Cette galerie, qui porte un nom un peu _kéké_, liste une série d'illustrations de _choses étranges_ observées dans l'espace (c'est de la fiction hein). L'objectif est de m'entrainer à dessiner des éléments qui font penser à de la science-fiction.

https://xvw.lol/galleries/machines.html 2025-05-30T00:00:00Z

Un ensemble d'illustrations représentant des machines compliquées un peu aléatoires. Comme depuis plusieurs mois, je fais essentiellement du _Noir et blanc_ (par fainéantise), c'est un prétexte pour me forcer à faire de la couleur !

https://xvw.lol/galleries/nyc.html 2025-05-10T00:00:00Z

Photos prises dans _les rues_ de [New York](https://www.nyc.gov/).

https://xvw.lol/galleries/rouen.html 2025-02-25T00:00:00Z

Photos prises dans _les rues_ de [Rouen](https://rouen.fr/).

https://xvw.lol/journal/2024-12-14_14-00-00.html 2024-12-14T14:00:00Z

Entrée du 2024-12-14 14:00:00, à propos de conference, paris, scala, ocaml, ide, merlin, lsp

https://xvw.lol/pages/colophon.html 2024-11-19T00:00:00Z

Cette page décrit le rôle de ce site web. Elle décrit aussi les différentes ressources et bibliothèques utilisées. Un **Colophon** est, historiquement, en imprimerie, un encadré donnant des informations sur le résultat d'une impression. C'était donc une manière un peu manuelle d'attacher des _méta-données_. Je ne sais pas si c'est un titre de page pertinent, mais il est souvent utilisé, dans la _blogosphère_ (et spécifiquement dans [l'anneau web](https://webring.xxiivv.com/) dont j'ai fait partie pendant plusieures années) pour décrire les différents processus et outils utilisés pour décrire un site web.

https://xvw.lol/pages/emacs-yasnippet.html 2024-09-25T00:00:00Z

Quand on programme (ou que l'on rédige), il est assez courant de devoir saisir des séquences récurrentes (du _boilerplate_). C'est probablement plus observable quand on écrit de code, où certaines constructions du langages, disposant de niveau d'expressivité différents, doivent être répétées très régulièrement. Dans cet article, je vous propose de découvrir [YASnippet](https://github.com/joaotavora/yasnippet) (pour _**Y**et **A**n other **S**nippet extension_), un système de _template_ pour Emacs, permettant l'expansion d'abréviations, de manière structurée.

https://xvw.lol/journal/2024-09-21_16-25-07.html 2024-09-21T16:25:07Z

Entrée du 2024-09-21 16:25:07, à propos de conference, rouen, forkit, pointfree, programmation

https://xvw.lol/pages/why-ocaml.html 2024-08-25T00:00:00Z

J'ai commencé à utiliser régulièrement le langage [OCaml](https://ocaml.org) vers 2012, et depuis, mon intérêt et mon engouement pour ce langage n'ont cessé de croître. Il est devenu mon choix de prédilection pour presque tous mes projets personnels, influençant également mes choix professionnels. Depuis 2014, je participe activement aux conférences grand public dédiées à la programmation et à la construction de logiciels, où j'exprime souvent mon enthousiasme pour OCaml de manière parfois excessive (mais toujours passionnée). Cela m'a valu, de manière amicale, le surnom _d'évangéliste d'OCaml_, une appellation qui, je l'avoue, me flatte énormément. Convaincu que mon intérêt pour OCaml est justifié, je prends souvent plaisir à énumérer les nombreux avantages de cette technologie. J'ai donc décidé de coucher par écrit les raisons pour lesquelles je considère OCaml comme un excellent choix pour divers types de projets. Cette page me permettra de partager facilement mes arguments et d'expliquer pourquoi OCaml mérite attention et intérêt. De plus, je ne suis pas seul à penser cela. Malgré l'idée reçue que OCaml ne serait pas un choix pragmatique pour l'industrie, de grandes entreprises telles que [Meta](https://engineering.fb.com/?s=ocaml), [Microsoft](https://www.microsoft.com/en-us/research/project/slam/?from=https://research.microsoft.com/en-us/projects/slam/&type=exact), [Ahref](https://tech.ahrefs.com/tagged/ocaml), [Tarides](https://tarides.com), [OCamlPro](https://ocamlpro.com/), [Bloomberg](https://www.bloomberg.com/company?s=ocaml), [Docker](https://github.com/moby/vpnkit), [Janestreet](https://www.janestreet.com/technology/), [Citrix](https://xapi-project.github.io/), [Tezos](https://tezos.com), et [bien d'autres](https://ocaml.org/industrial-users) l'utilisent activement.

https://xvw.lol/pages/ocaml-merlin-destruct.html 2024-06-03T00:00:00Z

Cet article est une réinterprétation francophone d'un article publié [le blog de Tarides](https://tarides.com/blog/2024-05-29-effective-ml-through-merlin-s-destruct-command/), en Anglais, qui présente l'utilisation de la commande `destruct` pour générer des motifs manquants dans du filtrage par motif.

https://xvw.lol/pages/emacs-occurs-long-line.html 2024-04-09T00:00:00Z

Une petite astuce qui explique comment utiliser [occur](https://www.emacswiki.org/emacs/OccurMode) et [l'argument universel](https://www.gnu.org/software/emacs/manual/html_node/emacs/Arguments.html) pour énumérer, dans un _buffer_, l'ensemble des lignes qui dépassent un nombre donné de caractères.

https://xvw.lol/journal/2024-03-12_13-33-29.html 2024-03-12T13:33:29Z

Entrée du 2024-03-12 13:33:29, à propos de conference, scala, gadts, nantes

https://xvw.lol/pages/notion-coffee.html 2024-03-12T00:00:00Z

Cet article est une réinterprétation d'un [article](https://github.com/xvw/planet/blob/master/content/posts/notion-cafe.org) que j'avais rédigé en 2021, sur mon [ancien site](https://github.com/xvw/planet). J'ai essayé d'aller à l'essentiel et il présente, dans les grandes lignes, l'ensemble des pages [Notion](https://www.notion.so/about) mises en place pour me permettre d'indexer ma consommation de café et tenter de construire une intuition sur la compréhension des mes goûts. De manière générale, je pense que se construire une _base de connaissances_ est une bonne pratique quand on tente de découvrir une discipline. Étant loin d'être un expert en café et avec Notion, il est probable qu'une grande partie de ce que je décris dans cet article semble naïf ! Pour résumer, cet article présentera la manière dont j'ai mis en place une infrastructure pour indexer les cafés que je goûte, en vue de me fournir des métriques précises m'aidant à caractériser mes préférences, au moyen de l'outil Notion, tout en présentant quelques techniques et ruses apprises lors de la mise en place de ce système.

https://xvw.lol/journal/2024-01-31_15-41-13.html 2024-01-31T15:41:13Z

Entrée du 2024-01-31 15:41:13, à propos de logiciel, document, indexation

https://xvw.lol/journal/2023-12-31_15-22-41.html 2023-12-31T15:22:41Z

Entrée du 2023-12-31 15:22:41, à propos de retrospective, 2023, bilan, evenement

https://xvw.lol/journal/2023-12-30_12-02-57.html 2023-12-30T12:02:57Z

Entrée du 2023-12-30 12:02:57, à propos de retrospective, 2023, bilan, projets

https://xvw.lol/addresses/copain.html 2023-12-30T00:00:00Z

Situé à l'intersection de [l'Avenue Rogier](https://fr.wikipedia.org/wiki/Avenue_Rogier_(Bruxelles)) et de la [Rue Henri Stacquet](https://fr.wikipedia.org/wiki/Rue_Henri_Stacquet), à Schaerbeek, à deux pas du [Parc Josaphat](https://fr.wikipedia.org/wiki/Parc_Josaphat) se trouve [Copain](https://copain.brussels), un bar de quartier **de qualité** où il m'arrive très souvent de boire un (ou plusieurs) verre(s) quand je suis de retour à Bruxelles !

https://xvw.lol/journal/2023-12-29_18-23-07.html 2023-12-29T18:23:07Z

Entrée du 2023-12-29 18:23:07, à propos de retrospective, 2023, bilan, site, personnel

https://xvw.lol/addresses/ethylo.html 2023-12-16T00:00:00Z

Situé à l'intersection de la [Rue Josse Impens](https://fr.wikipedia.org/wiki/Rue_Josse_Impens) et de la [Rue des Pâquerettes](https://fr.wikipedia.org/wiki/Rue_des_P%C3%A2querettes_(Bruxelles)), [l'Ethylo](https://ethylococktailbar.be/) est un bar à cocktails **de qualité** ! Ouvert par mon très bon ami Romain, en 2019, c'est naturellement par cette institution _Schaerbeekoise_ que j'ai décidé de démarrer ma série sur les bars que j'affectionne !

https://xvw.lol/journal/2023-11-14_15-20-50.html 2023-11-14T15:20:50Z

Entrée du 2023-11-14 15:20:50, à propos de meta, fediverse, mastodon, commentaires

https://xvw.lol/journal/2023-11-07_17-22-37.html 2023-11-07T17:22:37Z

Entrée du 2023-11-07 17:22:37, à propos de inktober, tezos, nft

https://xvw.lol/journal/2023-11-01_13-49-55.html 2023-11-01T13:49:55Z

Entrée du 2023-11-01 13:49:55, à propos de meta, blogosphere, flux, rss, atom

https://xvw.lol/pages/modules-import.html 2023-10-31T00:00:00Z

Le langage de modules de [OCaml](https://ocaml.org) peut être intimidant, et il implique généralement l'utilisation de beaucoup de mots-clés, par exemple `open` et `include` qui permettent d'importer des définitions dans un module. Depuis la version `4.08` du langage, la primitive `open` a été _généralisée_ pour permettre l'ouverture **d'expression de module arbitraire**. Dans cet article, nous allons observer comment utiliser cette généralisation pour reproduire une pratique commune dans d'autres langages, que j'appelle, _un peu pompeusement_, des stratégies d'importation, décrivant, par exemple, ce genre de d'importation `import {a, b as c} from K` sans dépendre d'un langage dédié à l'importation.

https://xvw.lol/galleries/never-ended-inktober-2023.html 2023-10-31T00:00:00Z

Pour l'année 2023, j'ai tenté de recommencer à dessiner en m'essayant à [L'Inktober](https://inktober.com/), un _auto-defi_ où il est question de faire un dessin par jour, motivé par un thème commun. Même si j'ai **lamentablement** abandonné après 6 jours, l'objectif est atteint car j'ai recommencé à dessiner.

https://xvw.lol/journal/2023-10-27_20-45-05.html 2023-10-27T20:45:05Z

Entrée du 2023-10-27 20:45:05, à propos de conference, web3, rouen, tezos

https://xvw.lol/journal/2023-10-24_11-19-35.html 2023-10-24T11:19:35Z

Entrée du 2023-10-24 11:19:35, à propos de ocaml, scala, meetup, lambda-nantes

https://xvw.lol/journal/2023-10-20_06-07-35.html 2023-10-20T06:07:35Z

Entrée du 2023-10-20 06:07:35, à propos de meta, nouvelle, reseaux-sociaux

https://xvw.lol/pages/tetra-master.html 2023-09-05T00:00:00Z

Le _Tetra Master_ est le jeu de cartes facultatif du jeu **Final Fantasy 9**. Son fonctionnement est, en surface, similaire au _Triple Triad_ — le jeu de cartes de Final Fantasy 8 — cependant, même s'il est possible de capturer une intuition générale nous permettant de gagner, pour peu que l'on possède des bonnes cartes, après plus d'une centaine de parties, je dois avouer avoir accepté le fait que, juste en jouant au jeu, et en lisant tous les didacticiels _en jeu_, je fusse incapable d'en comprendre l'ensemble des règles, me poussant à me documenter pour comprendre ce que j'avais raté. L'absence d' **aucune règle** dans le jeu (ou le manuel) m'a exaspéré, me poussant à écrire cet article ...

https://xvw.lol/addresses/wappers.html 2022-12-02T00:00:00Z

Situé, logiquement, sur la [place Wappers](https://fr.wikipedia.org/wiki/Place_Wappers), le Wappers est une taverne moderne dans un moule ancien. Situé à deux pas de [L'Ëcole Royale Militaire](https://www.rma.ac.be/fr), Le Wappers fut le théâtre de leurs pauses. Cependant, en Janvier 2020. c'est un changement de direction qui orchestrera une lente mutation. On garde l'aspect boisé (un peu rustique mais réconfortant) du lieu, et on modernise sa carte et son sevrice. Depuis, Le Wappers (que je ne connaissais pas à l'époque), est devenu un des lieux où je suis toujours heureux de revenir quand je rentre à Bruxelles !

https://xvw.lol/pages/oop-refl.html 2022-05-29T00:00:00Z

Les **méthodes gardées** permettent d'attacher des **contraintes** au receveur (`self`) **uniquement pour certaines méthodes**, permettant donc de n'appeler ces méthodes que si le receveur satisfait ces contraintes (ces _guards_). [OCaml](https://ocaml.org) ne permet pas, syntaxiquement, de définir _directement_ ce genre de méthodes. Dans cette note, nous allons voir comment les encoder en utilisant un **témoin d'égalité de type**.