Я хотел бы предварительно сохранить кучу вызовов функций в структуре данных, а затем оценить/выполнить их из другой функции.
Это работает как запланировано для функций, определенных на уровне пространства имен с помощью defn (хотя определение функции происходит после моего создания структуры данных), но не будет работать с функциями, определенными let [name (fn или letfn внутри функции.
Вот мой небольшой самостоятельный пример:
(def todoA '(funcA))
(def todoB '(funcB))
(def todoC '(funcC))
(def todoD '(funcD)) ; unused
(defn funcA [] (println "hello funcA!"))
(declare funcB funcC)
(defn runit []
(let [funcB (fn [] (println "hello funcB"))]
(letfn [(funcC [] (println "hello funcC!"))]
(funcA) ; OK
(eval todoA) ; OK
(funcB) ; OK
(eval todoB) ; "Unable to resolve symbol: funcB in this context" at line 2
(funcC) ; OK
(eval todoC) ; "Unable to resolve symbol: funcC in this context" at line 3
)))
Если вы задаетесь вопросом о моей тестовой настройке, чтобы увидеть результат этих 6 операторов, я комментирую/удаляю специфические строки OK/failing, а затем вызываю (runit) из REPL.
Есть ли какое-то простое исправление, которое я мог бы предпринять для вызова eval 'd quote d функций для работы для функций, определенных внутри другой функции?
Update:
Это (на основе предложения danlei) действительно работает. Посмотрим, смогу ли я заставить этот метод работать в "реальной жизни!"
(def todoB '(funcB))
(declare funcB)
(defn runit []
(binding [funcB (fn [] (println "hello funcB"))]
(funcB)
(eval todoB) ; "Unable to resolve symbol: funcB in this context" at line 1!
))
Update:
Этот код входит в мое решение для проблемы ограничения ограничений - я хочу узнать которому принадлежит зебра! Я новичок в Clojure и особенно функциональном программировании, и это сделало упражнение довольно сложным. Я попадаю во множество ям, но я в порядке с этим, поскольку это часть учебного опыта.
Я использовал ограничения как кучу простых векторов, например:
[:con-eq :spain :dog]
[:abs-pos :norway 1]
[:con-eq :kools :yellow]
[:next-to :chesterfields :fox]
где первый из каждого вектора будет указывать вид ограничения. Но это привело меня к неудобной реализации механизма отправки для этих правил, поэтому я решил вместо этого вместо них закодировать их как (цитируемые):
'(coloc :japan :parliament) ; 10
'(coloc :coffee :green) ; 12
'(next-to :chesterfield :fox) ; 5
поэтому я могу отправить правило ограничения простым eval. Это кажется намного более элегантным и "lisp -y". Однако каждой из этих функций необходимо получить доступ к моим данным домена (с именем vars), и эти данные продолжают меняться по мере запуска программы. Я не хотел испортить свои правила, введя дополнительный аргумент, поэтому я хотел, чтобы vars был доступен для функций eval 'd через динамическое масштабирование.
Теперь я узнал, что динамическое масштабирование может быть выполнено с помощью binding, но ему также нужен declare.