{"id":1941,"date":"2026-03-19T17:09:21","date_gmt":"2026-03-19T16:09:21","guid":{"rendered":"https:\/\/coding4phone.com\/?p=1941"},"modified":"2026-03-30T20:39:49","modified_gmt":"2026-03-30T19:39:49","slug":"mogwai-v8-4-loperateur-pour-transformer-une-variable-en-place-proprement","status":"publish","type":"post","link":"https:\/\/coding4phone.com\/?p=1941","title":{"rendered":"MOGWAI \u2014 L’op\u00e9rateur –> pour transformer une variable en place, proprement"},"content":{"rendered":"\n

Il y a des fonctionnalit\u00e9s qu’on n’attendait pas forc\u00e9ment, mais qui une fois en place semblent tellement naturelles qu’on se demande comment on faisait sans. L’op\u00e9rateur --><\/code> est de celles-l\u00e0.<\/p>\n\n\n\n

Le probl\u00e8me de d\u00e9part<\/h2>\n\n\n\n

En MOGWAI<\/a>, la fa\u00e7on classique de transformer une valeur stock\u00e9e dans une variable, c’est de la poser sur la pile, d’appliquer les transformations voulues, puis de stocker le r\u00e9sultat :<\/p>\n\n\n\n

\"bonjour\" -> 'A'
A ->upper butfirst butlast -> 'A'
# A contient maintenant \"ONJOU\"<\/pre>\n\n\n\n
\u00c7a fonctionne parfaitement, et pour des cha\u00eenes ou des petites valeurs c’est tout \u00e0 fait adapt\u00e9. Mais MOGWAI<\/a> propose aussi le pr\u00e9fixe &<\/code> pour travailler directement<\/strong> sur le contenu d’une variable, sans cr\u00e9er de copie interm\u00e9diaire. C’est particuli\u00e8rement utile avec des listes volumineuses, o\u00f9 cloner la valeur \u00e0 chaque op\u00e9ration a un co\u00fbt r\u00e9el.<\/p>\n\n\n\n
Avec &<\/code>, la mutation se fait en place :<\/p>\n\n\n\n
\"bonjour\" -> 'A'
&A ->upper
# A contient maintenant \"BONJOUR\" \u2014 sans copie<\/pre>\n\n\n\n
C’est efficace. Mais si on veut encha\u00eener plusieurs transformations, \u00e7a devient rapidement verbeux :<\/p>\n\n\n\n
&A ->upper  &A butfirst  &A butlast
# A contient maintenant \"ONJOU\"<\/pre>\n\n\n\n
R\u00e9p\u00e9ter &A<\/code> avant chaque op\u00e9ration, c’est du bruit. Et du bruit, c’est du code moins lisible, plus difficile \u00e0 maintenir.<\/p>\n\n\n\n
L’op\u00e9rateur –><\/strong><\/h2>\n\n\n\n
La v8.4 introduit --><\/code>, qui permet d’exprimer ce pipeline en une seule expression claire :<\/p>\n\n\n\n
(->upper butfirst butlast) --> &A<\/pre>\n\n\n\n
On lit \u00e7a de gauche \u00e0 droite : \u00ab\u00a0applique ces transformations \u00e0 A, en place\u00a0\u00bb. La liste entre parenth\u00e8ses contient les op\u00e9rations dans l’ordre, et --><\/code> les ex\u00e9cute l’une apr\u00e8s l’autre sur la variable r\u00e9f\u00e9renc\u00e9e.<\/p>\n\n\n\n
Le r\u00e9sultat est identique \u00e0 la version r\u00e9p\u00e9titive, mais l’intention est imm\u00e9diatement lisible.<\/p>\n\n\n\n
La conception derri\u00e8re l’op\u00e9rateur<\/h2>\n\n\n\n
Ce qui est int\u00e9ressant ici, c’est que --><\/code> ne r\u00e9invente rien. Il s’appuie enti\u00e8rement sur les m\u00e9canismes existants du langage.<\/p>\n\n\n\n
Quand le parseur rencontre (->upper butfirst butlast) --> &A<\/code>, il r\u00e9\u00e9crit l’expression en RPN pur, exactement comme il le fait pour les autres sucres syntaxiques de MOGWAI<\/a>. Aucune magie \u00e0 l’ex\u00e9cution \u2014 juste une transformation de notation.<\/p>\n\n\n\n
Pour chaque item de la liste, l’op\u00e9rateur travaille sur une pile priv\u00e9e<\/strong> initialis\u00e9e avec la valeur directe de A<\/code>. Cette isolation est importante : peu importe ce que fait un item en interne sur la pile, \u00e7a ne pollue jamais la pile globale. Et puisqu’on travaille avec la r\u00e9f\u00e9rence &A<\/code>, les modifications sont imm\u00e9diatement r\u00e9percut\u00e9es dans la variable \u2014 pas de copie, pas de \u00ab\u00a0write back\u00a0\u00bb.<\/p>\n\n\n\n
Les quotations dans le pipeline<\/h2>\n\n\n\n
La liste peut contenir non seulement des fonctions simples, mais aussi des quotations<\/strong> \u2014 des blocs de code { }<\/code>. C’est l\u00e0 que l’op\u00e9rateur devient vraiment expressif.<\/p>\n\n\n\n
Imaginez que vous vouliez transformer une cha\u00eene tout en capturant une information au passage :<\/p>\n\n\n\n
\"hello world\" -> 'A'
(->upper { dup size -> 'len' } { \" !\" + }) --> &A
# A contient \"HELLO WORLD !\"
# len contient 11 (la taille avant ajout du suffixe)<\/pre>\n\n\n\n
La quotation re\u00e7oit la valeur courante de A<\/code> sur sa pile priv\u00e9e, fait ce qu’elle a \u00e0 faire, et laisse le r\u00e9sultat pour la suite du pipeline. C’est flexible, sans complexifier le mod\u00e8le d’ex\u00e9cution.<\/p>\n\n\n\n
Un pipeline qui ne laisse pas de mauvaises surprises<\/h2>\n\n\n\n
Un point de conception auquel on pense rarement au premier abord : que se passe-t-il si une op\u00e9ration \u00e9choue en cours de route ?<\/p>\n\n\n\n
Sans protection particuli\u00e8re, la variable serait laiss\u00e9e dans un \u00e9tat partiel \u2014 transform\u00e9e jusqu’\u00e0 l’\u00e9tape qui a plant\u00e9. C’est le genre de situation qui g\u00e9n\u00e8re des bugs difficiles \u00e0 tracer.<\/p>\n\n\n\n
L’op\u00e9rateur --><\/code> est transactionnel<\/strong> : avant de d\u00e9marrer le pipeline, un snapshot de la variable est pris. Si une erreur survient \u00e0 n’importe quelle \u00e9tape, la variable est automatiquement restaur\u00e9e dans son \u00e9tat d’origine, et l’erreur est propag\u00e9e normalement.<\/p>\n\n\n\n
\"bonjour\" -> 'A'

guard
{
    (->upper sqrt butlast) --> &A
    # sqrt n'est pas applicable \u00e0 une cha\u00eene \u2192 erreur
}
else
{
    A ?  # affiche \"bonjour\" \u2014 restaur\u00e9 automatiquement
}<\/pre>\n\n\n\n
Ce comportement \u00e9vite les \u00e9tats incoh\u00e9rents sans que le d\u00e9veloppeur ait \u00e0 g\u00e9rer manuellement une sauvegarde. Le pipeline r\u00e9ussit compl\u00e8tement, ou il ne change rien.<\/p>\n\n\n\n
En r\u00e9sum\u00e9<\/h2>\n\n\n\n
L’op\u00e9rateur --><\/code> est une addition modeste en apparence, mais soign\u00e9e dans ses d\u00e9tails :<\/p>\n\n\n\n