引き続きClojureのお勉強。
komi.hatenadiary.com
前回はClojureで簡単なメッセージを通信するHTTPサーバーを立てるところまでやった。
今回はそこから発展してミドルウェアの作成などをやろう.....と思っていたのだけれど、色々なWebサイトを参考にしてちょこちょこコードを読んでいたところリーダマクロがわからずなんだこれ...?となることが多々あった。
そこで今回はClojureでサーバーを構築する云々から一度離れてClojureのリーダマクロをささっとまとめておこうと思う。
リーダマクロって？
リーダマクロは接頭辞や接尾辞に何か文字を付け加えることで別の式に展開することを可能にするマクロ文字のこと。
例えばラムダ式の定義においてClojureだと
user=> ((fn [x y] (+ x x)) 10 20)
だったりするが、これはリーダマクロ#()を使うことで
user=> (#(+ %1 %2) 10 20)
という感じになる。
ちなみにこの例での%は引数の順番を表し、%1は第一引数のこと。第一引数は%としてもオッケー。
こんな感じのマクロ文字がたくさんあるのだけれど、Clojure言語の実装を見てるとだいたいお気持ちが掴めてくるので以下ではそこらへんについてまとめていく。
ClojureはJavaで実装されていて、リーダマクロあたりについては以下のあたりのコードに実装されている。
github.com
中身はこうなっている。
macros['"'] = new StringReader();
macros[';'] = new CommentReader();
macros['\''] = new WrappingReader(QUOTE);
macros['@'] = new WrappingReader(DEREF);
macros['^'] = new MetaReader();
macros['`'] = new SyntaxQuoteReader();
macros['~'] = new UnquoteReader();
macros['('] = new ListReader();
macros[')'] = new UnmatchedDelimiterReader();
macros['['] = new VectorReader();
macros[']'] = new UnmatchedDelimiterReader();
macros['{'] = new MapReader();
macros['}'] = new UnmatchedDelimiterReader();
macros['\\'] = new CharacterReader();
macros['%'] = new ArgReader();
macros['#'] = new DispatchReader();
これを見てみると#にディスパッチマクロが割り当てられており、ディスパッチマクロについては以下の通りに定義されている。
dispatchMacros['^'] = new MetaReader();
dispatchMacros['#'] = new SymbolicValueReader();
dispatchMacros['\''] = new VarReader();
dispatchMacros['"'] = new RegexReader();
dispatchMacros['('] = new FnReader();
dispatchMacros['{'] = new SetReader();
dispatchMacros['='] = new EvalReader();
dispatchMacros['!'] = new CommentReader();
dispatchMacros['<'] = new UnreadableReader();
dispatchMacros['_'] = new DiscardReader();
dispatchMacros['?'] = new ConditionalReader();
dispatchMacros[':'] = new NamespaceMapReader();
ディスパッチマクロとは、この場合マクロ文字#以降では別の式に変換するよーというような機能を持ったマクロで、リーダマクロの二段重ねくらいの認識で大丈夫なはず。
さて、早速中身を見ていこうと思う。
ダブルクオーテーション"とセミコロン;
macros['"'] = new StringReader();
macros[';'] = new CommentReader();
これについては変数名の通りで、"は文字列を認識し;はコメントにするものである。
実際にClojureのコードでは
(println "Hi Clojure !")
という感じになっている。
シングルクオーテーション\'
次の\'はシングルクオーテーションで、これはLisperにはお馴染みのシンボルを表す。
ClojureのシンボルはCommon Lispとは挙動が異なり、Common Lispではシンボルは値を内包していてシンボルと値が同一であるのに対し、Clojureはシンボルと値がそれぞれ独立で、それぞれを名前空間がマッピングしているという構造を持っているらしい。
変数がunboundになることを想定したときシンボルと値は分けた方が都合がよいのでこのような構造をとっているらしく、ここらへんの挙動についてはRich HickeyのSimple made easyという哲学に基づいているもの、なんだとか。
少し難しいが、ここらへんも勉強していかないとなぁという感じ。
ご指摘いただいた@lagenorhynqueさんありがとうございました！！！
(def x 10)
(println x)
(println 'x)
(println (quote x))
アットマーク@
さて、次の@はCommon Lispの畑からやってきた人間にとってはあまり見慣れないもの。
Clojureには並行処理をサポートしていて、その際に変数を参照して展開することをこの@は行ってくれる。
refが参照ならderefが参照はずし(展開するといった方が正確？)
(def x (ref 10))
(println x)
(println @x)
(println (deref x))
ちなみにこの@は遅延評価でも有効らしく、
(def x (delay 10))
(println x)
(println @x)
(println x)
この場合、遅延評価によって実行の前後でステータスがpendingからreadyに変化しているに注意。
キャレット^
これもまたCommon Lisperには見慣れないもので、Clojureでは実際の変数に対してコンパイル時の型の情報や名前空間などのメタ情報を付加することができる。
実際、変数をprivateかpublicかのアクセス制限をかけるとき
(def ^:private x 10)
(def ^{:private true} x 10
としたり、もしくは型の情報(型ヒント)を明記するとき
(defn- foo [^long i ^long j] (+ i j))
とすればオッケー。
実際にメタ情報を見ようとするなら
(def ^:private x 10)
(meta (var x))
(meta #'x)
として見れる。
ここで変数xについて'xがただのシンボルだが#'xはまた特殊で、Clojure では変数や関数の実体への参照として var というものがある。
よってREPLにて
(def x 10)
(println x)
(println 'x)
(println (var x))
として見てみると(var x)が名前空間から参照しているのがわかると思う。
ここらへんは解説するとクソ長くなるのと自分がまだ完全理解してないのでここらへんで切り上げることにする。
バッククオーテーション`とチルダ~
バッククオーテーションは式全体をシンボル化し、~はクオートを外す。
Common Lispだとアンクオートはカンマ,だったけどClojureではチルダ~になっているらしい。
さて、ここらへんは難しくないのでささっと。
(def x 10)
(println `(1 x))
(println `(1 ~x))
ちなみにここでクオートされたリストに対してアットマーク@を組み合わせると括弧を外すことができる。
(def y '(2 3))
(println `(1 ~@y)
なんでこんなことができるのかというと、~@がUnquoted Splicingというリーダマクロだから。
Lispすごい。
括弧とか( ) { } [ ]
ここらへんはリストとか集合とかベクトルとかのデータ型。
めんどくさいので省略。
シャープ+チルダ#^
メタデータを付加することができるが、先述のキャレット^単体と何が違うとかというと、#^では独自のkey/valueをメタデータとして付与できる。
...というのがClojure1.1とか1.2とかあたりの話らしい。
なんでも、Clojure1.1ではキャレット^は非推奨で#^を推奨していたらしい。
しかし手元で試してみたら普通にキャレット^単体でも独自のkey/valueがメタデータとして付与できて、なんだかよくわからない。
どういう使い分けなんだろう？
(def #^{:fuck-kyoto-univ 114514} x 10)
(meta #'x)
うーん、難しい。
追記. Clojure1.10.1では#^はdeprecatedとなっているらしく、挙動自体は#^と^は変わらないらしい。
シャープ+シャープ##
これはInfなどを表すものらしい。
(/ 1.0 0.0)
シャープ+シングルクオーテーション#'
これは(var x)と同じこと。
さっきやった。
シャープ+ダブルクオーテーション#"..."
はい！出ました！みんな大好き正規表現！！！
Pythonだと最初にimport reとかやって正規表現ライブラリを引っ張ってきて...みたいな感じでやるけどClojureではデフォルトで正規表現を使えるのでなんと幸せなことだろうか....!!
(re-find #"\d+" "abc12345def")
(re-matches #"hello, (.*)" "hello, world")
中の正規表現エンジンが先読みとか再帰とかのイケてるやつまでサポートしてるのかは知らないけど、Javaの正規表現のやつをラップしてる感じらしいので多分サポートしてるはず。
シャープ+括弧#(...)
これはこのエントリーの最初の例にやったので省略。
シャープ+波括弧#{...}
集合ね。省略。
シャープ+イコール#=
これは#=に続くフォームを評価するもので
#=(+ 1 2 3)
(read-string "#=(+ 1 2 3)")
というような感じ。
一つ注意点として*read-eval*がfalseになっている場合このリードマクロは機能しない。
(binding [*read-eval* false] (read-string "#=(+ 1 2 3)"))
シャープ+エクスクラメーションマーク#!
コメントになるらしい。
シェバンとかで使えそう。
シャープ+小なり大なり#<...>
これは以下のformを例外をThrowしてくれるらしい。
例えば(atom 42)をREPLで評価すると#<Atom: 42>とprintされ、これはUnreadableで評価されないものなんだよー的なことが他のサイトに書いてあったけどなんだかよくわからない。
参照 : CLJSのUnreadbleのページにて
シャープ+アンダーバー#_
これはコメントの扱いになるらしい。
つまり読まれず評価されない。
#_(+ 1 2 3)
環境非依存なコードを書くために、環境ごとに条件分岐をしてくれるものらしい。
どういうことかというと、例えば以下のコードで
#?(:clj "Hi !" :cljs "Hello !")
実行がClojureならHi !とprintされ、ClojureScriptならHello !とprintされるらしい。
そういえばClojureScriptなんてものあったな....(Clojureに入門してそこまで時間たってない顔)
とりあえずこのディスパッチマクロはそういうものらしい。
シャープ+コロン#:
まず、コロン:はキーワード指定子であり、コロン+コロン::は現在の名前空間にキーワードを紐付けるものである。
その前提で、シャープ+コロン#:は名前空間にキーワードをまとめて紐づけることができる。
具体的に、
#:person{:first "Han"
:last "Solo"
:ship #:ship{:name "Millennium Falcon"
:model "YT-1300f light freighter"}}
は以下のように読み替えられる。
{:person/first "Han"
:person/last "Solo"
:person/ship {:ship/name "Millennium Falcon"
:ship/model "YT-1300f light freighter"}}
さて、コロン+コロン::は現在の名前空間にキーワードを紐付けるので#::も同様に
(ns rebel.core
(:require
[rebel.person :as p]
[rebel.ship :as s] ))
#::p{:first "Han"
:last "Solo"
:ship #::s{:name "Millennium Falcon"
:model "YT-1300f light freighter"}}
は以下の通りとなる。
{:rebel.person/first "Han"
:rebel.person/last "Solo"
:rebel.person/ship {:rebel.ship/name "Millennium Falcon"
:rebel.ship/model "YT-1300f light freighter"}}
まとめ
意外とリーダマクロはそこまで多くないらしい。
ただ、いくつか挙動が謎なものもあって、自分でコードを書くときは不安だけどコードを読む分には最低限は大丈夫そう。
ところでメタデータで型情報を渡したらコンパイルとか速くなるものなんだろうか？
あくまで型ヒントみたいな感じでPythonのType Hintingみたいにコードに虚無を植え付けるだけとかだと感情も虚無になってしまうので....
とりあえずだんだんとClojureが楽しくなってきた。
さあこれからもがんばるぞい！
