Khi nào / tại sao tôi nên sử dụng progn?

Tôi đã thấy prognđược sử dụng khá nhiều khi tôi duyệt các tệp cấu hình của người dùng Emacs có kinh nghiệm. Tôi tìm thấy lời giải thích tốt đẹp nàyprogn , nhưng điều tôi thực sự tò mò là, lợi ích của việc sử dụng chức năng này là gì? Lấy ví dụ đoạn trích này (lấy từ cấu hình của 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)))

Có sự khác biệt lớn giữa cấu hình trên và điều này?

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

Tôi cảm thấy như ví dụ đầu tiên bằng cách nào đó sạch hơn, mặc dù nó có nhiều cú pháp hơn và trực giác của tôi là có thể có một số loại tăng hiệu suất từ ​​việc sử dụng progn, nhưng tôi không chắc chắn. Cảm ơn bạn cho bất kỳ hiểu biết!

prognthường được sử dụng khi xử lý các macro. Một số macro ( use-packagelà macro, tôi đã kiểm tra lần cuối) chỉ chấp nhận 1 biểu mẫu , trong đó các macro khác sử dụng tất cả các biểu mẫu còn lại .

progn được sử dụng trong trường hợp trước để biến một chuỗi các biểu mẫu thành một dạng duy nhất.

Trong ví dụ của bạn, cái đầu tiên sử dụng prognvà do đó có 1 mẫu sau :config. Trong lần thứ hai, có 3 hình thức . Nếu use-packagemacro chỉ mong đợi 1 hình thức sau :config, thì nó sẽ gây ra lỗi.

Điều đáng chú ý là việc sử dụng progncác tác phẩm trong cả hai trường hợp, trong khi bỏ qua nó chỉ hoạt động nếu macro chấp nhận nhiều hình thức. Do đó, một số người thích đơn giản là luôn luôn sử dụng progn, bởi vì nó sẽ luôn hoạt động.

Lý do quan trọng nhất đối với progn được mô tả trong dòng đầu tiên của tài liệu progn (nhấn mạnh thêm):

progn là một hình thức đặc biệt làm cho mỗi đối số của nó được đánh giá theo trình tự và sau đó trả về giá trị của đối số cuối cùng.

Phụ lục:

Nếu không có progn , chuỗi không được bảo đảm, đặc biệt là nếu biểu thức tiếp theo phụ thuộc vào các tác dụng phụ hoặc các giá trị trở lại của biểu thức trước. progn thi hành trình tự thực hiện giống như trình tự văn bản. Giúp không nhầm lẫn thực hiện với phân tích cú pháp. Hành vi này quay trở lại các nguyên tắc cơ bản của cấu trúc điều khiển lisp và lập trình chức năng. Đây là một đoạn trích (nhấn mạnh thêm) từ hướng dẫn tham khảo lisp :

Các cấu trúc điều khiển tích hợp là các dạng đặc biệt do các biểu mẫu con của chúng không nhất thiết phải được đánh giá hoặc không được đánh giá tuần tự .

Liệu progn tăng hiệu suất?

Hiệu suất phân tích cú pháp, không. Hiệu suất thực hiện, không. Tốt nhất nó có thể bằng nhưng không bao giờ kỳ diệu tăng hiệu suất.

Khi nào progn được sử dụng ?

... Thường xuyên nhất là trong một thư giãn-bảo vệ, và, hoặc , trong phần sau đó của nếu .

Một cách tốt hơn để hiểu những gì prognlà bằng cách so sánh nó với gia đình: prog1và prog2. Các nhoặc 1hoặc 2một phần của tên viết tắt của tuyên bố từ danh sách có kết quả mà bạn đang quan tâm. Nói cách khác, prognsẽ trả về kết quả của báo cáo kết quả cuối cùng nó chứa, trong khi đó prog1sẽ trở lại là người đầu tiên, và tương tự cho prog2.

Ngày nay, chức năng này có vẻ hơi khó xử vì chúng ta học cách mong đợi chương trình quay trở lại trong câu lệnh cuối cùng hoặc hướng dẫn nó một cách rõ ràng những gì sẽ trả về. Vì vậy prog1và prog2rất hiếm khi được sử dụng. Tuy nhiên, nếu bạn nghĩ về nó, nó có ý nghĩa, và đây là cách:

Các ngôn ngữ lập trình khác nhau sử dụng các chiến lược khác nhau để mô tả ngữ nghĩa của chúng. Gia đình Lisp đã từng gắn chặt với ngữ nghĩa học. Không đi sâu vào chi tiết, loại ngữ nghĩa này gặp khó khăn đặc biệt với thứ mà chúng ta đã biết là "tuyên bố", không phải là "biểu thức". Ý nghĩa của mã thường được nghĩ theo các cách kết hợp chức năng, trong khi một "câu lệnh" thậm chí không thể được mô tả như là một hàm (vì nó không đánh giá được bất cứ điều gì) vì vậy rất khó đối phó. Tuy nhiên, vì Lisp cho phép các hiệu ứng phụ, đôi khi một lập trình viên muốn sử dụng một biểu thức mà không sử dụng giá trị của nó theo cách mà nó không ảnh hưởng đến biểu thức theo sau nó. Và đây là nơi progXgia đình đến.

Trong các ngôn ngữ giống như C, tính năng này đôi khi được gọi là điểm thứ tự (ví dụ ;và ,ví dụ). prognlà điều cần thiết cho các ngôn ngữ giống Lisp cũng như các ngôn ngữ giống như ;C. Đó là một tính năng cơ bản của ngôn ngữ mà người ta không thể dễ dàng thay thế. Tuy nhiên, không giống như trong các ngôn ngữ kiểu C, Lisp có xu hướng xây dựng trừu tượng cú pháp bằng cách ẩn hoàn toàn cú pháp của cấp độ thấp hơn. Và đây có lẽ là lý do tại sao bạn không thấy prognđược sử dụng thường xuyên, nhưng nó là một trong những khối xây dựng quan trọng, khi nói đến việc xây dựng trừu tượng ngôn ngữ cấp cao hơn (sa macro).