YK
собственно это не получится тогда нормально сделать в компайл тайме
Size: a a a
2020 February 09
DL
Внутри эвала анквот
YK
можно пример? не понимаю что именно unquote
YK
(defmacro bar
[v]
(let [v' (map inc (eval (unquote v)))]
`(identity ~v’)))
YK
так не получится
DL
Но это плохо
DL
Макросы с эвалами, в смысле
YK
да, я уже понял что это плохайя идея. думаю о другом интерфейсе…
спасибо
спасибо
DL
да, я уже понял что это плохайя идея. думаю о другом интерфейсе…
спасибо
спасибо
А если всё-таки функцией и замемоизировать "inc"?
DL
Если оно, конечно, на числах или другом ограниченном множестве аргументов работает
DL
У меня была подобная ситуация, мемоизация inc и bar дала очень приличный прирост, вплоть до нескольких порядков
VM
Подскажите возможно ли написать такой макрос:
он работает если я передам в него простой вектор
но по какой-то причине не работает в таком случае
можно ли как-то это исправить так, что бы map выполнялся в компайл тайме?
(defmacro bar
[v]
(let [v' (map inc v)]
`(identity ~v')))
он работает если я передам в него простой вектор
(macroexpand-1
'(bar [1 2 3]))
но по какой-то причине не работает в таком случае
(macroexpand-1
'(bar (when true [1 2 3])))
можно ли как-то это исправить так, что бы map выполнялся в компайл тайме?
Что мешает написать (when true (bar [1 2 3]))? Ведь там где true - это какие-то вычисления, которые будут в runtime? Если это вычисления, которые будут в compile time, то можно производить эти вычисления внутри макроса bar.
YK
я правильно понимаю что в clojurescript я не могу написать макрос, который в компайл тайме использует cljs. То есть такое я сделать не могу:
(defmacro deftest
[sym value]
(let [value (cljs.core/clj->js value)]
`(def ~sym ~value)))
YK
использую 2х файловый паттерн, где макрос в .clj и реквайрится этот макрос в .cljs
A
использую 2х файловый паттерн, где макрос в .clj и реквайрится этот макрос в .cljs
На сколько помню, других вариантов использования макросов в cljs не было
VM
использую 2х файловый паттерн, где макрос в .clj и реквайрится этот макрос в .cljs
Если я не ошибаюсь, макросы, которые используют возможности cljs, нужно помещать в cljc.
VM
Вот пример использования cljs'ного кода
(ns foo
(:require [cljs.analyzer :as analyzer]))
(defn resolve-sym
"Resolves a var for the analysis environment and symbol specified in `env` and `sym`
parameters. Returns a vector with a resolved var and it's meta."
[env sym]
(let [[var meta] (try
(let [var (analyzer/resolve-var env
sym
(analyzer/confirm-var-exists-throw))]
[var (analyzer/var-meta var)])
(catch #?@(:clj [Throwable t] :cljs [:default e])
[(analyzer/resolve-var env sym) nil]))
resolved (vary-meta (:name var) assoc ::analyzer/no-resolve true)]
[resolved meta]))
(defn resolved->var
"Converts `[resolved meta]` tuple to a var."
[[resolved meta]]
`(cljs.core/Var. (fn [] ~resolved) '~resolved ~meta))
(defmacro component-spec-def
"Registers function specs (fdef) for the `component-sym`."
[component-sym]
(let [env &env
[resolved-sym component-meta] (resolve-sym env component-sym)
component-fn-sym (-> component-meta
:component-fn
(second)
(normalize-symbol component-meta))
[_ component-fn-meta] (resolve-sym env component-fn-sym)
default-parameters-keys (-> component-fn-meta
:arglists
second first first
:or
keys
(->> (map keyword))
set)
required? (fn [p] (not (contains? default-parameters-keys (:name p))))
params (second (:params component-meta))
ns-name (str (get-in env [:ns :name]))
req-un (mapv #(->> % :name name (keyword ns-name)) (filter required? params))
opt-un (mapv #(->> % :name name (keyword ns-name)) (filter (comp not required?) params))]
`(when ^boolean js/goog.DEBUG
~@(for [p params
:let [s (:spec p)]
:when (and (keyword? s) (not= (namespace s) ns-name))]
`(cljs.spec.alpha/def ~(keyword ns-name (name (:name p))) ~s))
(cljs.spec.alpha/fdef ~component-sym
:args (cljs.spec.alpha/cat
:args (cljs.spec.alpha/keys :req-un ~req-un :opt-un ~opt-un)))
(cljs.spec.test.alpha/instrument (quote ~resolved-sym)))))
ST
Вот пример использования cljs'ного кода
(ns foo
(:require [cljs.analyzer :as analyzer]))
(defn resolve-sym
"Resolves a var for the analysis environment and symbol specified in `env` and `sym`
parameters. Returns a vector with a resolved var and it's meta."
[env sym]
(let [[var meta] (try
(let [var (analyzer/resolve-var env
sym
(analyzer/confirm-var-exists-throw))]
[var (analyzer/var-meta var)])
(catch #?@(:clj [Throwable t] :cljs [:default e])
[(analyzer/resolve-var env sym) nil]))
resolved (vary-meta (:name var) assoc ::analyzer/no-resolve true)]
[resolved meta]))
(defn resolved->var
"Converts `[resolved meta]` tuple to a var."
[[resolved meta]]
`(cljs.core/Var. (fn [] ~resolved) '~resolved ~meta))
(defmacro component-spec-def
"Registers function specs (fdef) for the `component-sym`."
[component-sym]
(let [env &env
[resolved-sym component-meta] (resolve-sym env component-sym)
component-fn-sym (-> component-meta
:component-fn
(second)
(normalize-symbol component-meta))
[_ component-fn-meta] (resolve-sym env component-fn-sym)
default-parameters-keys (-> component-fn-meta
:arglists
second first first
:or
keys
(->> (map keyword))
set)
required? (fn [p] (not (contains? default-parameters-keys (:name p))))
params (second (:params component-meta))
ns-name (str (get-in env [:ns :name]))
req-un (mapv #(->> % :name name (keyword ns-name)) (filter required? params))
opt-un (mapv #(->> % :name name (keyword ns-name)) (filter (comp not required?) params))]
`(when ^boolean js/goog.DEBUG
~@(for [p params
:let [s (:spec p)]
:when (and (keyword? s) (not= (namespace s) ns-name))]
`(cljs.spec.alpha/def ~(keyword ns-name (name (:name p))) ~s))
(cljs.spec.alpha/fdef ~component-sym
:args (cljs.spec.alpha/cat
:args (cljs.spec.alpha/keys :req-un ~req-un :opt-un ~opt-un)))
(cljs.spec.test.alpha/instrument (quote ~resolved-sym)))))
что-то не видно clojure script кода на этапе компиляции
VM
Функция resolve-sym.
VM
Использует cljs.analyzer.