Bonjour à tous,
je cherche à créer un type représentant un 'a vector tel que deux vecteurs de dimensions différentes soient de type différent. J'ai fait quelques recherches et suis tombé sur cet article qui traite du problème en Haskel.

Je n'ai pas réussi à transcrire la solution à Caml . Je demande donc un petit coup de pouce. Merci.