-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. Moi je suis occupé pendant au moins la majorité de cet après-midi et Jean-Yves est absent, mais la deadline est proche ... Je vous réponds maintenant même si je n'ai pas compris les détails de votre problème. Je vous donne une suggestion pour laquelle Jean-Yves va m'haïr :-). Je ne sais pas si c'est la solution correcte dans ce cas ; probablement *non*, mais je n'ai pas compri exactement votre problème, donc je ne peux pas juger. Il y a une fonction pré-définie très dangereuse, dont l'utilisation est considérée très lourde. La fonction s'appelle Obj.magic, calcule la fonction identité et a le type : Obj.magic : 'a -> 'b C'est-à-dire, la fonction prend un objet et retourne le même objet, mais avec un nouveau type. Naturellement en utilisant ça vous perdez tous les garanties du système de type : en particulier, utiliser Obj.magic est la seule façon d'obtenir une erreur «segmentation fault» en OCaml. Les utilisateurs experts utilisent Obj.magic pour contourner les restrictions du système de type, lorsque ils sont sûrs que leur programme est correcte même s'il est refusé par le compilateur. Si l'utilisateur a raison, tout va bien. Si l'utilisateur a tort, il peut y avoir des plantages ou des erreur imprévues. Utiliser Obj.magic quand elle n'est pas indispensable est symptôme d'un très mauvais style, et en général Obj.magic n'est pas une bonne façon d'obtenir des «logiciel sûrs» ; mais parfois les vrais hommes et le vraies femmes considèrent l'expressivité plus importante que les garanties de correction. - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk1GmaQACgkQvzOavibF0oZ+jQCfeOVn2x/dnh8ZCXrLH9YmLAE4 zqwAn2swX/uf3s1fL/syG/DnrdrpkX1E =p5HS -----END PGP SIGNATURE-----