O que reticências […] significam em uma lista?

Eu estava brincando em python. Eu usei o seguinte código no IDLE:

p  = [1, 2]
p[1:1] = [p]
print p

A saída foi:

[1, [...], 2]

O que é isso […]? Curiosamente, agora eu poderia usar isso como uma lista de lista de lista até o infinito, ou seja

p[1][1][1]....

Eu poderia escrever o texto acima contanto que quisesse e ainda funcionasse.

EDITAR:

• Como é representado na memória?
• Qual é o seu uso? Exemplos de alguns casos em que é útil seriam úteis.
• Qualquer link para a documentação oficial seria realmente útil.

Isso significa que você criou uma lista infinita aninhada dentro de si mesma, que não pode ser impressa. pcontém o pque contém p... e assim por diante. A [...]notação é uma maneira de informá-lo e informar que ela não pode ser representada! Dê uma olhada na resposta do @ 6502 para ver uma bela imagem mostrando o que está acontecendo.

Agora, sobre os três novos itens após a sua edição:

• Esta resposta parece cobri-lo
• O link de Ignacio descreve alguns usos possíveis
• Este é mais um tópico do design da estrutura de dados do que linguagens de programação, portanto, é improvável que qualquer referência seja encontrada na documentação oficial do Python.

Isto é o que seu código criou

É uma lista em que o primeiro e o último elementos estão apontando para dois números (1 e 2) e onde o elemento do meio está apontando para a própria lista.

No Common Lisp, quando a impressão de estruturas circulares está ativada, esse objeto seria impresso como

#1=#(1 #1# 2)

significando que existe um objeto (rotulado com 1 #1=) que é um vetor com três elementos, o segundo sendo o próprio objeto (com referência anterior #1#).

Em Python, você obtém as informações com as quais a estrutura é circular [...].

Nesse caso específico, a descrição não é ambígua (está apontando para trás para uma lista, mas há apenas uma lista, portanto deve ser essa). Em outros casos, pode ser ambíguo ... por exemplo, em

[1, [2, [...], 3]]

a referência anterior pode apontar para a lista externa ou interna. Essas duas estruturas diferentes impressas da mesma maneira podem ser criadas com

x = [1, [2, 3]]
x[1][1:1] = [x[1]]

y = [1, [2, 3]]
y[1][1:1] = [y]

print(x)
print(y)

e eles estariam na memória como

Para a pergunta "Qual é o seu uso", aqui está um exemplo concreto.

A redução de gráfico é uma estratégia de avaliação usada em algum momento para interpretar uma linguagem de computador. Essa é uma estratégia comum para avaliação lenta, principalmente de linguagens funcionais.

O ponto de partida é criar um gráfico representando a sequência de "etapas" que o programa executará. Dependendo das estruturas de controle usadas no programa, isso pode levar a um gráfico cíclico (porque o programa contém algum tipo de loop "para sempre" - ou usa uma recursão cuja "profundidade" será conhecida no momento da avaliação , mas não no gráfico. hora de criação ) ...

Para representar esse gráfico, você precisa de "estruturas de dados" infinitas (às vezes chamadas de estruturas de dados recursivas ), como a que você notou. Geralmente, um pouco mais complexo.

Se você estiver interessado nesse tópico, aqui está (entre muitos outros) uma palestra sobre esse assunto:
http://undergraduate.csse.uwa.edu.au/units/CITS3211/lectureNotes/14.pdf

Fazemos isso o tempo todo na programação orientada a objetos. Se dois objetos se referirem um ao outro, direta ou indiretamente, eles são estruturas infinitamente recursivas (ou ambas fazem parte da mesma estrutura infinitamente recursiva, dependendo de como você olha para ele). É por isso que você não vê isso em algo tão primitivo quanto uma lista - porque geralmente é melhor descrever o conceito como "objetos" interconectados do que uma "lista infinita".

Você também pode obter ...um dicionário infinitamente recursivo. Digamos que você queira um dicionário dos cantos de um triângulo, em que cada valor seja um dicionário dos outros cantos conectados a esse canto. Você pode configurá-lo assim:

a = {}
b = {}
c = {}
triangle = {"a": a, "b": b, "c": c}
a["b"] = b
a["c"] = c
b["a"] = a
b["c"] = c
c["a"] = a
c["b"] = b

Agora, se você imprimir triangle(ou aou bou cpara que o assunto), você verá que é cheio de {...}porque nenhum dois cantos nos referindo a volta para o outro.

Como eu entendi, este é um exemplo de ponto fixo

p  = [1, 2]
p[1:1] = [p]
f = lambda x:x[1]
f(p)==p
f(f(p))==p

O nome desse objeto especial é reticências. Eu acho que ele é implementado como um objeto singleton no intérprete / VM do Python - algo como None - um tipo de sentinela. Como você viu, é uma maneira do Python representar a referência de uma lista dentro de si.