Tu pourrais poser la question Jean-Christophe Filliatre qui a réalisé un logiciel de preuve s'appuyant sur COQ, pour C, Java, un un caml simplifié.
Pour en revenir au débat principal, le problème est qu'il faudrait faire adopter caml par les DSI d'une part et les devs d'autres part afin d'éviter qu'il ne se mutinent, et pour cela, il faut commencer dans les écoles. Dans ce cas il va falloir refaire une bonne partie de la formation parce pour être sûr que tous les élèves soient à l'aise en Caml, il va falloir s'accrocher...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Caml
Posté par Ontologia (site web personnel) . En réponse au journal Les ratés historiques de l'informatique française. Évalué à 2.
Pour en revenir au débat principal, le problème est qu'il faudrait faire adopter caml par les DSI d'une part et les devs d'autres part afin d'éviter qu'il ne se mutinent, et pour cela, il faut commencer dans les écoles. Dans ce cas il va falloir refaire une bonne partie de la formation parce pour être sûr que tous les élèves soient à l'aise en Caml, il va falloir s'accrocher...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker