Résumé
Ce chapitre a montré l'intégration des principaux traits de la
programmation impérative (valeurs physiquement modifiables,
entrées-sorties, structures de contrôle itératives) dans un langage
fonctionnel. Seules les valeurs mutables, comme les chaînes, les
vecteurs et les enregistrements à champs mutables, peuvent être
physiquement modifiées. Les autres valeurs, une fois créées, sont
immuables. On obtient ainsi des valeurs en lecture seule (RO)
pour la partie fonctionnelle et des valeurs en lecture-écriture (RW)
pour la partie impérative.
Il est à noter que, si l'on ne se sert pas des traits impératifs du
langage, cette extension au noyau fonctionnel ne change pas la partie
fonctionnelle, en dehors de considérations de typage contournables.