Les déserts

/* Un désert est une zone géographique qui reçoit moins de 254 mm de précipitations par an */

Spécifiez en notation B ASCII (maths ensemblistes)
: est pour l'appartenance
--> est pour ensemble de fonctions totales (ce qu'en France on appelle "applications")
|> est la restriction de domaine d'une relation
== se lit "se définit comme" (à différencier du prédicat d'égalité, noté =)

précipitations_annuelles : zones_géographiques --> NAT

déserts == dom (précipitations_annuelles |> 0..254)

Vallées Sèches de l'Arctique : min (déserts)


source de l'info : Llyod, Mitchinson, Les autruches ne mettent pas la tête dans le sable, Dunod, 2007