Je pense que ce qu'il veut dire, et que tout les programmeurs OCaml ont expérimenté, c'est que le typage strict d'OCaml, associé aux avertissements en cas de filtrage non exhaustifs (ou le programmeur n'a pas envisagé tous les cas) permet au compilateur de lever des erreurs su beaucoup plus de cas.
Donc en fait si ton code compiles, il a beaucoup moins d'erreurs possibles que ton code C qui compile...
Par ailleurs la programmtion en Caml est souvent plus "sûre" car elle permet de coller de près aux concepts mathématiques. En effet de très nombreux algorithmes sont définis par des récursions, ou par "induction", ce qui se traduit littéralement en Caml...
[^] # Re: Lisibilité et produit de matrices
Posté par MiniMoi . En réponse à la dépêche OCaml 3.10.0 est sorti. Évalué à 1.
Donc en fait si ton code compiles, il a beaucoup moins d'erreurs possibles que ton code C qui compile...
Par ailleurs la programmtion en Caml est souvent plus "sûre" car elle permet de coller de près aux concepts mathématiques. En effet de très nombreux algorithmes sont définis par des récursions, ou par "induction", ce qui se traduit littéralement en Caml...