OCaml, le réseau et les interfaces graphiques

**Jedai** · 03/05/2008, 20h50

Envoyé par bluestorm

Il existe quand même des cas où la recursion explicite est à mon avis bienvenue, faute de mieux.

Je n'ai jamais dit le contraire, néanmoins je ne suis pas d'accord du tout que l'emploi de filter ou map soit d'une quelconque façon contraire à la philosophie d'OCaml, au contraire !

Envoyé par bluestorm

Par exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let rec split = function
| ([] | [_]) as li -> li, []
| ha::hb::tl -> let a, b = split tl in ha::a, hb::b

Bon exemple.

En Haskell, je tendrais à l'écrire avec un foldr, mais il est vrai que Haskell a une philosophie encore plus orienté combinateur et fonction de haut niveau que OCaml, je ne le nie pas, je conteste l'emplacement de la frontière.

Code Haskell :

Sélectionner tout - Visualiser dans une fenêtre à part

split = foldr (\x ~(ys,xs)->(x:xs,ys)) ([],[])

Code OCaml :

Sélectionner tout - Visualiser dans une fenêtre à part

let split l = List.fold_right (fun x (ys,xs) -> x :: xs, ys) l ([],[])

pour troller je dirais que les confirmés aussi, puisque les haskelliens n'ont pas été foutu de mettre l'ordre correct des arguments de fold_right

Disons l'ordre que tu aurais préféré plutôt que l'ordre "correct"... Comme tu le vois ci-dessus cet ordre est tout de même très pratique pour créer des fonctions partiellement appliquées.

--
Jedaï

**gasche** · 04/05/2008, 01h25

Malin, j'avais pas pensé à l'inversion :p

Effectivement, si on formule le programme ainsi :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let rec split = function
| [] -> [], []
| hd::tl -> let a, b = split tl in hd::b, a

Alors un fold_right devient tout à fait naturel.

Je vais devoir trouver un meilleur exemple :-'

(pour ce qui est du fold_right, je continue à maintenir qu'on devrait choisir en premier l'ordre le plus naturel, joli et symétrique, et que de toute façon si l'application partielle pose un problème, vous avez toujours 'flip' qui sert justement à ça)