Je connais peu Ocaml, mais en ce qui concerne Ada, le language a été à l'origine commandé par le ministère de la défense américain pour permettre de développer des applications 'safe critical' aussi bien dans le domaine de l'embarqué que pour des applications de type 'gros serveurs avec des millions de lignes de code dedans'.
En effet, Ada intègre tout un tas de mécanismes de traitements parallèles, de multitâche très utiles dans l'embarqué, et impose des règles de programmation strictes nécessaires pour de grosses applications.
De nombreux exemples de réalisation peuvent ainsi démontrer ces utilisations : le métro (VAL, la ligne 14 à Paris, etc), l'aviation civile et militaire, les applications médicales montrent l'utilisation d'Ada dans l'embarqué. Du côté grosses applications serveur, on peut citer plusieurs logiciels de gestion d'aéroport (plusieurs millions de lignes de code), les serveurs pour la défense militaire, ou plus fun les serveurs de télévision numérique chez canalsatellite.
[^] # Re: Ada vs Ocaml ?
Posté par gege . En réponse à la dépêche Conclusion du premier concours logiciel libre d'Ada-France. Évalué à 1.
En effet, Ada intègre tout un tas de mécanismes de traitements parallèles, de multitâche très utiles dans l'embarqué, et impose des règles de programmation strictes nécessaires pour de grosses applications.
De nombreux exemples de réalisation peuvent ainsi démontrer ces utilisations : le métro (VAL, la ligne 14 à Paris, etc), l'aviation civile et militaire, les applications médicales montrent l'utilisation d'Ada dans l'embarqué. Du côté grosses applications serveur, on peut citer plusieurs logiciels de gestion d'aéroport (plusieurs millions de lignes de code), les serveurs pour la défense militaire, ou plus fun les serveurs de télévision numérique chez canalsatellite.