• [^] # Re: typage strict

    Posté par (site web personnel) . En réponse à la dépêche Sortie de Rust en version 0.3. Évalué à 4. 

    "Le but du C n'a jamais été de faciliter l'écriture de code certifié."

    Ada n'ont plus. C'était juste une tentative d'uniformisation des langages utilisés par le DoD de mémoire.

    Il y a infiniment plus de code certifié en C qu'en Ada (je pense même qu'il y a plus de code certifié en Scade qu'en Ada).

    "La première sécurité est la liberté"