Clojure の Var について

あやぴー @ayato_p

Clojure の var が理解できない。なんだこれ。 というか、イミュータブルなの？ミュータブルなの？イミュータブルでいいんだよね。

Masanori Ogino @omasanori

@ayato_p 参照であるvar「は」mutableですが、varの参照先の値はimmutableです（Javaの世界から持ってきたオブジェクトなら話は別）

あやぴー @ayato_p

@omasanori Hmmm... 今混乱しているのが (def x 5) としたときに x が var になるんですか？それとも var フォームを使うことで var を参照することが出来るんですか？

Masanori Ogino @omasanori

@ayato_p xと(var x)の違いは古典的なLispのxと(quote x)に近いものだと私は考えています。xはvarであり、単にxと書くとvarの値（参照先）が得られます。一方、(var x)と書くことによってvarを表現するオブジェクトそのものが得られます。

あやぴー @ayato_p

@athos0220 あちょすさん、少し質問いいですか？

athos)))))))) @athos0220

@ayato_p どうぞ

あやぴー @ayato_p

@athos0220 twitter.com/ayato_p/status… これってどう説明してあげると良いと思いますか？僕があんまり理解してないってのもあるはあるんですけど、よく分かんなくて。。。

athos)))))))) @athos0220

@ayato_p Varは実際イミュータブルではないです。defによる再定義の他、alter-var-root等のAPIで値を更新できます。しかし、これらの機能はREPLやファイルのリロードによる値の更新を実現するための機能であって、一般のユーザがプログラム中から自由に値(続く)

athos)))))))) @athos0220

@ayato_p (続き)を更新することはあまり推奨されません。あくまでそういう慣習になっているだけですが。

あやぴー @ayato_p

@athos0220 そう、そこがやっぱり良くわからないんです。参照している先が変わったという認識でいいんですよね？ バインドされているオブジェクトが変わったというか。

athos)))))))) @athos0220

@ayato_p そうですそうです。VarというのはVarオブジェクトという一種の参照型になっていて、トップレベルの定義はそのオブジェクトへ値を束縛します。

あやぴー @ayato_p

@athos0220 だから今回の例だと5が変更されたわけではなくて、参照する先が6になったということでいいんですよね？この辺、何読んだらわかるのか分かんなくて、悩んでました。ありがとうございます！

athos)))))))) @athos0220

@ayato_p その理解であってます。整数が破壊的に更新できる言語ってなかなかないんじゃないですかねー。

あやぴー @ayato_p

@athos0220 まぁ今回の例は整数ですけど、これが他のオブジェクトになっても動きは同じですよね？

athos)))))))) @athos0220

@ayato_p はい、もちろんそうです。

あやぴー @ayato_p

@athos0220 うんうん。なるほど。 あと、束縛の考え方は他のLisp系とだいたい同じでいいんですか？参照とか言われ始めると違うのかなーとか思うんですけど。

athos)))))))) @athos0220

@ayato_p 関数の引数やletで導入されるようなローカルな束縛に関しては(破壊的に更新できない点を除けば)だいたい同じじゃないですかね。トップレベルの束縛は、さっき言ったように実体はVarオブジェクトというファーストクラスの値なので、扱いは少し違うと思います。

あやぴー @ayato_p

@athos0220 ありがとうございます！だいたい理解できました！