Quando / por que devo usar o progn?

Eu tenho visto prognbastante uso enquanto navego nos arquivos de configuração de usuários experientes do Emacs. Encontrei essa boa explicação deprogn , mas o que realmente me interessa é: qual é o benefício de usar essa função? Tomemos, por exemplo, este trecho (retirado da configuração do Sacha Chua ):

(use-package undo-tree
  :defer t
  :ensure t
  :diminish undo-tree-mode
  :config
  (progn
    (global-undo-tree-mode)
    (setq undo-tree-visualizer-timestamps t)
    (setq undo-tree-visualizer-diff t)))

Existe alguma diferença importante entre a configuração acima e essa?

(use-package undo-tree
  :defer t
  :ensure t
  :diminish undo-tree-mode
  :config
  (global-undo-tree-mode)
  (setq undo-tree-visualizer-timestamps t)
  (setq undo-tree-visualizer-diff t))

Eu sinto que o primeiro exemplo é de alguma forma mais limpo, embora tenha mais sintaxe, e minha intuição é que pode haver algum tipo de aumento de desempenho no uso progn, mas não tenho certeza. Obrigado por qualquer insight!

progné normalmente usado ao lidar com macros. Algumas macros ( use-packageuma macro, verifiquei pela última vez) aceitam apenas 1 formulário , enquanto outras consomem todos os formulários restantes .

progn é usado no primeiro caso para transformar uma sequência de formulários em um único formulário.

Nos seus exemplos, o primeiro usa progne, portanto, existe 1 formulário depois :config. No segundo, existem três formas . Se a use-packagemacro espera apenas 1 formulário a seguir :config, isso causará um erro.

Vale ressaltar que o uso de prognobras nos dois casos, enquanto a omissão só funciona se a macro aceitar vários formulários. Como resultado disso, algumas pessoas preferem simplesmente usar sempre progn, porque sempre funcionará.

O motivo mais importante para o progn é descrito na primeira linha da documentação do progn (ênfase adicionada):

progn é uma forma especial que faz com que cada um de seus argumentos seja avaliado em sequência e, em seguida, retorna o valor do último.

Termo aditivo:

Sem progn , a sequência não é garantida, especialmente se expressões subsequentes dependem dos efeitos colaterais ou retornam valores das expressões anteriores. progn força a sequência de execução da mesma forma que a sequência textual. Ajuda a não confundir execução com análise. Esse comportamento remonta aos fundamentos das estruturas de controle lisp e da programação funcional. Aqui está um trecho (ênfase adicionada) do manual de referência lisp :

As estruturas de controle internas são formas especiais, pois seus subformulários não são necessariamente avaliados ou avaliados seqüencialmente .

O progn melhora o desempenho?

Análise de desempenho, não. Desempenho de execução, não. Na melhor das hipóteses, pode ser igual, mas nunca aumentar magicamente o desempenho.

Quando o progn é usado ?

... na maioria das vezes dentro de uma proteção contra desenrolar e, ou , ou na parte então de um if .

Uma maneira melhor de entender o que progné é comparando-o com a família: prog1e prog2. A nou 1ou 2parte do nome significa a afirmação da lista cujo resultado você está interessado. Em outras palavras, prognirá devolver o resultado da última declaração que contém, enquanto que prog1irá retornar o primeiro, e semelhante para prog2.

Hoje, essa funcionalidade parece um pouco estranha, pois aprendemos a esperar que o programa retorne na última instrução ou a instruí-lo explicitamente sobre o que retornar. Assim prog1e prog2raramente são usados. No entanto, se você pensar sobre isso, faz sentido, e aqui está como:

Diferentes linguagens de programação usam estratégias diferentes para descrever sua semântica. A família Lisp costumava estar intimamente ligada à semântica denotacional. Sem entrar em muitos detalhes, esse tipo de semântica tem uma dificuldade particular com algo que passamos a conhecer como "declarações", que não são "expressões". Os significados do código são tipicamente pensados ​​em termos de combinações de funções, enquanto uma "declaração" que nem sequer pode ser descrita como uma função (já que não avalia nada) é, portanto, difícil de lidar. No entanto, como o Lisp permite efeitos colaterais, algumas vezes um programador gostaria de usar uma expressão sem usar seu valor de uma maneira que não afete a expressão que a segue. E é aí que a progXfamília entra.

Em idiomas do tipo C, esse recurso às vezes é conhecido como ponto de sequência ( por exemplo, ;e ,por exemplo). progné tão essencial para idiomas do tipo Lisp quanto ;para idiomas do tipo C. É uma característica fundamental do idioma que não se pode substituir facilmente. No entanto, diferentemente das linguagens de estilo C, o Lisp tende a criar abstrações sintáticas ao ocultar completamente a sintaxe do nível inferior. E talvez por isso você não seja prognusado com tanta frequência, ainda assim, é um dos blocos de construção importantes quando se trata de criar abstrações de linguagem de nível superior (em macros).