Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
, ,~.' ;'Université Henri Poincaré, Nancy 1Faculté des SciencesDEUG Science MIAS 1Epreuve d'informatiqueSession de juin <strong>2003</strong>Date: le 6 juin <strong>2003</strong>Horaire: 9h-llhSUJET D'EXAMENDurée du sujet: 2 heuresRédacteur: M. Grandbastien(tel. 03 83 68 41 14)Documents et calculatrices non autorisésLes exercices sont indépendants et peuvent être résolus dans un ordre arbitraire.n en est de même pour les questions des exercices ...Exercice 11. En Caml, quand dit-on qu'une fonction est récursive?2. En Caml, quand dit-on qu'une fonction est polymorphe? Donner un exemple de définitionde fonction polymorphe. Quel type afficherait Caml pour cette fonction?Exercice 2Pour les deux questions suivantes, donnez la valeur calculée et affichée par Camllorsl'évaluation de la dernière expression.de1.let a = 0;;let b = 3;;let f = function x -> let b=2*a infb;;a*x + b; ;2.let f = function(0, -) -> 11 (1,0) -> 21 (n,_) -> n + 11 (3,1) ->101 (5,2) -> 7;;f (3,1);;Exercice 3Pour chaque expression suivante, donnez le type calculé par Caml ou bien expliquezpourquoi l'expression n'est pas typable.1
Change language