Compreensão de lista

Uma compreensão de lista é uma construção sintática disponível em algumas linguagens de programação para criação de uma lista baseada em listas existentes. Ela segue a forma da notação de definição de conjunto matemática (compreensão de conjunto) como forma distinta para uso de funções de mapa e filtro.

Visão geral

Considere o seguinte exemplo na notação de definição de conjunto:

$S=\{\,2\cdot x\mid x\in \mathbb {N} ,\ x^{2}>3\,\}$

Isto pode ser lido, "$S$ é o conjunto de todos os números "2 vezes $x$" onde $x$ é um item no conjunto dos números naturais ($\mathbb {N}$), pelo qual $x$ ao quadrado é maior que $3$."

Nesta versão anotada do exemplo:

$S=\{\,\underbrace {2\cdot x} _{\color {Violet}{\text{função de saída}}}\mid \underbrace {x} _{\color {Violet}{\text{variável}}}\in \underbrace {\mathbb {N} } _{\color {Violet}{\text{conjunto de entrada}}},\ \underbrace {x^{2}>3} _{\color {Violet}{\text{predicado}}}\,\}$

• $x$ é a variável que representa os membros de um conjunto de entrada
• $\mathbb {N}$ representa o conjunto de entrada, que neste exemplo é o conjunto dos números naturais
• $x^{2}>3$ é uma função predicado que age como um filtro nos membros do conjunto de entrada
• $2\cdot x$ é uma função de saída que produz membros do novo conjunto de membros do conjunto de entrada que satisfaz a função predicado
• $\{\}$ colchetes contém a expressão
• $\mid$ $,$ a barra vertical e a vírgula são separadores

As primeiras referências encontradas em linguagens sobre a notação de lista de compreensão foram por Rod Burstall e John Darlingtons em 1977 na NPL, mas já havia construtores similares na SETL.

Exemplos em diferentes linguagens de programação

As subseções a seguir fornecem alguns exemplos de sintaxe específica usada nas linguagens de programação.

Apesar do exemplo original denotar uma lista, algumas linguagens podem expressar que, assim em alguns daqueles casos mostramos como retirar um subconjunto de $\{0,1,...,100\}$ em vez de um subconjunto de $\mathbb {N}$.

Haskell

Mais informações: Haskell (linguagem de programação)

Podem ser também escritas com funções de alto-nível como map e filter. No mesmo acima, a notação S pode ser escrita como:

s = [ 2*x | x <- [0..], x^2 > 3 ]

Python

Mais informações: [[:Sintaxe e semântica de Python: Geradores]]

A linguagem de programação Python possui uma sintaxe correspondente para expressar compreensões de lista. O equivalente próximo em Python para o exemplo acima está a seguir:

S = [2 * x for x in range(101) if x ** 2 > 3]

Compreensões de lista foram introduzidos na versão 2.0 do Python.

O generator foi introduzido a partir do Python 2.4. Então a notação S usando geradores para iterar listas infinitas pode ser:

from itertools import count
S = (x for x in count() if x**2 > 3)

Ver também

• Generator é outro exemplo de processamento de valores.
• Design pattern de software

Referências

• List Comprehensionno Dicionário Livre de Computação, Editor Denis Howe.
• Philip Wadler [1] Comprehensions.

Haskell

• The Haskell 98 Report, chapter 3.11 List Comprehensions.
• The Glorious Glasgow Haskell Compilation System User's Guide, chapter 7.3.4 Parallel List Comprehensions.
• The Hugs 98 User's Guide, chapter 5.1.2 Parallel list comprehensions (a.k.a. zip-comprehensions).

Python

• Python Reference Manual, capítulo 5.2.4 List displays.
• PEP 202: List Comprehensions
• Python Reference Manual, chapter 5.2.5 Generator expressions.
• PEP 289: Generator Expressions

Common Lisp

• Implementation of a Lisp comprehension macroby Guy Lapalme

Axiom

• Axiom exemplos