[lisp] Lisp에서 ‘(또는 따옴표)를 언제 사용합니까?

단답형
기본 평가 규칙을 무시하고 표현식 (기호 또는 s-exp)을 평가 하지 않고 입력 한대로 정확히 함수에 전달합니다.

긴 답변 : 기본 평가 규칙

정규 (나중에 설명하겠습니다) 함수가 호출되면 전달 된 모든 인수가 평가됩니다. 이것은 다음과 같이 작성할 수 있음을 의미합니다.

(* (+ a 2)
   3)

설정에 어떤 평가하여 (+ a 2)평가하여, a심볼의 값과 2 a의 현재 변수 결합 세트에서 조회하고 대체된다. Say a는 현재 값 3에 바인딩되어 있습니다.

(let ((a 3))
  (* (+ a 2)
     3))

우리는 (+ 3 2), +를 3과 2에서 호출하여 5를 산출합니다. 원래 형식은 이제 (* 5 3)15를 산출합니다.

quote이미 설명하십시오 !

좋구나. 위에서 볼 수 있듯이 함수에 대한 모든 인수가 평가되므로 값이 아닌 기호 를 전달 a하려는 경우 평가하고 싶지 않습니다. Lisp 기호는 값으로 두 배가 될 수 있으며 다른 언어에서 해시 테이블에 대한 키와 같은 문자열을 사용한 마커도 사용할 수 있습니다.

이것이 quote들어오는 곳 입니다. Python 응용 프로그램에서 리소스 할당을 플로팅하려는 대신 Lisp에서 플로팅을 수행한다고 가정 해 보겠습니다. Python 앱이 다음과 같은 작업을 수행하도록합니다.

print("'(")
while allocating:
    if random.random() > 0.5:
        print(f"(allocate {random.randint(0, 20)})")
    else:
        print(f"(free {random.randint(0, 20)})")
    ...
print(")")

다음과 같은 출력을 제공합니다 (약간 예쁘게 표시됨).

'((allocate 3)
  (allocate 7)
  (free 14)
  (allocate 19)
  ...)

quote기본 규칙이 적용되지 않게하는 원인 ( “틱”) 에 대해 내가 말한 것을 기억 하십니까? 좋은. 어떤 다른 일이 일어날 것이 값이다 allocate하고 free고개 있으며, 우리는 그것을 원하지 않는다. Lisp에서 다음을 수행하고 싶습니다.

(dolist (entry allocation-log)
  (case (first entry)
    (allocate (plot-allocation (second entry)))
    (free (plot-free (second entry)))))

위에 제공된 데이터에 대해 다음과 같은 일련의 함수 호출이 만들어졌습니다.

(plot-allocation 3)
(plot-allocation 7)
(plot-free 14)
(plot-allocation 19)

하지만 어떨까요 list?

음, 때로는 않습니다 인수를 평가합니다. 숫자와 문자열을 조작하고 결과 목록을 반환하는 멋진 함수가 있다고 가정 해 보겠습니다. 잘못된 시작을합시다 :

(defun mess-with (number string)
  '(value-of-number (1+ number) something-with-string (length string)))

Lisp> (mess-with 20 "foo")
(VALUE-OF-NUMBER (1+ NUMBER) SOMETHING-WITH-STRING (LENGTH STRING))

야! 그것은 우리가 원하는 것이 아닙니다. 우리는 일부 주장 을 선택적으로 평가하고 나머지는 상징으로 남겨두고 싶습니다 . # 2를 시도하십시오!

(defun mess-with (number string)
  (list 'value-of-number (1+ number) 'something-with-string (length string)))

Lisp> (mess-with 20 "foo")
(VALUE-OF-NUMBER 21 SOMETHING-WITH-STRING 3)

다만 quote, 그러나backquote

훨씬 낫다! 덧붙여서,이 패턴은 (대부분) 매크로에서 너무나 흔해서 그렇게하기위한 특별한 구문이 있습니다. 역 따옴표 :

(defun mess-with (number string)
  `(value-of-number ,(1+ number) something-with-string ,(length string)))

를 사용하는 것과 비슷 quote하지만 쉼표로 접두사를 붙여 일부 인수를 명시 적으로 평가할 수있는 옵션이 있습니다. 결과는를 사용하는 것과 동일 list하지만 매크로에서 코드를 생성하는 경우 반환 된 코드의 작은 부분 만 평가하기를 원하므로 역 따옴표가 더 적합합니다. 짧은 목록의 list경우 더 읽기 쉽습니다.

이봐, 당신은 잊어 버렸습니다 quote!

그래서 이것이 우리를 어디로 떠나는가? 아 맞다, quote실제로 무엇을 하는가? 단순히 평가되지 않은 인수를 반환합니다! 처음에 정규 함수에 대해 말한 것을 기억하십니까? 일부 연산자 / 함수 는 인수를 평가 하지 않아도됩니다 . IF와 같은-그렇지 않은 경우 else 분기가 평가되는 것을 원하지 않습니까? 소위 특수 연산자 는 매크로와 함께 작동합니다. 특수 연산자는 또한 언어의 “공리”(최소한의 규칙 집합)이며 다른 방식으로 결합하여 나머지 Lisp를 구현할 수 있습니다.

quote하지만로 돌아 가기 :

Lisp> (quote spiffy-symbol)
SPIFFY-SYMBOL

Lisp> 'spiffy-symbol ; ' is just a shorthand ("reader macro"), as shown above
SPIFFY-SYMBOL

(Steel-Bank Common Lisp에서) 비교 :

Lisp> spiffy-symbol
debugger invoked on a UNBOUND-VARIABLE in thread #<THREAD "initial thread" RUNNING   {A69F6A9}>:
  The variable SPIFFY-SYMBOL is unbound.

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-INT:SIMPLE-EVAL-IN-LEXENV SPIFFY-SYMBOL #<NULL-LEXENV>)
0] 

spiffy-symbol현재 범위에 없기 때문에 !

합산

quote, backquote(쉼표 포함) 및 list목록을 만드는 데 사용하는 도구 중 일부입니다. 값 목록 일뿐만 아니라 보시다시피 경량 (를 정의 할 필요가 없음 struct) 데이터 구조 로 사용할 수 있습니다 !

더 많은 것을 배우고 싶다면, 이미 프로그래밍에 관심이 있다면 Peter Seibel의 책 Practical Common Lisp 를 추천합니다. 결국 Lisp 여정에서 패키지도 사용하기 시작합니다. Ron Garret의 The Idiot ‘s Guide to Common Lisp Packages 는 이에 대한 좋은 설명을 제공합니다.

해피 해킹!

답변

(quote a)
'a

(quote (1 2 3))
'(1 2 3)

class Symbol:
   def __init__(self,name,code,value):
       self.name=name
       self.code=code
       self.value=value

(progn
  (fset 'add '+ )
  (set 'add 2)
  (add add add)
)

(add add add)
(+ add add)
(+ 2 add)
(+ 2 2)
4

(define atom?              ; defining a procedure atom?
  (lambda (x)              ; which as one argument x
(and (not (null? x)) (not(pair? x) )))) ; checks if the argument is atom or not
(atom? '(a b c)) ; since it is a list it is false #f