List comprehension (em português, lista de compreensão) é um construtor de processamento de listas em linguagem de programação, a notação matemática é a sequinte:

Por exemplo, em linguagem Haskell a sintaxe das lista de compreensão pode ser escrita:

na lista representa N, e x^2>3 representa a condição.

As primeias 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á haviam construtores similares na SETL.

Em Haskell, list comprehensions 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:

Em Python também há o conceito de list comprehensions. Um esboço da notação S:

O generator foi introduzido apartir 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)

Haskell:

Python:

Common Lisp:

Axiom: