Discussion :

[InOCamlWeTrust]

Ca commence (déjà !) à faire quelques années que je n'utilise plus OCaml, mais si je me souviens bien, il s'agit d'une fonction intégrée de base dans CamlP4. Effectivement, si tous les projets reprennent cette façon d'indenter, c'est parce que le code source est passé à la moulinette avant d'être mis à disposition.

[SpiceGuid]

Ca commence (déjà !) à faire quelques années que je n'utilise plus OCaml

OCaml avance plus vite qu'il en a l'air vu de l'extérieur (modules récursifs,types private,filtrage paresseux,...). Et surtout maintenant il y a :

• des tutoriels en veux-tu en voilà (même pour Coq, c'est dire)
• des bindings pour presque tout là où il y a quelques années il y avait surtout LablGtk et Numerix
• des startups qui misent sur du code OCaml

Pour en revenir au sujet, on le répètera encore souvent :

• une variable dans un filtre est un motif universel
• une variable dans un filtre est toujours une nouvelle variable, jamais une ancienne variable