Я заново знакомлюсь со Scheme и столкнулся с проблемой, которая, вероятно, отражает фундаментальное непонимание с моей стороны.
Скажем, я делаю следующее в Scheme (используя Guile в этом случае, но то же самое в Chicken):
> (define x 5)
> x
5
> (string->symbol "x")
x
> (+ 5 (string->symbol "x"))
<unnamed port>:45:0: In procedure #<procedure 1b84960 at <current input>:45:0 ()>:
<unnamed port>:45:0: In procedure +: Wrong type: x
> (symbol? (string->symbol "x"))
#t
> (+ 5 x) ; here x is dereferenced to its value 5
10
> (+ 5 'x) ; here x is not dereferenced
<unnamed port>:47:0: In procedure #<procedure 1c7ba60 at <current input>:47:0 ()>:
<unnamed port>:47:0: In procedure +: Wrong type: x
Я понимаю, что string->symbol возвращает символ x, который фактически заключен в кавычки. Однако я не могу понять, как использовать символ, возвращаемый string->symbol, в любом более позднем контексте. Как я могу заставить Scheme оценить этот символ?
Чтобы дать представление о том, почему я хочу это сделать, я пишу программу на C со встроенным Guile. Я хотел бы иметь возможность доступа к символам, определенным в Guile, по имени из C, используя, например, scm_from_*_symbol или scm_string_to_symbol. Причины, по которым эти функции не работают так, как я думал, связаны с моим основным вопросом выше. Возможно, есть лучший способ сделать то, что я хочу сделать с Гайлом, но это другой вопрос. Прямо сейчас меня интересует фундаментальный вопрос выше.
