Enums can be useful to clearly indicate permissible values. Rather than having magic values or hardcoded strings scattered throughout a codebase, it's nice to put all the conversion with specific ...

-- noté E → F qui est le type des applications qui à un objet de type E associent un objet de type F -- Si x:E et f : E → F alors f x est de type F ; c'est l'image de x par f -- En fait, dans ...