Automate d'évaluation — map

Statut documentaire : reference — voir Maturité et preuves.

map fait partie des opérateurs fonctionnels reconnus par la grammaire actuelle.

Il sépare deux responsabilités :

1. parcourir une collection ;
2. appliquer une fonction à chacun de ses éléments.

Protocole conceptuel

évaluer la collection
  -> obtenir la fonction applicable
  -> sélectionner un élément
  -> appliquer la fonction
  -> collecter le résultat
  -> continuer
  -> reconstruire la collection résultat

Composition

map ne nécessite pas un moteur parallèle séparé : il compose le protocole de collection avec le protocole d'application fonctionnelle.

C'est un exemple important du caractère multi-paradigme du moteur : l'opérateur de collection réutilise l'évaluation fonctionnelle au lieu de la dupliquer.

Garanties à documenter au niveau du type de collection

L'ordre, la forme exacte du résultat et les règles concernant une collection vide dépendent du contrat de collection concerné. Cette page ne leur attribue pas de comportement supplémentaire non certifié.