• [^] # Re: Utilisation d'OCaml dans l'industrie

    Posté par . En réponse à la dépêche Ocsigen : repenser le développement des applications HTML5. Évalué à 2.

    Si je cite les logiciels de l'avionique, c'est justement parce qu'ils présentent deux caractéristiques spécifiques: comme ils font des analyses sur le code pour vérifier qu'il n'y a pas d'erreur dedans, ils traitent (1) des quantités de données importantes (des programmes et les propriétés mathématiques qui en dérivent) (2) avec des algorithmes extrêmement compliqués.

    S'ils choisissent OCaml, c'est que c'est l'un des seuls langages à répondre à ces deux problèmes :
    - le runtime est optimisé pour traiter de grosses quantités de données en mémoire (la représentation des données est beaucoup plus compacte qu'en Java ou Python)
    - le compilateur génère du code natif efficace
    - une fois que le typeur est passé sur le programme, on peut se concentrer sur les seuls bugs qui pourraient rester.

    Tous les programmeurs n'ont pas besoin de passer à OCaml. Mais s'ils veulent s'investir dans un projet important et exigeant, c'est le langage à choisir…