language à typage fort beaucoup plus fort et contraint que le C ou le C++. Il permet également de faire appel à des formes de polymorphismes plus variées qu'avec d'autres langages de programmation.
Pour ce qui est des gens qui développent en (O)Caml, il sont encore peu nombreux, mais ça arrive tout doucement...
OCaml est un langage relativement jeune, il faut lui laisser le temps...
A noter que OCaml est utilisé pour Coq un outil de preuve de programme qui peut être bien utilie lorsqu'il s'agit de prouver qu'un module ne provoquera pas le crash d'un avion.
[^] # Re: Le problème est très simple
Posté par Thomas MARTIN . En réponse à la dépêche Le gouvernement incite les chercheurs à tenter de breveter les logiciels. Évalué à 1.
Pour ce qui est des gens qui développent en (O)Caml, il sont encore peu nombreux, mais ça arrive tout doucement...
OCaml est un langage relativement jeune, il faut lui laisser le temps...
A noter que OCaml est utilisé pour Coq un outil de preuve de programme qui peut être bien utilie lorsqu'il s'agit de prouver qu'un module ne provoquera pas le crash d'un avion.