하자 이맥스에서 렛트는

Question

을 LISP는 표준 배합 호출 할 경우 나도 몰라,하지만 난 '렛트'를 사용하는 GNU 설명서에 의해 권고하고 로컬 함수 바인딩 : 그러나

(defun adder-with-flet (x) 
    (flet ((f (x) (+ x 3))) 
    (f x)) 
) 

을 우연히 나는 let '을 사용하여 변수에 람다 표현식을 묶는 다음 표현식을 Scheme에서 재생 한 후 시도했다. mapcar에 함수를 전달하면 작동한다. * :

(defun adder-with-let (x) 
    (let ((f (lambda (x) (+ x 3)))) 
    (car (mapcar* f (list x)))) 
) 

두 기능 모두 작동 :

(adder-with-flet 3) ==> 6 
(adder-with-let 3) ==> 6 

두 번째 이유는 무엇입니까? 'let'을 사용하여 함수를 심볼에 바인딩하는 데 사용할 수있는 설명서를 찾을 수 없습니다.

Answer 1

Scheme과 달리 Emacs Lisp는 2-lisp입니다. 즉, 각 기호에는 값 바인딩과 함수 바인딩이라는 두 가지 별도의 바인딩이 있습니다. 함수 호출 (a b c d)에서 함수 바인딩을 사용하여 첫 번째 심볼 (a)을 조회하고 값 바인딩을 사용하여 나머지 (b c d)를 조회합니다. 특수 서식 let은 새 (로컬) 값 바인딩을 만들고 flet은 새 함수 바인딩을 만듭니다. 가치 함수 또는 룩업 사용 바인딩 여부 것을

참고하지 입력 보면서 촬영 값에서 (a b c d) 함수 호출에 위치에 의존한다. 특히 값 바인딩은 함수로 해석 될 수 있습니다.첫 번째 예에서

, 당신은 (flet를 통해) f - 바인딩 기능을 다음 함수 조회 할 : 두 번째 예에서

(f ...) 

을, 당신 (let를 통해) 함수에 값을 바인드 f 값 조회를 사용하십시오.

(... f ...) 

두 경우 모두 같은 종류의 바인딩 및 조회를 사용하기 때문에 둘 다 작동합니다.

http://en.wikipedia.org/wiki/Common_Lisp#Comparison_with_other_Lisps

Answer 2

나는 Emacs lisp 매뉴얼을 빠르게 찾았으며 'flet에 대한 참조를 찾을 수 없었습니다. - common-lisp package의 일부이기 때문에별로 놀랍지 않습니다.

let도 로컬 바인딩을 수행하지만 그 심볼의 "function cell"에는 바인딩되지 않습니다. 이 예

작동 :

(let ((myf (lambda (x) (list x x)))) 
    (eval (list myf 3))) 

하지만

(let ((myf (lambda (x) (list x x)))) 
    (myf 3)) 

을 오류와 함께 실패합니다 : "리스프 오류 : (무효 기능 myf)"반면에

flet, 않습니다 함수 셀에 대한 바인딩을 수행하면됩니다.

(flet ((myf (x) (list x x))) 
    (myf 3)) 

차이점이 flet 인 경우 let이 아닌 반면 myf 기호를 직접 사용할 수 있다는 점에 유의하십시오. "값 셀"에서 함수를 가져 와서 적절하게 적용하려면 간접적 인 방법을 사용해야합니다.

예에서 'mapcar'은 내 용도가 'eval 인 것과 같습니다.

Answer 3

는 d11wq @ 이러한 목적을 위해`funcall '이있다. 다음은 작동합니다 :

(defun adder-with-let (x) 
    (let ((f #'(lambda (x) (+ x 3)))) 
    (funcall f 3))) 

(adder-with-let 3) ;=> 6 

Answer 4

원치 않는 경우 flet을 사용할 필요가 없습니다. 다음 예에서와 같이 let을 사용하여 정의 된 지역 기호의 기능 셀에 함수를 배치 : 8을 반환이 평가

이

(let ((ALocalSymbol)) 
    (fset 'ALocalSymbol (lambda (x) (* 2 x))) 
    (ALocalSymbol 4) 
) 

(let ((ALocalSymbol))...)에 ALocalSymbol 앞의 견적을 알 마십시오. setq 기호는 따옴표이지만 fset은 그렇지 않습니다.

flet은 통사론의 종류입니다. 평범한 구 let을 사용하여 무의미한 기호를 정의하면 설정할 심볼의 "셀"을 선택할 수 있습니다. setq을 사용하여 기호의 값 셀을 설정하거나 fset을 사용하여 함수 셀을 설정할 수 있습니다. 이 도움이

희망, 사람에게

파블로