la détermination se fait par inférence... en gros, on démarre avec tous les types alpha, beta, gamme, etc, et on propage des contraintes
en pratique,
let h x y z =(x y)(y z);;
tu vois...
la détermination se fait par inférence... en gros, on démarre avec tous les types alpha, beta, gamme, etc, et on propage des contraintes
en pratique,
let h x y z =(x y)(y z);;
tu vois...
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.