A origem de "um método deve retornar um valor ou ter efeitos colaterais, mas não ambos"

Li uma vez que um método deveria ter um valor de retorno (e ser referencialmente transparente) ou ter efeitos colaterais, mas não ambos. Não consigo encontrar referências a esta regra, mas quero aprender mais sobre ela.

Qual é a origem deste conselho? De que pessoa ou comunidade surgiu?

Crédito extra: qual é o benefício reivindicado de seguir este conselho?

Segundo Greg Young, essa idéia se originou da separação de Bertrand Meyer : Command-Query .

Ele afirma que todo método deve ser um comando que executa uma ação ou uma consulta que retorna dados ao chamador, mas não os dois. Em outras palavras, fazer uma pergunta não deve alterar a resposta . ¹ Mais formalmente, os métodos devem retornar um valor apenas se forem referencialmente transparentes e, portanto, não apresentarem efeitos colaterais.

1: Eiffel: um idioma para a engenharia de software slide 43-48

No Design Orientado a Domínio, isso é semelhante à Separação / Segregação de Leitura de Comando-Consulta (CQRS), conforme nomeado por Greg Young.

Greg Young levou a idéia do CQS de Bertrand para nomear o CQRS, como mencionado por Martin Fowler neste artigo do CQRS

Benefícios

• A parte Read (Query) pode ser dimensionada / aprimorada de forma diferente da parte Write (comando). Separar os dois impediria que se atrapalhassem quando a otimização / desempenho fosse essencial.

Leia o artigo no link Martin Fowler para obter mais informações.

Não sei de onde vem, mas é um bom conselho e é bastante simples de entender.

Qualquer programa elaborado com cuidado será dividido em várias partes, combinadas e compostas de várias maneiras. Quanto mais difícil for o raciocínio sobre o que qualquer parte em particular faz, mais difícil será garantir que seu programa reaja de maneira previsível.

Isolar as partes que produzem efeitos colaterais facilita o raciocínio, o teste e a depuração do restante. Reduzir o número de efeitos colaterais em cada parte que gera um efeito colateral facilitará o trabalho da parte da mesma maneira.

Se você decompô-lo ainda mais, um valor de retorno é um efeito. Efeitos colaterais são um efeito. Uma função deve produzir apenas 1 efeito (se possível) porque, quanto maior o número de entradas e efeitos que uma função tiver, maior será a dificuldade de raciocinar sobre o que realmente faz.

Crédito extra: Qual é o benefício originalmente reivindicado de seguir este conselho?

Um dos benefícios de separar o valor de retorno dos efeitos colaterais é que ele remove um problema em potencial que pode ser causado pela avaliação de curto-circuito .

bool FooWithSideEffect() {
    // do query
    // do side effect
    return resultOfQuery;
}

bool BarWithSideEffect() {
    // do query
    // do side effect
    return resultOfQuery;
}

void BadShortCircuitEvaluation()
{
    // the programmer's intent is to have side effects of both functions
    if (FooWithSideEffect() && BarWithSideEffect() ) {
        // do something
    }

    // in case FooWithSideEffect() returns true, 
    // then BarWithSideEffect() is not called at all
    // because of short-circuit evaluation
}