AL
А зачем ты делаешь def? Почему нельзя забиндить сразу в лет?
Size: a a a
2020 September 22
AB
А зачем ты делаешь def? Почему нельзя забиндить сразу в лет?
да это я так, границы возможного нащупываю.
а что ты имеешь ввиду?
а что ты имеешь ввиду?
AL
Не вполне понимаю пчоему нельзя сделать
(let [name 1])E
(defn bind-let [a] (let [n (symbol a)] (def n 1)))T
(defn bind-let [a] (let [n (symbol a)] (def n 1)))n же будет. Это не макрос
DS
Ну это же разные вещи. let - локальный биндинг, def создает Var и интернит его в текущем пакете
T
(defn bind-let [a] (let [n (symbol a)] (def n 1)))
DS
ну да, сорян, в currentNS()
T
я очень извиняюсь, но
как правильно переписать выражение
ну то есть, как подсунуть в def символ из локального биндинга?
как правильно переписать выражение
(let [name 'a] (def name 1))?ну то есть, как подсунуть в def символ из локального биндинга?
Это делается с помощью макросов. Твой макрос должен вернуть
`(def ~name 1)DS
Плюс def это спецформа
T
Плюс def это спецформа
Поэтому макросом
DS
Можно через eval наворотить, либо ручками логику def воспроизвести и дергать как функцию
T
я очень извиняюсь, но
как правильно переписать выражение
ну то есть, как подсунуть в def символ из локального биндинга?
как правильно переписать выражение
(let [name 'a] (def name 1))?ну то есть, как подсунуть в def символ из локального биндинга?
Вот, например, мой макрос
(defmacro persist-scope
"Takes local scope vars and defines them in the global scope. Useful for RDD"
[]
`(do ~@(map (fn [v] `(def ~v ~v))
(keys (cond-> &env (contains? &env :locals) :locals)))))
Он берет весь локальный скоуп и делает его глобальным через (def name name)DS
тупой вариант через eval:
(let [name 'a]
(eval `(def ~name 1)))
DS
Либо через intern:
(let [name 'a]
(intern *ns* name 1))
E
А можно условия задачи полностью, что мы хотим получить? Почему кстати именно name используется, это же вроде как библиотечная функция из core?
AB
да нет никакой задачи, я уточняю, как оно работает.
DS
Да балуется человек, пытается понять как эмулировать поведение
def из функцииDS
да нет никакой задачи, я уточняю, как оно работает.
https://github.com/clojure/clojure/blob/master/src/jvm/clojure/lang/Compiler.java#L407
Вот реализация спец-формы
Вот реализация спец-формы
def в исходниках компилятора, если действительно хочется понять как оно работает