Un programme qui fait rien...on fait comment?

[invite4c324090]

Bonjour, une question bête:
En Caml existe-t-il une commande qui ne fait rien et renvoie un type unit?

Pour une récursivité par exemple,
...
|i when(<<cas particulier où rien ne se passe>>)-> begin end ?
-----

[invite4ef352d8]

Salut !

... euh... ba tu met rien et ca fera rien ^^

en revanche il faut que dans tous les cas ton programe renvoi la meme chose, c'est le typage de caml qui veut ca. donc si dans les autres cas ton programe renvoi un entier, alors il faut que tu renvoi un entier ! (par exemple -1)

[Thorin]

je me demande si () n'est pas une instruction qui ne fait rien...à vérifier

Cependant, j'aimerais voir dans quel cas exactement tu as besoin d'utiliser ça...

[invite4c324090]

juste un filtrage de ce type:
la fonction est de type 'a list->unit()

c'est un peu long mais l'idée est celle-ci:

si la condition A est realisée par rapport à n on a fini donc on ne fait rien.
sinon on réaplique avec d'autre paramètre pour la recursivité:

let exemple=function
|1 ->
|n ->exemple(n+1);;
plante lamentablement (erreur de syntaxe au niveau du 2e | , normal il attend une instruction.)

alors en attendant j'utilisais begin end vide.
Mais je confirme que () fonctionne merci.

[A voir en vidéo sur Futura]

[Thorin]

au passage, si comme dans ton exemple, tu appliques le filtrage a des entiers, alors, tu as tout intérêt à préférer un "if" (différence entre le test et le filtrage) ; si c'est sur la structure d'une liste (tete::queue) , ok.

[invite4c324090]

pire que ça ... on applique le filtrage sur un vecteur et les conditions mettent en jeu la taille et une fonction immonde de calcul...
J'y peux rien c'est pas moi qu'ait choisi.