Avantage de Control.Arrow ?

Juste par curiosité ...

A chaque fois que j’utilise ( i.e assez fréquemment ) une expression comme

Code:

---

zip (map truc1 list) (map truc2 list)

---

ghci me dit :

Found:

zip (map truc1 list) (map truc2 list)

Why Not:

map ( truc1 Control.Arrow.&&& truc2 ) list

Je veux bien admettre que cela produit le même résultat,
mais ( à mes yeux ) cela ne rend l’expression ni plus courte ni plus limpide !
De plus pour que ça marche, il faut importer Control.Arrow.

D’où ma question : Ce conseil est-il justifié ?
( Peut-être à la compilation, du fait que list n'est évaluée qu'une fois plutôt que deux ? )

La version proposée par hlint (et non ghci en fait) est effectivement plus performante, mais il propose la même pour :

Code:

---

map (\x -> (truc1 x, truc2 x)) list

---

Qui est tout aussi performante. En règle générale, hlint propose des réécritures plus compactes et réutilisant des fonctions standards. C’est toujours élégant, mais pas nécessairement plus lisible quant on n’est pas familier d’un module utilisé. Le bon côté de hlint néanmoins, c’est qu’il force à s’intéresser à des fonctions existantes bien utiles et à adopter un style standard.

Citation:

---

Je veux bien admettre que cela produit le même résultat, mais ( à mes yeux ) cela ne rend l’expression ni plus courte ni plus limpide !

---

Pour être honnête avec hlint, sa proposition est :

Code:

---

map (truc1 &&& truc2) list

---

Qui est bien, plus courte si on importe Control.Arrow préalablement.

Merci Chatanga.
Je viens de lire quelques pages de Programming with Arrows (pdf) de J.Hughes.
Impressionnant toutes les constructions théoriques qui sont là-derrière, en fait c’est bien plus qu’une petite fonction que hlint nous propose de découvrir incidemment !

Bonne semaine,
bertrand