Réponses
-
La convention adoptée par caml a la justification suivante: on écrit sans arrêt des fonctions $f$ $x_1$ ... $x_n$. Que fait une telle fonction? Elle prend $x_1$ et elle renvoie la fonction qui attend $x_2$ ... $x_n$ avant de renvoyer une sortie d'un…
-
Si $a, b, c$ sont premiers entre eux alors $a times b times c$ désigne $(a times b) lor (b times c)$ (et non $(a times b) land (b times c)$).
-
En caml une fonction de type $a to b to c$ prend du $a$ et recrache du $b to c$, autrement dit la priorité des opérations est ici $a to (b to c)$. Par la correspondance de Curry-Howard...
Bonjour!