• [^] # vérification des contrats

    Posté par . En réponse à la dépêche SmallEiffel devient SmartEiffel. Évalué à 2.

    J'attend toujours une vérification statique de ces contrats, ça fait partie des trucs dont il a été prouvé que c'est impossible ?

    Est-ce qu'il en fait au moins une partie à la compilation ?