La question est incontournable pour une FAQ.
La réponse me convient, ce qui fait la richesse du paradigme fonctionnel ce sont les différents systèmes de types.
Après, dans le détail, restons...