• [^] # Re: typage statique automatique ?

    Posté par . En réponse au journal Typage statique pour Python. Évalué à 1.

    Tu n'a pas besoin de suivre une interface, tu as juste les bonnes méthodes. C'est très différent, parce que ça te permet de ne pas avoir à modifier le type que tu utilise pour utiliser la méthode en question.

    Je ne comprends pas ce que tu veux dire ... Il faut bien un jour dire comment traiter cet objet non ? En tout cas en haskell, il existe une « classe » Num (qui est plutôt une interface en fait), et tu peux dire que n'importe quel type est un Num du moment qu'un certain nombre de fonctions de base sont définies ... pour ce type particulier.

    En pratique :

    data MonSuperType = Vide
    instance Num MonSuperType where
     (+) Vide Vide = Vide
     (-) Vide Vide = Vide 
     ... -- autres fonctions