L'interface à une type abstrait est fonctionnelle si les opérations n'ont pas d'effets de bord. En particulier, si le type abstrait est un