Tại sao nhiều không gian tên?

Question

Lý do cơ bản đằng sau quyết định thiết kế để có các không gian tên riêng cho các giá trị và hàm trong Common Lisp là gì? Các đối số cho và chống lại nó là gì?

Answer 1

Lisp thông thường về cơ bản là hậu duệ của bản gốc Lisp 1.5, hay đúng hơn là một sự thống nhất các phương ngữ phân tách của nó. Bản gốc Lisp 1.5 là ngày nay được gọi là Lisp-2. Bởi vì nó đã trở lại vào những năm sáu mươi và thực tế là bạn có thể vượt qua các chức năng cho các chức năng khác là đủ kỳ lạ. Không ai có thể nghĩ đến việc cho phép họ chia sẻ cùng một không gian tên. Hầu như bất kỳ ngôn ngữ nào được phát minh ngày nay với sự hỗ trợ cho các hàm bậc cao và các hàm ẩn danh chọn cách tiếp cận không gian tên đơn. Bao gồm Clojure, mà là nếu không gần gũi hơn với Common Lisp hơn để Đề án.

Đề án, như Clojure, ban đầu không phải là một phương ngữ phân biệt từ Lisp 1.5, và cho mục đích của chúng có ý nghĩa. Tất nhiên, trong Clojure, vectơ, bản đồ băm, tập hợp và tất cả cũng có thể được áp dụng cho đối số, do đó, trong một ý nghĩa, một vector trong Clojure có thể được xem như một hàm lấy số tự nhiên và tạo ra một giá trị từ cái đó.

Answer 2

Vui lòng xem giấy của Richard P. Gabriel Technical Issues of Separation in Function Cells and Value Cells để được điều trị đầy đủ về mặt học thuật của chủ đề này.

Answer 3

Tôi thực sự thích có một số không gian tên (thậm chí nhiều hơn hai không gian); nó làm cho mọi thứ dễ dàng hơn cho người sử dụng và trình biên dịch-nhà văn (thực hiện):

CL-USER> (defclass test()()) 
#<STANDARD-CLASS TEST> 
CL-USER> (defun test()) 
TEST 
CL-USER> (defparameter test 42) 
TEST 

CL-USER> (describe 'test) 
COMMON-LISP-USER::TEST 
    [symbol] 

TEST names a special variable: 
    Value: 42 

TEST names a compiled function: 
    Lambda-list:() 
    Derived type: (FUNCTION NIL (VALUES NULL &OPTIONAL)) 
    Source form: 
    (LAMBDA() 
     (DECLARE (MUFFLE-CONDITIONS COMPILER-NOTE)) 
     (PROGN 
     (SB-INT:NAMED-LAMBDA TEST 
      NIL 
     (BLOCK TEST)))) 

TEST names the standard-class #<STANDARD-CLASS TEST>: 
    Direct superclasses: STANDARD-OBJECT 
    No subclasses. 
    Not yet finalized. 
    No direct slots. 

; No value 

CL-USER> (make-instance 'test) 
#<TEST {1005B1D601}> 
CL-USER> (test) 
NIL 
CL-USER> test 
42 
CL-USER> 

Answer 4

Mặc dù có thể có rất nhiều lý lẽ mỗi chiều về mặt lý thuyết, tôi muốn đặt cược rằng nó phần lớn là triết học trong xứ. Đề án, một Lisp-1, thích sự thanh lịch hơn tính thực tiễn, và đã chọn cú pháp define tương tự cho các biến và hàm, làm cho một không gian tên duy nhất cảm thấy tự nhiên (và khuyến khích một kiểu lập trình chức năng). Lisp thường có xu hướng thích tính thực tiễn và sức mạnh hơn sự tao nhã, và là một nỗ lực trong việc xây dựng sự đồng thuận, vì vậy nhìn thấy một giải pháp hai không gian tên hiện có được chấp nhận rộng rãi và hoạt động tốt, chấp nhận nó.

Trên thực tế, tuy nhiên, nó chủ yếu có nghĩa là ba điều:

• Trong Common Lisp (và khác Lisp-2 của), bạn phải sử dụng funcall rất nhiều
• Trong Scheme (và khác Lisp-1), bạn phải cẩn thận không ghi đè tên chức năng cần thiết với các biến; ví dụ. đối số chức năng như lst thay vì list
• Trên Internet, sẽ có lập luận

Đây là một yếu tố quan trọng trong lý do tại sao một số người thích một Lisp khác, tuy nhiên.

Answer 5

Ngoài các vấn đề khác được đề cập ở trên, có một không gian tên riêng cho các chức năng làm cho các macro không hợp vệ sinh của CL ít có khả năng cắn người dùng macro hơn. Trong CL, một tên bị ràng buộc tại điểm gọi xuất hiện trong khi mở rộng macro sẽ có định nghĩa được sử dụng tại điểm gọi, không phải là định nghĩa được sử dụng khi macro được xác định. Vì vậy, trong một phiên bản CL của Lisp-1, nếu macro mở rộng đến một cuộc gọi trên hàm LIST, và LIST được định nghĩa là một biến tại điểm mà macro được gọi, macro sẽ bị trục trặc. (Lưu ý rằng gensyms không giải quyết vấn đề này, không giống như các vấn đề nghịch đảo mà họ làm giải quyết.)

Điều này không xảy ra trong Đề án bởi vì các lược đồ mặc định là hợp vệ sinh: tất cả các tên được sử dụng trong việc mở rộng macro đều có nghĩa là macro được xác định, không phải nơi được sử dụng.