Author: Christian.Queinnec@lip6.fr

## 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.