Une récursivité profonde peut déborder de la pile. tailrec marque une fonction dont l'appel récursif est en position de queue — le compilateur la réécrit dans une boucle. La fonction doit s'appeler directement comme dernière opération (éventuellement à l'intérieur de if/else). La récursivité mutuelle n'est pas tailrec.