De onde vem a função Haskell `seq`?

Entendo que isso seqé usado para melhorar o desempenho, evitando a preguiça desnecessária. Eu só quero saber de onde o nome é derivado? É de "sequência" ou "sequencial"? E como o nome está relacionado à avaliação rigorosa?

Vem do ponto de sequência . Esse é um conceito bem conhecido em C e, de fato, bastante semelhante ao seqoperador em Haskell: todo cálculo à esquerda deve ser feito antes de qualquer cálculo à direita .

Obviamente, Haskell seqé um pouco menos exigente do que isso: apenas solicita que a coisa à esquerda seja avaliada para uma forma normal de cabeça fraca antes que o resultado à direita seja avaliado. E isso realmente não garante nenhuma ordem de avaliação específica ^† , apenas que, se a expressão à esquerda for ⊥, a expressão à direita não deverá ser avaliada.

Veja pseqou deepseqalternativas mais fortes, que se aproximam do que C chama de pontos de sequência.

^† _{Na verdade, os pontos de sequência C ou C ++ também não garantem a ordem de computação, apenas que quaisquer efeitos colaterais estejam na ordem correta. Mas, em C, os efeitos colaterais são onipresentes; portanto, além das otimizações de baixo nível, você geralmente pode assumir que a ordem dos pontos de sequência será mantida, enquanto o GHC de fato jogará seqfora se souber que as expressões não divergem.}