Discussion :

[Freedom57]

Bonjour , je connais map , it_list , list_it ,trace.
Je voudrais savoir où trouver la liste des fonctions prédéfinies en caml(sans inclusion de bibliotheque).
En particulier , j'aimerais savoir si il existe des fonctions qui serait équivalente à:

Code :

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

1
2
3
4
5
6
 
selectionner_un:('a->bool)->'a list->'a=<fun>
let rec selectionner_un p liste=
match liste with
[]->[]
x::r->if p x then x else selectionner_un r;;

et a:

Code :

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

1
2
3
4
5
6
 
selectionner_tous:('a->bool)->'a list->'a list=<fun>
let rec selectionner_tous p liste=
match liste with
[]->[]
x::r->if p x then x::(selectionner_tous r) else selectionner_tous r;;

Merci.

[gasche]

Dans le manuel, bien sûr.

Objective Caml

Caml Light

La partie qui t'intéresse (pour Caml Light) est la section "The Caml Light library". Les bibliothèques sont organisées par modules. Pour appeler la fonction "foo" du module "bar", on utilise le nom "bar__foo" (double underscore), sauf si le module est "ouvert" (instruction "open") où on peut se contenter de "foo". Les modules de la sous-section the core library sont ouverts par défaut, pas le reste des modules. Je déconseille d'ouvrir un module soi-même, il vaut mieux utiliser le nom qualifié bar__foo (risque de conflits de nom : l'ouverture d'un module peut écraser des noms déjà définis, comme 'compare").

Tu pourrais être intéressé par ce sujet de TD Caml dans lequel je présente certaines de ces bibliothèques standard.


PS : les fonctions spécifiques que tu recherches existent en Ocaml (List.find, List.filter) mais pas en Caml Light. Ta première est mal typée, si ('a) n'est pas un type liste tu ne peux pas renvoyer la liste vide dans le cas d'erreur. Il faut soit lever une exception, soit renvoyer un élément du type ('a option).

[Freedom57]

D'ou l'importance de l'anglais...
Merci pour ces liens.

[gasche]

D'où l'importance de savoir chercher sur internet, oui...