couleur, 1 diapo sur 1 page

18/01/17
part. 1 : types, expressions et fonctions
1
inf201 : algorithmique et programmation fonctionnelle
!!
"!!

18/01/17
part. 1 : types, expressions et fonctions
2
inf201 : algorithmique et programmation fonctionnelle
"!!
#à
●$ !
●% !!
●& 
DÉFINITION D'UN ENS
déf &'($)%)&*
implémentation
type feux3 = int (* restreint à 1, 2 et 3 *)

18/01/17
part. 1 : types, expressions et fonctions
3
inf201 : algorithmique et programmation fonctionnelle
"!!
+!,f:feux3-
$
if f = 1 then "rouge"
else if f = 2 then "orange clignotant"
else (* nécessairement f = 3 *) "vert"
!.à

18/01/17
part. 1 : types, expressions et fonctions
4
inf201 : algorithmique et programmation fonctionnelle
"!!
+!,f:feux3-
%
!.à/
!/0,!1!
2
●$ 3!3→
●% 3!!3→
●& 33→

18/01/17
part. 1 : types, expressions et fonctions
5
inf201 : algorithmique et programmation fonctionnelle
"!!
+!,f:feux3-
%
match f with
| 1 -> "rouge"
| 2 -> "orange clignotant"
| 3 -> "vert"
!.à
"match ... with!