Disons qu'OCaml pousse ça beaucoup plus loin que la plupart des autres langages compilés. Les types d'OCaml sont beaucoup plus riches donc peuvent vérifier plus de propriétés du programme. Par exemple Ocsigen va même jusqu'à vérifier que le programme ne peut pas générer de pages non conforme ! En gros il ne te laissera même pas exécuter le programme tant qu'il y a une possibilité d'échouer sur ce que tu lui as demandé de vérifier.
C'est très strict, mais dès que le programme devient gros tu évites d'avoir une usine à gaz. Je dirais que pour un petit programme un langage de script est souvent suffisant mais pour un programme un peu complexe, OCaml t'apporte beaucoup.
[^] # Re: Précisions sur la facilité de maintenance?
Posté par Vincent Balat . En réponse à la dépêche Ocsigen : repenser le développement des applications HTML5. Évalué à 5.
Disons qu'OCaml pousse ça beaucoup plus loin que la plupart des autres langages compilés. Les types d'OCaml sont beaucoup plus riches donc peuvent vérifier plus de propriétés du programme. Par exemple Ocsigen va même jusqu'à vérifier que le programme ne peut pas générer de pages non conforme ! En gros il ne te laissera même pas exécuter le programme tant qu'il y a une possibilité d'échouer sur ce que tu lui as demandé de vérifier.
C'est très strict, mais dès que le programme devient gros tu évites d'avoir une usine à gaz. Je dirais que pour un petit programme un langage de script est souvent suffisant mais pour un programme un peu complexe, OCaml t'apporte beaucoup.