Comment savoir si la valeur d'une variable est un symbole lié à une procédure dans Scheme?

Question

Je suis familier avec Common Lisp et j'essaie d'apprendre quelques Scheme, donc j'ai essayé de comprendre comment j'utiliserais Scheme pour les choses que je code habituellement dans Common Lisp.

En Common Lisp, il y a fboundp, qui me dit si un symbole (la valeur d'une variable) est lié à une fonction. Donc, je voudrais faire ceci:

(let ((s (read))) 
    (if (fboundp s) 
     (apply (symbol-function s) args) 
     (error ...))) 

Est-ce possible dans le schéma? J'ai essayé de trouver cela dans les spécifications de R6RS mais je n'ai rien trouvé de similaire.

Answer 1

De cette façon?

1. vérifier si elle est un symbole
2. évaluer le symbole à l'aide EVAL pour obtenir sa valeur
3. vérifier si le résultat est une procédure avec PROCEDURE?

Answer 2

Dans le schéma, les fonctions ne sont pas liées à des symboles comme s'ils étaient en Common Lisp. Si vous avez besoin de savoir, si une valeur est en fait une procédure, vous pouvez utiliser le procedure? prédicat:

(if (procedure? s) (do-something-with s) (do-something-else)) 

Il n'y a aucun moyen direct dans le schéma portable pour atteindre, ce que votre code d'exemple veut faire, comme symboles Les schémas sont simplement des sortes de chaînes unifiées, dépourvues de slots de valeur/fonction/plist de Common Lisp.

Vous pouvez essayer quelque chose comme:

(define function-table (list `(car ,car) `(cdr ,cdr) `(cons ,cons) `(display ,display))) 

(let* ((s (read)) 
     (f (cond ((assq s function-table) => cadr) 
       (else (error "undefined function"))))) 
    (apply f args)) 

à savoir, définir votre propre cartographie des fonctions "bonnes". Cela aurait l'avantage, que vous pouvez limiter l'ensemble de la fonction à seulement "sûr", ou quoi que ce soit.