• [^] # Re: ...da sur mon bidet

    Posté par (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 1.

    Non, à priori, il y a des trous dans le système de type d'Eiffel, principalement à cause de la covariance, il me semble.

    Il faudrait poser la question à D. Colnet, il saurait peut être mieux nous expliquer où sont ces éventuels trous

    « Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker