如何檢查一個符號是否是一個過程

Question

我試圖編寫一個宏來檢查一個列表，看看是否有一個過程調用，但我不太清楚如何去做。我頭上的第一件事就是使用這個程序？函數來檢查，但它不起作用。什麼即時試圖做的一個例子是：

(procedure? (car '(+ 1 2))) 

現在，該名單的車返回+，但功能還是返回false。

有沒有辦法檢查列表的車是否是程序？

Answer 1

(car '(+ 1 2)) => '+ not + 

+是一個過程，但「+只是一個符號！

你應該檢查帶引號的變量：

(procedure? (car (list + 1 2))); => #t 
;or 
(procedure? (car `(,+ 1 2))); =>#t 

如果列表的形式「（ABCD），你可以用這種方式檢查：

(procedure? (eval (car '(+ 1 2)) (interaction-environment)));=>#t 

因爲：

(eval (car '(+ 1 2)) (interaction-environment)) 
;=>(eval '+ (interaction-environment)) 
;=>+ 

我不認爲你在這裏需要一個宏，一個函數就足夠了。 抽象發揮功能：

(define (application-form? lst) 
     (procedure? (eval (car lst) (interaction-environment)))) 

Answer 2

如果列表的car被允許未結合的符號，這個問題不是可移植可溶的。但是，您可以在Guile中解決這個問題：

(define (procedure-symbol? x) 
    (and (symbol? x) 
     (let ((var (module-variable (interaction-environment) x))) 
     (and var 
       (variable-bound? var) 
       (procedure? (variable-ref var)))))) 

(define (application-form? lst) 
    (procedure-symbol? (car lst)))