• [^] # Re: Ada et sécurité

    Posté par (site web personnel, Mastodon) . En réponse à la dépêche Make with Ada deuxième édition. Évalué à 2.

    Les différences :

    • Ada n'est pas autant multi-paradigme que peut l'être OCaml. On fait soit de l'impératif, soit de l'objet mais pas de fonctionnel
    • Ada ne fait pas d'inférence de types (et encore moins d'autoboxing si on veut comparer à Java
    • Ada est un langage normalisé par l'ISO sous la référence ISO/IEC 8652:2012(E) dont la norme est libre d'accès

    Les atouts :

    • Le langage contient déjà énormément de choses comme je l'ai déjà écrit plus haut
    • Il est multi-plateforme car la norme ne tient pas compte des différences d'architecture. Cependant comme c'est un langage natif compilé, il faut obligatoirement un compilateur pour la plateforme cible

    Pour les points communs, je ne peux pas dire, je ne connais pas OCaml.