Une séquence impérative est une séquence avec une interface impérative, où par conséquent, les opérations d'insertion et de suppression doivent modifier la séquence passée en argument.
Il est possible d'implémenter une séquence fonctionnelle sous la forme de liste chaînée, mais afin de préserver l'identité de la séquence lors d'une insertion ou d'une suppression en début de la séquence, il faut introduire un objet en-tête.