Tiens, je crois (je suis même presque sûr) que OCaml permet cela. D'ailleur, il me semble que s'est en partie pour permettre la compilation indépendante de modules que Xavier Leroys y a inclue la notion de "spécification de type manifeste". Il faudrait que je regarde d'un peu plus près (en tout cas, les module en OCaml, c'est un vrai bonheur).
[^] # Re: Une release importante
Posté par Fanf . En réponse à la dépêche Sortie de GCC 3.4.0. Évalué à 1.