On Friday 30 September 2005 11:41, JM Nunes wrote: > Si l'on parle du même sujet, et si nous sommes d'accord sur ce que sont > les types, alors il est force de conclure que le typage de Ocaml est > plus fort que celui de Python ou C. Ce qui ne veut pas dire qu'un > langage fortement typé est toujours préférable, juste qu'il est plus > strict dans la vérification des types.
Il existe un langage encore plus fortement type qu'Ocaml.... Je vous laisse deviner ou je vous le donne tout de suite ? Il s'agit d'un langage qui a enormement fait parle de lui lors du passage a l'an 2000 et dont les racines remontent a la premiere moitie des annees 60. Il est evident que l'on ne va trouver aucun volontaire pour programmer dans ce langage hyper-type. D'ailleurs, je n'ai jamais vu de compilateur (ni d'interpreteur !) pour ce langage sous Linux :-) dc _______________________________________________ gull mailing list [email protected] http://lists.alphanet.ch/mailman/listinfo/gull
