Cours algorithmique condition (if then else, suite)

Cours algorithmique condition (if then else, suite), tutoriel & guide de travaux pratiques en pdf.

Condition (if then else)

• Notation Caml:
if <expression booléenne> then <expression> else <expression>
Régles de typage: • L’expression est bien typée si l’expression derrière le if est de type bool, et les expressions derriere then et else sont de meme type • Le type de l’expression est celui des expressions qui suivent le then ou le else
Le branchement conditionnel

Condition (if then else, suite)

Evaluation: Une expression conditionnelle a une valeur, elle peut donc ˆetre utilisée l`a ou on met des valeurs
(if b then e1 else e2) = e1 si b vaut true (if b then e1 else e2) = e2 si b vaut false
Exemples: • (Symbole de Kroneker) if i = j then 1 else 0 • (Valeur absolue) if a < 0 then -a else a
Fonctions
Caml offre une notation proche des mathematiques:
mathematiques caml f : D → R let f = function y 7−→ expr(y) y -> expr(y);;
carre : IN → IN x 7−→ x.x
let carre = function x -> x * x ;; carre 2;; carre (2+3);; (carre 2)+3;;