Коли / чому я повинен використовувати прогн?

Я бачив, що prognвін використовується досить багато під час перегляду файлів конфігурації досвідчених користувачів Emacs. Я знайшов це приємне поясненняprogn , але що мені дуже цікаво, в чому полягає користь від використання цієї функції? Візьмемо для прикладу цей фрагмент (узятий із конфігурації 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)))

Чи є якась велика різниця між наведеною конфігурацією та цією?

(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))

Я відчуваю, що перший приклад якимось чистішим, хоча він має більше синтаксису, і моя інтуїція полягає в тому, що від використання може бути якесь підвищення продуктивності progn, але я не впевнений. Дякую за будь-яку інформацію!

prognзазвичай використовується при роботі з макросами. Деякі макроси ( use-packageце макрос, востаннє я перевірив) приймають лише 1 форму , де інші споживають усі форми, що залишилися .

progn використовується в першому випадку для перетворення послідовності форм в єдину форму.

У ваших прикладах використовується перший prognі, таким чином, є 1 форма після :config. У другій - 3 форми . Якщо use-packageмакрос очікує наступної форми 1 :config, це призведе до помилки.

Варто зауважити, що використання prognробіт в обох випадках, а опускання працює, лише якщо макрос приймає кілька форм. Внаслідок цього деякі люди вважають за краще просто завжди використовувати progn, тому що це завжди буде працювати.

Найважливіша причина прогн. Описана в першому рядку прогн. Документації (наголос додано):

progn - це спеціальна форма, яка змушує оцінювати послідовно кожен з його аргументів, а потім повертає значення останнього.

Додаток:

Без розголосу не гарантується послідовність, особливо якщо наступні вирази залежать від побічних ефектів або зворотних значень попередніх виразів. progn примушує послідовність виконання те саме, що і текстова послідовність. Допомагає не плутати виконання з розбором. Така поведінка сходить до основ структури керування Lisp та функціонального програмування. Ось уривок (наголос додано) з довідкового посібника Lisp :

Вбудовані структури управління - це спеціальні форми, оскільки їх підформи не обов'язково оцінюють або не оцінюють послідовно .

Є чи progn підвищити продуктивність?

Розбіжна ефективність, немає. Виконання виконання, немає. У кращому випадку це може дорівнювати, але ніколи не збільшувати продуктивність.

Коли progn використовується ?

... найчастіше всередині, що захищається, і, або , або в тодішній частині if .

Кращий спосіб зрозуміти, що prognтаке, порівнюючи це з сім'єю: prog1і prog2. nАбо 1чи 2частину імені виступає за утвердження зі списку, результат якого вас цікавить. Іншими словами, prognповертає результат останнього твердження він містить, в той час як prog1повертатиме перший, і аналогічно для prog2.

Сьогодні ця функціональність здається трохи незручною, оскільки ми навчимося або очікувати, що програма повернеться в останньому операторі, або чітко вкажемо, що потрібно повернути. Таким чином prog1і prog2дуже рідко використовуються. Однак якщо ви задумаєтесь, це має сенс, і ось як:

Різні мови програмування використовують різні стратегії для опису своєї семантики. Сім'я Лісп була тісно пов'язана з денотаційною семантикою. Не вникаючи в деталі, цей вид семантики має особливі труднощі з тим, що ми зросли, щоб зрозуміти як "твердження", які не є "виразами". Значення коду, як правило, розглядаються як комбінації функцій, тоді як "твердження", яке навіть не можна охарактеризувати як функцію (оскільки воно ні до чого не оцінює), важко розібратися. Однак, оскільки Лісп допускає побічні ефекти, іноді програміст бажає використовувати вираз, не використовуючи його значення таким чином, що це не впливає на вираження, що слідує за ним. І ось сюди progXзаходить родина.

У мовах, подібних С, ця функція іноді називається точкою послідовності (тобто , ;і ,, наприклад). prognдля мов, які нагадують Lisp, так само важливо, як ;і для С-подібних мов. Це основна особливість мови, яку неможливо легко замінити. Однак, на відміну від мов у стилі С, Лісп схильний будувати синтаксичні абстракції, повністю приховуючи синтаксис нижнього рівня. І це, можливо, чому ви не бачите, що prognвикористовується все так часто, але це один з важливих складових, коли мова йде про побудову мовних абстракцій вищого рівня (sa macros).