En lisant ce forum, je m'aperçois que beaucoup ne savent pas encore qu'OCaml est sorti depuis longtemps du périmêtre clos des laboratoires, pour être utilisé dans de belles applications industrielles.
Pour avoir créer une entreprise qui fait du support aux entreprises l'utilisant (OCamlPro, http://www.ocamlpro.com/), je connais quelques exemples intéressants:
- Jane Street Capital : ils font 10 milliard de dollars de transactions en bourse par jour… automatiquement, depuis un système quasi-entièrement écrit en OCaml (partis de Visual Basic, ils avaient essayé C#, mais seule la conversion à OCaml a fonctionné, et tourne depuis 7 ans).
- Citrix : ils développent et commercialisent XenServer, utilise OCaml pour l'appli qui contrôle l'hyperviseur dans la VM0. Bref, quand vous gérez votre machine chez Amazon EC2, vous discutez sans le savoir avec une appli OCaml !
- Microsoft : ils distribuent dans leur SDK un analyseur en OCaml, qui détecte certains bugs dans les drivers de périphériques pour Windows. Étonnant pour une entreprise qui dispose, sur .Net, d'une ribambelles d'autres langages de programmation !
- L'industrie avionique : difficile de compter le nombre de logiciels en OCaml utilisés dans cette industrie, où il faut que les logiciels soient rapides tout en restant fiables. Il y a Scade KCG (Esterel Technologies), Frama-C et ses plugins (CEA, Airbus, Atos Origin), Penjili (EADS), Alt-Ergo (utilisé par Airbus et AdaCore), Astrée (AbsInt), et plein d'autres.
Développer en OCaml, c'est aussi facile qu'écrire du Python, mais avec deux différences:
- le compilateur trouve la plupart des erreurs sans avoir en exécuter le programme, ça économise plein de temps de debuggage et de tests
- le compilateur compile vers du code natif, qui tourne presque à la vitesse du C.
Et cerise sur le gateau: Ocsigen fournit un compilateur OCaml vers Javascript qui permet de faire tourner n'importe quel programme OCaml dans un navigateur à pleine vitesse: à tester sur http://try.ocamlpro.com/ !
C'est justement l'un des avantages d'utiliser Ocsigen : le code client est compilé vers Javascript, d'une façon très efficace, tandis que le code serveur est compilé en code assembleur par OCaml, ce qui le rend beaucoup plus efficace que s'il était interprété. Il y a donc des chances que les applis web en Ocsigen soient beaucoup plus rapides que des applis écrites en utilisant des frameworks plus "habituels"…
# Utilisation d'OCaml dans l'industrie
Posté par Fabrice Le Fessant (site web personnel) . En réponse à la dépêche Ocsigen : repenser le développement des applications HTML5. Évalué à 6.
Bravo Séverine pour ton article !
En lisant ce forum, je m'aperçois que beaucoup ne savent pas encore qu'OCaml est sorti depuis longtemps du périmêtre clos des laboratoires, pour être utilisé dans de belles applications industrielles.
Pour avoir créer une entreprise qui fait du support aux entreprises l'utilisant (OCamlPro, http://www.ocamlpro.com/), je connais quelques exemples intéressants:
- Jane Street Capital : ils font 10 milliard de dollars de transactions en bourse par jour… automatiquement, depuis un système quasi-entièrement écrit en OCaml (partis de Visual Basic, ils avaient essayé C#, mais seule la conversion à OCaml a fonctionné, et tourne depuis 7 ans).
- Citrix : ils développent et commercialisent XenServer, utilise OCaml pour l'appli qui contrôle l'hyperviseur dans la VM0. Bref, quand vous gérez votre machine chez Amazon EC2, vous discutez sans le savoir avec une appli OCaml !
- Microsoft : ils distribuent dans leur SDK un analyseur en OCaml, qui détecte certains bugs dans les drivers de périphériques pour Windows. Étonnant pour une entreprise qui dispose, sur .Net, d'une ribambelles d'autres langages de programmation !
- L'industrie avionique : difficile de compter le nombre de logiciels en OCaml utilisés dans cette industrie, où il faut que les logiciels soient rapides tout en restant fiables. Il y a Scade KCG (Esterel Technologies), Frama-C et ses plugins (CEA, Airbus, Atos Origin), Penjili (EADS), Alt-Ergo (utilisé par Airbus et AdaCore), Astrée (AbsInt), et plein d'autres.
Développer en OCaml, c'est aussi facile qu'écrire du Python, mais avec deux différences:
- le compilateur trouve la plupart des erreurs sans avoir en exécuter le programme, ça économise plein de temps de debuggage et de tests
- le compilateur compile vers du code natif, qui tourne presque à la vitesse du C.
Et cerise sur le gateau: Ocsigen fournit un compilateur OCaml vers Javascript qui permet de faire tourner n'importe quel programme OCaml dans un navigateur à pleine vitesse: à tester sur http://try.ocamlpro.com/ !
[^] # Re: vitesse ?
Posté par Fabrice Le Fessant (site web personnel) . En réponse à la dépêche Ocsigen : repenser le développement des applications HTML5. Évalué à 3.
C'est justement l'un des avantages d'utiliser Ocsigen : le code client est compilé vers Javascript, d'une façon très efficace, tandis que le code serveur est compilé en code assembleur par OCaml, ce qui le rend beaucoup plus efficace que s'il était interprété. Il y a donc des chances que les applis web en Ocsigen soient beaucoup plus rapides que des applis écrites en utilisant des frameworks plus "habituels"…