Exemples du chapitre 4 - PPS

¨©
§
¨ "! #$&%'
% ;:1 11111 1<
¨0¨)(*' +=> ?#$&%'
¨)(*' +A@B CEDFHG¤IKJMLON9P&QRTS)S)SDVU
§
W/¤' X@
?YZ5¨)(*' +;: 8 ;CEDFHG¤IKJMLON9P&QRTS)S)SDVU
§
W/¤' 2Y
5&¨)(*' +A@ 8X[ 5¨)(*' +\@ 8 C9DFHG¤IKJMLAL¤]M^KJ_N9P&QR`S)S)S>D¤U
§
W/¤' 2a
¨© 0¨)(*' +@/9' [ )AC9DFHGVIKJMLON9P&QRTSbD¤U
§
W/¤' 2a
¨© ,©$- $©'$c=5 8 $©'$cd5 8
§
¨ ©'ecdf%)'g/K ?#$&%'
Exemples du chapitre 4
Caml est un langage impératif
Sommaire
¢¡¤£¦¥
4.1 Caml est un langage fonctionnel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Effets de bords . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2.1 Type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2.2 Séquencement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2.3 Entrées sorties bufferisées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.3 Données mutables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.3.1 Enregistrements avec champs mutables . . . . . . . . . . . . . . . . . . . . . 43
4.3.2 Références . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3.3 Polymorphisme et variables modifiables . . . . . . . . . . . . . . . . . . . . 44
4.3.4 Partage ou copie de valeur ? . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.4 Tableaux, chaînes de caractères et boucles . . . . . . . . . . . . . . . . . . . . . . . 46
4.4.1 Tableaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.4.2 Chaînes de caractères . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.4.3 Boucles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.1 Caml est un langage fonctionnel
¨© ¨)(*' +
§
,©$- % '.0/* '2103$©&' 0© ¨4&© % 56' 78 /9'
¨©
§ ©'$ch5 8
41

42 EXEMPLES DU CHAPITRE 4. CAML EST UN LANGAGE IMPÉRATIF
¦¡§£ ¨©§¤¤¤§§
¢¡¤£¥
¤©§ ! #"$! ¤
£¤$')(!¡¤*,+.-
&%
©¦0©§1324-5&%60'7' &8$&©§7©9:¤;¤§©¦' =< >% ' ©?¤©¦' < ¤©§)@&§A
/§
¤§&©§ ! #"$! ¤
&
B¤B¤BB¤B¤B¤B¤BB
¢¡¤£¥ ¦¡§£ ¨©§¤¤¤§§
4.2 Effets de bords
CD6EF
4.2.1 Type
4.2.2 Séquencement
G 1IHIJK§$0=©§9L0©93H H
G 1M-N0,©7¡¤OI0,©JP ©.O
:
Q 17* ; 1)* !
**6¡3-R0,©3JI*
G :JS13*S0© :K:
*$¡3-T0,©;JI*
Q 17* ; 13U V ¤ WYXIZ[§\[6]^\4_`=a9b!ced9b6fg&Z&hjikW,h§Zhlmn`¤og,p¢g¤`6q3Xq
U§*6¡3-R0,©3JI*
G :$*^JS1?*S0© G :UKJS1U0© :9*k:U &
*U!¡3-R0,©3JI*
4.2.3 Entrées sorties bufferisées
§$0©99L'¤60©§1sr < < r
< < ¡-5©60=)J
,
§$0=©§9L=©9t G 0©9 V ¤
¡>-u©60=J
§$0=©§9L&©9 G 0©9vr§' §G §Vr
§G § '
¡>-u©60=J
§$0©99L0©§7+
+w¡3-u©60=J
§9L'¤60©§1sr¤&9wr
¡>-u©60=J
9G ¦'=%x'¤
¤y¡-5©60=)J
§¤¤9L&©9 G 0©9vr¤§&§zr &
¤§&§
¡>-u©60=J
§9L0©§Q(
¡>-u©60=J
9G ¦'=%x'¤
(¢¡3-u©60=J
'¤¤¤
< §9L£=% ©¤©9 G JP { '=nO
¡>-
'¤ < §
< §9L£=% ©¤©9 G JP { '=nO
¡>-
'¤$0=© &
¡>-N0©6L£% ©¤©9 G
JP { '=|O

4.3. DONNÉES MUTABLES 43
¡£¢¥¤§¦¨¢¥¤©¤¨¥¤¨¡£¢¤¥§¡¨¤¤§¨
§"!$#%¢§£¤'&'(*)
§¡¤£¤¨¨
¡£¢¥¤§¦¨¢¥¤©¤¨¥¤¨§¥§¡¨¤+-,.§¨¢
!/#0¢§£¤'&(*)
12£¢3£4¤§¨5
¢¥
§¡¤+-,.§¨
!/#0¢§£¤'&(*)
¤ 67&$¦¨¢¥¤©¨2¥8¤¨9
2
¥2¢¥¤
¥2£¢¥¤>
6¨2:6;#F
6¨2/1¨?43
§G£¦2§¡¦HB
¡£¢¥¤§¦¨¢¥¤©¤¨¥;1¨?43
!/#0¢§£¤'&(*)
¥©¨¡£¢¥¤G1¨?£43§I
?§2¨¡
!/#0¢§£¤'&(*)
¤ 1¨?43¨JK&=¡£¦ ©8 1¨¥?BC
2
§JL#@3©?4¥2K&7DE£¤§>F
6¨2/1¨?43
¨¦¨¢¤©¨21¨?43¨JM
!/#@¤¨=&+§¦2§¡¦H
¨¦¨¢¤©¨21¨?43¨JM
¦¥¤§¡P#%N§¥©¨¡ 1©1§2§"Q
NO?
¥©R1¨?43 §J5
?§2¨¡
!/#0¢§£¤'&(*)
6¥2§¢¥UV?.W¥2 X#ZYB\[]§
S¤¨19QT¦¥¥¤1
X#^[!$#_¢§£¤U&(*)
6¥2§¢¥UV?.W¥2
6¥2§¢¥UV?.W¥2 X#ZY¥M`@?4a#ZYb¨c>)b§
[H`ml
!/#n.¤=&jo
4.3 Données mutables
4.3.1 Enregistrements avec champs mutables
¤¥¡¤¥¡K&:q:h#n.¤5_W¢¥¤¥E2 E5#n.¤UrB§
¤§p¦¥
tEf#u.¤5%r
¤§p¦¥$¤¥¡¤¥¡=&sqt8#u.¤MvW¢¥¤E32
2 ¤
67&sq&§w>%EC&§[r>¨
6¨2:6;#v¤¥¡¤¥¡K&sq¥7&sw]%EK&e[r
6h
!/#_¤¥¡¤¥¡K&sq/&jw]%E=&j[r
6hQxERDb!uy§y>§
!/#0¢§£¤'&(*)
6h
y¥r
!/#_¤¥¡¤¥¡K&sq/&jw]%E=&sÿ
6hQTDb!uy§y>§
4¨?¤¨K{B!£o#
z
6hQTDb!uy§y>§
|¨|¨|¨||¨|¨|¨|¨|
E¥2tK s¡¤/W¢¤E2
}4¥=?§¡U1¥2'2

¦¨§¨©¢¥
¡£¢¥¤
¦¡¦¤©¢¥§ !"¤"¢£"¤$#§%'&
aI§¨©¢¥b0
¡£¢¥¤
¦¡cad¤©¢¥§ !"¤"¢£"¤$#§b"&
eI§ca^¥ ¡£¢¥¤
¦¡ced¤©¢¥§ !"¤"¢£"¤$#§b"&
aI§¨©¢¥b0
¡£¢¥¤
¦¡cad¤©¢¥§ !"¤"¢£"¤$#§b"&
eI§¨©¢¥b0
¡£¢¥¤
¦¡ced¤©¢¥§ !"¤"¢£"¤$#§b"&
I§¨©¢¥=5lk7;
¡£¢¥¤
¦¡cWm5¤6-nc¤o-n¤U7?©¢¥§; !"¤¢£"¤$#§+

¦¨§©¦¢¥
¡£¢¥¤
¡¦ ¡¤¦¢¥§!#"$%&¤'¢£%(¤)§*+&,
¦-§.+/'
21%3¤4§6587
0
^J§! e" W X §+En" W Y §+©,6
¡£¢¥¤
¡^A[53 ;j `?bU7H¤¨§! T" W X §oH" W Y §pq(,
b¨§ ¥
¡£¢¥¤
¡ 0'M Gb 0M §©O(>1¥% M
ä § X rts!u(v&w(xzy{Z|#}4s8~
¡£¢¥¤
¡a 0M ?%'¤¨§¨O'1¥% M
a©^©§! X ^ rts€'‚(wPyhƒ…„†¥w£‡s?~
¡£¢¥¤
¡a 0'M ?%'¤¨§©O'>1¥% M
¦¢(" "$%…" ¤4¡ X ¡ Y §g< ¤)" W ¡ X d)¤ W
¡£¢¥¤
9'˜¥%…¡ 0'M ¡ Y
9'˜)"$%zˆ5 pj ¡ XX 7 0'M 9(˜)"$%zp5 j 5¥"$%…" ¤6¡ X¥X ¡ Y 7'7
¡"$%z" ¤I ¡'>¤'¢&£)>^'¢ 0M ¡'>¤'¢&£)^'¢ 0M ¡'>¤'¢&£)>^'¢§¨O'>1¥% M
¦¢(" "$>%z" ¤&("$ = _¡ X ¡ Y § < ¤)" W ¡ X d)¤ W
¡£¢¥¤
9œ%…¡ 0M ¡ Y
4.3. DONNÉES MUTABLES 45
9)¤;:-< >=
?13""A@B¦C¥
D?%'¤6¡¤4§EGF£
0
¦¢(" 587H§©¦I§J9)¤K:-< >= ?13""@G¦C¥
¡£¢¥¤
¡AL1%3¤ 0'M 1%3¤N§¨O(1¥% M
A5?7P
21%3¤4§6587
0
@G¦C¥
D?%'¤6¡¤4§EGF£
0
A5?7P
21%3¤4§6587
0
@G¦C¥
D?%'¤6¡¤4§E-Q
0
¡>1(¤TS£U
¦RB§E>S£¤($>¤($#SPHS(
¦ ">¤'¢¦)NQ 0X>Y
V£W
¡>1(¤US8U
¦RB§.ZS'¤($>¤($US3[S)
\'\\\\\
W N¢^ = ¦'¢&$% W ©¤_ = ¢.£¤¦)`%(aJb1'¤¥ W ¢£¦¢13>¢¥ced)¤ W ¤_ = ¢E?%'¤
]
¦ Y §©¦¢¥f+
¡£¢¥¤
¡g¦ Y ! ¡¤¦¢¥N§! T"$%(¤'¢£%&¤)§.+),
>= ?13""A@h¦ Y £
9)¤;:-<
D?%'¤6¡¤§.
0
S£U ¦;§ES
¦ ">¤'¢¦)eF 0i
V£W
S8U ¦;-§.ZS
\\\
] W N¢^ = ¦'¢&$% W ©¤_ = ¢.£¤¦)`%(aJb1'¤¥ W ¢£¦¢13>¢¥ced)¤ W ¤_ = ¢E?%'¤
= ¢ 5( Cj -b#7k¤¨§ " W X ' ¡¤Rl¤'¢(¥)>^'¢
¤_
= ¢ ¡(>¤'¢(z bz¡¢.§g9œ%…¡Iš9'œ3"$%z$ ¨› ¡'£¤'¢(`& b3¡¢.¦¢¥
¤_

"!¤#%$&¥§©¨¥%'%(*)¥§,+-/.01%2354¤4
¢¡¤£¦¥¤§©¨¡£¦¥§©¨
'7¥§©¨¥8'¤(*)¥§©+*-:9
6
8#%( 0>*[5CB¥§©¨P¥8'(*)©J*'!#O0>3F0>¦2b44
I
'50>*[X9R=0¨(D=¤,(#)>§8?¦=,$¦='8@%#aC
6
I
8#%( (*',u#5v7N8'%'_N34%4
I
's(2&9w,(¤!=©¨x7'!¤!'-'(¥©J
L¡¤£¨=B¤%2
¤8#%( !¤#¥ 8#(*)¤'*,(7CF$%G¨¥,(=§,¨
L)
L¡¤£¨=
M$'*=8K¦=,(%JON¥§©¨P¥8'(*)J*'!#Q9R¥,'7=0>+¦§¤¤=@¦#S..8N
.TC*¡¤£¤¨=F(8J#,¨ 9WC3%21#¤,# %#(*)¤%',(X.T
L¡¤£¦¥§©¨PHT)UV=$
=V¨
8#¤(*)¤%'*8(¤74
44
'7¥§©¨¥8'¤(*)J*'¤!#:9
6
'§%?=8$='%@¦¤#A¤ ; 'B=¤,(#*)>§8?=8$¦=8'%@%#A ; '§%?=8$='8@¤#DCFE$,G%Ḧ
;
8#%( 0>3C1¡¤£¦¥¤§©¨TYZ!¤#%$&0¡¤£¥§©¨2Z!¤#%$¦21CF¡¤£¦¥§©¨P\[ Z!¤#%$&0¡¤£¦¥§©¨P\] ^!¤#%$5¡£¨=%_¤¤54¤4
',¨?
'50>3`9R=0¨(D=¤,(#)>§8?¦=,$¦='8@%#aC
6
Lc3¥¤§©¨(#8¨(C*¡¤£¤¨=¦f8f
¡¤£¦¥§,¨bVULcd¥§©¨(#8¨(*C¦¡¤£¦¥§©¨Pae2
'50>¦2g9R=0¨(D=¤,(#)>§8?¦=,$¦='8@%#aC
6
¡¤£¦¥§,¨bh[iLcd¥§©¨(#8¨(*C¦¡¤£¦¥§©¨Paj]kLc3¥¤§©¨(#8¨(C*¡¤£¤¨=¦f8f
¡¤£¦¥§,¨bVULcd¥§©¨(#8¨(*C¦¡¤£¦¥§©¨Pae2 Lc3¥¤§©¨(#8¨(C*¡¤£¥§©¨Ol¤ll%f%f*
0>3D44
m9^=0¨(=¤,(#)©>§8?=,$=8'%@#DC
Lcd¥§©¨(#%¨(*C*¡£¦¥§©¨Oll¤l%ff
¡¤£¦¥¤§©¨aVUnc3¥§©¨*(#8¨(C*¡¤£¦¥§©¨Pbe2
4.4 Tableaux, chaînes de caractères et boucles
4.4.1 Tableaux
(zl%34¤4
m9^=0¨(

¦¨§©¤¥¢ !#"$&%')('* +,.--$-/*0*
¡£¢¥¤
§2¡3¦§©¤2£¢546872¤9§2§©:;§©§©:?@A*!B"$&%')(?*+B-$-$>-/*C
1
¤2£§£7D¡¥¢E,.AF@AG!#"$&%H !-0 I?©
¡£¢¥¤
§2¡!¤£§£7,D,¡¥¢J4K872¤;§©2§:9§2§©:9=,AF$&AL,*"$&%A*+B-/M
1
¦¨§©¤¥¢\+]§©:/N^¦,§`_¢$@A*+*2A>22A[%?FC+B-/*C
a¥b£bä @a©b¥b$ä Ka¥b¥b$ä 6a©b¥ba $L a©b¥b$ä Ka©b£bä Ka¥b¥b$ä Ka¥b¥bAa ?
@a©b¥b$ä Ka¥b¥b$ä 6a©b¥bap$Lma©b¥b$ä Ka©b£bä Ka¥b¥b$ä Ka¥b¥bapH/
oab£bä
vWV¤5wQar¥
¦§©¤¨£¢qN£Po2RrN£PY(¥R9SsT!a¥t¢£ü
T!4#V©7¨W¤XPYR
¦§©¤¨£¢M¥
¤Q7,DX§©2§©:9§©§©:L
T!46ǹ
@at2¢£ü vWV,¤jwYacKa©b¥b$ä @ab£bAapH$+2ma2b¥b?ä @at2¢£ü vWV,¤jwYacKa©b¥b$ä 6a¥b£barI?
2©ma£b£bAä
@at2¢£ü vWV,¤jwYacKa©b¥b$ä @ab£bAapH$+2ma2b¥b?ä @at2¢£ü vWV,¤jwYacKa©b¥b$ä 6a¥b£bAapH/
oa¥b£bAä
]2§:/N8¡¥¢¥7D¤¥x9¤A¥
T!4@872¤

48 EXEMPLES DU CHAPITRE 4. CAML EST UN LANGAGE IMPÉRATIF
¢¡¤£¦¥§£¤¨©§¦¥¢¢
¦
¡ !"!#%$¤¥§¤¦¦¦&(')¡£*©!+¢$,-'§©/.!0§©%1¡%¥¦20 %354(©¢¡6©!+¢$879£*¥¦%:
:&¥