7

この質問は純粋に「精神的なマスターベーション」から来ており、おそらく実用的な価値はありません。

を使用してClojureで値を定義した場合def、コンパイラーはコンパイル時に値を評価し、実行時まで待たないように誘導できますか？

(def the-answer 42)

(+ the-answer 1)

マクロを定義できると思いますが、呼び出し構文は少し厄介になります。

(defmacro the-answer [] 42)

(+ (the-answer) 1)

これも機能しますが、それでも醜いです：

(+ `~the-answer 1)

また、Clojureがコンパイル時に定数式を評価することも理解しています（または信じています）。

(def milliseconds-per-day (* 24 60 60 1000))

私はCommonLispを学んでいますが、Common Lispはユーザー定義のリーダーマクロをサポートしているので#$、コンパイル時に次のシンボルを評価するリーダーマクロ（のようなもの）を定義できます。

(+ #$the-answer 1)

ちなみに、その構文はマクロ呼び出しよりも「きれい」ではありません。

Clojureにコンパイル時に定数変数を評価させ、参照を実際の値に置き換えるにはどうすればよいですか？すでにそうしていますか？

誰かがクヌースの法則（「時期尚早の最適化はすべての悪の根源である」）を引用し始める前に、Clojureコンパイルの内部をよりよく理解するためにこの質問をします。

4

3 に答える 3

11

Clojure1.3ドキュメントから

== 2.14 ^：const defs ==

^：constを使用すると、より高速な参照でプリミティブ値に名前を付けることができます。

（def定数{：pi 3.14：e 2.71}）

（def ^：const pi（：pi定数））（def ^：const e（：e定数））

（：pi定数）と（：e定数）は親のdef形式が評価されるときに評価されるため、マップで：eと：piを検索するオーバーヘッドはコンパイル時に発生します。

于 2011-11-10T15:32:42.660 に答える
5

マクロの主な用途の1つは、計算をコンパイル時間に移動することです。これにより、1回だけ実行されます。これを念頭に置いて、私の意見では、マクロはこれに適したツールで( )あり、特別なパーツを特別に見せるために実際に役立つように見える追加のセットがあります。

于 2011-11-10T14:40:09.070 に答える
2

`~fooすべての場合で文字通り同じですfoo-前者から抜け出していると思うものは何でも幻想です。

おそらく正しい答えだと思います:constが、clojure.tools.macroのsymbol-macrosを使用することもできます。この目的（およびその他の用途）にはsymbol-macrolet、およびdefsymbolmacro/があります。with-symbol-macros

于 2011-11-14T02:07:24.903 に答える