pure

Déclare qu'une fonction fournira toujours exactement la même sortie pour la même entrée, et qu'elle n'a pas d'effets secondaires (écritures dans des variables mutables, effets ES, etc.).