Bonjour!
Pouvez-vous m'aider pour cet exercice d'informatique car je suis totalement perdu!! Il est basé sur le logiciel CAML LIGHT (et je ne comprends vraiment pas!)!
Merci bcp!
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10 Let rec hase tes rixe= Let gros [bon ; homme] = If bon < homme Then bon ^ homme (opérateur de concaténation des chai,es de caractère) Else homme ^bon In If tes=baie Then gros ( haubert rixe ) Else hase (int_of_float rixe) (rixe /. 20.07)
Selon Pierre, il faut copier d’autres choses avant la déclaration de cette fonction bien hase. Mais il prétend malgré tout que ce n’est pas un obstacle à la vérification de la signature (ou typage) de cette fonction.
1) confirmer cette affirmation en réalisant explicitement le calcul de son type.
2) qu’en déduisez-vous sur la signature des 2 identificateurs globaux qui manquent dans ce devoir ?
3) Pierre prétend que c’est lourd de déclarer ainsi la fonction locale et qu’il aurait mieux valu lui attribuer un autre typage, quitte à modifier en premier chef le haubert. Pouvez-vous préciser à quoi il pense
Partager