tag:blogger.com,1999:blog-38165690393314107422024-02-09T02:29:29.103+09:00Conceptual Contextureプログラミングに関するいろいろUnknownnoreply@blogger.comBlogger21125tag:blogger.com,1999:blog-3816569039331410742.post-17396509762524872632013-09-20T20:19:00.000+09:002013-09-20T20:19:34.776+09:00補足と訂正・クエリーがどのようにしてモジュール性を阻害し得るか
<p>前回はRDBMSの使用が引き起こすモジュール性の低下について議論したが、その根拠を具体的に示さなかった。その補足ということで今回は小さな例を1つ示したい。 </p>
<p>また、関数プログラミングが副作用の多い状況に対して弱みを持つ、と書いたのは乱暴であったのでお詫びして訂正したい。<br/>
正しくは、副作用を含むロジックに対しては、注意深く抽象化を行う必要があり、副作用・外部入出力の種類が違えば、そのたびごとに抽象化のモデル・実装について熟慮して抽象化を行う必要があるということである。<br/>
これはうまい抽象化が不可能だということではないので、それを弱みと呼んだのは間違った一般化であった。 </p>
<p>しかし、ありがちな抽象化の方法では、クエリーの発行がモジュール性の低下を引き起こしかねないということを小さな例を使って示したいと思う。この例は手続き的な擬似コードによるものだが、RDBMSを抽象化するfunctionalなDSLであっても同じような問題が起こる「可能性」があることには同意してもらえると思う。一方で同じ問題を起こさないDSLが存在する可能性も十分あるが、それについては後に考察する。 </p>
<h2 id="">おそらくありそうな例</h2>
<p>以下は、Python風の手続き的な擬似コードだ。 </p>
<pre><code>def procA(x):
rows = queryA(x)
return calcA(rows)
def procB(x):
rows = queryB(x)
return calcB(rows)</code></pre>
<p>queryAとqueryBはSQLクエリーを発行して結果を返す手続きだ。<br/>
そしてcalcAとcalcBは純粋に汎用言語で書かれた副作用の無い手続きだ。<br/>
procAは、queryAを呼び出し、更にcalcAによる計算をして結果を返す。<br/>
procBは、queryBを呼び出し、更にcalcBによる計算をして結果を返す。 </p>
<p>ここでprocAとprocBの手続きを続けて行うprocAandBという手続きを作りたいとする。<br/>
(関数の直列合成より現実によくありそうな形を選んだが深い意味は無い。)<br/>
その定義は以下のように書けるはずだ。 </p>
<pre><code>def procAandB(x):
y = procA(x)
z = procB(x)
return calcC(y,z)</code></pre>
<p>ここでパフォーマンスの問題が起こったとする。<br/>
queryAとqueryBを両方共呼び出すのであれば、queryAandBという形にひとつのクエリーにまとめることができ効率が良いと判明する。<br/>
そこで次のように合成されたクエリーqueryAandBを使って手続きを書き換えることになる。 </p>
<pre><code>def procAandB2(x):
rows = queryAandB(x)
y = calcA(rows)
z = calcB(rows)
return calcC(y,z)</code></pre>
<p>プログラムは大して汚くなったわけではないが、なにか余計な面倒をしょいこんだぞ、とあなたのゴーストが囁くはずだ。 </p>
<h2 id="">何が起こったのか</h2>
<p>クエリーを含む手続きを複数合成するときに、パフォーマンスの観点から手続きの中で使用しているクエリーを合成し書き直す必要がでる。このようなパターンはありふれたものだと思われる。 </p>
<p>そしてこういった書き換えが頻繁に発生すれば、モジュール性の低下、コードの冗長化を引き起こすということは明らかだろう。<br/>
そしてこれはパフォーマンスを無視出来る状況であれば問題になりえないのだが、無視できない状況が十分たくさんあるのが現状だ。 </p>
<h2 id="">パフォーマンスのための最適化は仕方ないか?</h2>
<p>パフォーマンスのためのチューニングでコードが汚くなるのは珍しいことではなく、仕方の無いものかもしれない。しかし、リレーショナルモデルは、本来インデックスの使い方や管理といったパフォーマンス指向の関心を、ビジネスロジックから分離するというのが売りであったはずだ。これでは本末転倒だ。ここは開発現場ではないので、もうすこし理想を追いかけてみたい。 </p>
<h2 id="">本当のところどうあって欲しかったか</h2>
<p>procAとprocBには必要なクエリーと必要な計算がすべて記述してあるので、procAandBを両者の合成として定義するだけで、あとは実際にどんなクエリーを発行するかはコンパイラが最適化してくれればよい。<br/>
つまりprocAandBのような記述をして、実際の実行はprocAandB2のように行って欲しいのだ。<br/>
そうすれば余計な荷物を背負い込む必要はなかったはずだ。 </p>
<p>ところが、SQLを知らない汎用言語のコンパイラにそれを期待することは出来ないので、ライブラリとしてのDSLのレベルでSQLの合成とコンパイルを行ってくれれば良い。<br/>
ある計算をアプリケーション側とRDBMS側のどちらで実行するかも抽象化できれば理想的なので、クエリーとそれ以外のロジックをまとめてDSLで記述して適切にSQLと汎用言語にコンパイルもしくは逐次実行してくれると良いかもしれない。 </p>
<p>こういったことは、手続き的な言語上のO/Rマッパではおそらく相当に難しいはずだ。<br/>
functionalなDSLでは、当然どんなモデルに基づくDSLなのかによる。 </p>
<h2 id="dsl">どんなモデルに基づくDSLであれば良いか</h2>
<p>此処から先は多分に推測を含む。<br/>
そのようなDSLは、SQLと、汎用言語の側で計算してほしい部分のロジックの療法を理解する必要がある。<br/>
そして汎用言語側で行う処理は、リレーショナルモデルの範囲を超えたものであることが多い。<br/>
そのようなロジックとSQLの混合物を上手く記述するためには、DSLのモデルは関係モデルそのものではなく、関係モデルを包含するものか、全く別のモデルである必要があるだろうと思われる。<br/>
それは一体どんなモデルであろうか。<br/>
そういったモデルやDSLがすでに存在している可能性は高いが今のところ見つけられていない。 </p>
<p>しかしそのDSLライブラリが既存であろうがなかろうが重要なのはそのモデルがどんなものかということだ。<br/>
そのモデルは少なくともリレーショナルモデルを包含するか、もしくはその良いところを同じように持ち合わせている必要がある。<br/>
さらにリレーショナルモデルの欠点(もしあるならば)を克服していればさらに良いだろう。 </p>
<h2 id="">次回</h2>
<p>そのモデルなり具体的なDSLを見つけることができれば、それを調べて紹介したいと思う。<br/>
見つからなければ、リレーショナルモデルについての考察に移りたいと思う。</p>Unknownnoreply@blogger.com3tag:blogger.com,1999:blog-3816569039331410742.post-39987259767135971692013-09-18T20:57:00.000+09:002013-09-19T09:12:58.027+09:00関数プログラミングのボトルネックとしてのRDBMS<blockquote>
<p>プログラム開発は、多くの人々が目的達成のため、もがき苦闘するタールの沼である </p>
</blockquote>
<p>– Frederic P. Brroks, Jr., 人月の神話</p>
<blockquote>
<p>モジュール性はプログラミング成功の鍵である </p>
</blockquote>
<p>– John Hughes, 関数プログラミングはなぜ重要か </p>
<p><br/> </p>
<h2 id="">タールの沼の底から</h2>
<p> タールの沼と聞いて連想するのは大規模なSIである。業務アプリケーションやWebアプリケーションは規模が大きくなればなるほど、複雑さが増し収拾がつかなくっていく。そしてそのようなアプリケーションを大きな単位で上手くモジュール化し、さらには再利用することは不可能に近い。<br/>
その技術的な原因の一端、そして問題を解く鍵は、そのようなアプリケーションが常に携えているRDBMSの周辺にあり、さらに言えばおそらくRDBMSとアプリケーションロジックの組み合わせにあると考えている。<br/>
ここでは、アプリケーションロジックの実装に関数プログラミングを適用してもこの問題が容易には解決しないことを示し、この問題の根の深さと重要性を主張したい。 </p>
<h2 id="">関数プログラミングの強み</h2>
<p>関数プログラミングは、非常に強力である。その所以は関数が提供する高いモジュール性にある。<br/>
関数の純粋性を損ない、モジュール性を阻害する副作用はモナドを使って記述し、安全に分離しておくことができる。<br/>
これが関数プログラミングの強みである。 </p>
<h2 id="">関数プログラミングの弱み</h2>
<p>では関数プログラミングの弱点はなにか。<br/>
それは副作用を含む処理が大半を占めるようなシステムのプログラミングに対しては、その強みが発揮しづらいことである。そのような副作用が支配的なプログラミングとして、UI、ネットワーク、データベースプログラミングなどがある。どれも重要だが今回のターゲットはデータベースプログラミングである。 </p>
<h3 id="ui">UIプログラミング</h3>
<p>UIは、そもそもインタラクティブな入出力を扱うものである。ウィジェットやフォームといった部品がそれぞれ状態を持ち、ユーザからの入力という副作用を元にそれらの状態・表示を更新していかなければいけない。このため多くのロジックは必然的に副作用を含むものとなる。<br/>
このUIプログラミングはリアクティブプログラミングの主な応用領域のひとつである。UIとリアクティブプログラミングの組み合わせ、UIとRDBMSの組み合わせに関しての詳しい議論は別の機会としたい。ここではリアクティブプログラミングにより一応の解決策が与えられているとしよう。ネットワークプログラミングについても、リアクティブプログラミングの応用例があり、UIプログラミングと同様にここでは議論しない。 </p>
<h3 id="">データベースプログラミング</h3>
<p>最後がデータベースプログラミングでありこれが今回のターゲットである。<br/>
RDBMSとのやりとりもまた副作用であり、UIがシステムの末端に位置するのに対しRDBMSは中心に位置することが多い。<br/>
このRDBMSに対する副作用が、いかにモジュール性を阻害するかについて考えてみよう。<br/>
<br/></p>
<h1 id="rdbms">ボトルネックとしてのRDBMS</h1>
<hr />
<p>RDBMSを中心とするシステム、特にWebアプリケーションや業務アプリケーションなど、<br/>
外部からの入力をもとにRDBMSを操作するシステムにおいては、<br/>
関数プログラミングの利点は大きく阻害されることになる。<br/>
その理由について、リッチクライアントに対してAPIを提供するWebアプリケーションサーバの実装を例に考えてみたい。 </p>
<h2 id="api">API</h2>
<p>APIはクライアントからのリクエストを入力に取り、なんらかのレスポンスを出力する。<br/>
ここでレスポンスが、リクエストの内容だけから一意に決まるのであれば、レスポンスを生成するロジックは純粋な関数として記述でき全く問題ない。<br/>
しかし、そのようなAPIは明らかに非常に稀であり、多くのAPIがリクエストの内容に基づきRDBMSに対するクエリーを発行し、その結果をもってしてレスポンスを生成することとなる。<br/>
このようなAPIは副作用を含む手続きであり、純粋な関数としてみなすことはできない。<br/>
APIの内部のドメインロジックを分解していっても、重要なロジックほど内部にデータベースとのやりとりを含む。 </p>
<h2 id="">データベースのモジュール化の難しさ</h2>
<p>そこで状態の側、データベース自体を分割しモジュール化すればよいように思える。各テーブルやそれをまとめるスキーマといったものを利用できないだろうか。テーブルをグループ化することはもちろん出来る。しかしアプリケーションロジックをそのグループに合わせてモジュール化しようとしても、なかなか上手く行かない。なぜなら、個々ののAPIやビジネスロジックが、苦労して作ったテーブルのグループ分けをまたぐようにして状態にアクセスすることが頻繁に発生するからだ。<br/>
個々のロジックが複数のテーブルを結びつけていき、綺麗に分けることのできない塊にしてしまうのだ。 </p>
<h2 id="">巨大な単一オブジェクト</h2>
<p>その結果として、この種のプログラミングは、<br/>
RDBMSという複雑な状態を内部に抱え、メソッドとして多くのAPIを持つ、<br/>
巨大な単一オブジェクトの実装という様相を呈することになる。<br/>
俯瞰してみた場合のプログラムの大まかな構造は関数プログラミングの技法を使おうが使うまいが、変わらないということになってしまう。 </p>
<h2 id="mvc">オブジェクト指向とMVC</h2>
<p>この問題は、オブジェクト指向やMVCといった技法に基づきデータベースを抽象化しても全くかわらない。<br/>
またオブジェクト指向に基づきオブジェクトに分解することはもちろん可能である。しかしカプセル化や疎結合を実現しようと努力しても状態を通じた暗黙的なオブジェクト同士の依存関係を断ち切ることは<s>できない</s>難しい。可変状態を抱えるオブジェクトを苦労して分解したところで、それをつなぐ手続きの記述が煩雑になるばかりで全体の複雑さはなかなか下がらない。それはSOAの苦戦が示すところである。<br/>
オブジェクト指向の効能はもちろんある。しかしここで重要なのは、俯瞰的に見れば 手続き+RDBMS という構図は変わらないということだ。そしてそもそも手続きではなぜ駄目なのか、という点についてきちんと議論するのは本当に難しい。それを示すためには、手続き以外のもの、関数プログラミングやリレーショナルモデルが何を提供しているかについて詳しく見ていく必要があるだろう。オブジェクト指向に関しては今回の主要なターゲットではないので、別の機会に詳しく議論したい。 </p>
<h2 id="">ではリレーショナル・データベースが「悪い」のか</h2>
<p>そもそもRDBMSではなく、ほかのデータモデルに基づくDBMSを使ったらどうだろうか。しかし、ドキュメント指向データベースやグラフデータベース、オブジェクトデータベースなどを用いても問題が解決することはないだろう。<br/>
もしくは、そもそもDBMSを使わないという選択肢はないだろうか。<br/>
DBMSを使うその理由は永続化やトランザクションのためだけだろうか。<br/>
もしメモリ空間が無限大で、プロセスが永遠に落ちないのであれば、<br/>
データベースなど必要ないのだろうか。 </p>
<p>おそらくRDBMSを使わないという選択は、問題を悪化させる。それは、RDBMSの提供するトランザクションとリレーショナルモデルがすでにかなりの程度問題の度合いを軽減してくれているからだ。<br/>
この点については他の機会に詳しく議論したい。<br/>
<br/></p>
<h1 id="">気がつけばそこはタールの沼の底だった</h1>
<hr />
<p>各々のAPIは、DBMSを通じて暗黙的に相互に依存し合い、それにより個々のテーブルも結び付けられていき、さらに各「画面」もまた複数のAPIにまたがることになる。斯くしてAPIや画面といった単位より大きなモジュール性は完全に阻害されることになる。 </p>
<h2 id="">ではどうすればよいのか</h2>
<p>結局のところ問題の核心はどこなのだろうか。<br/>
RDBMSだけ、もしくはアプリケーションロジックだけであればそもそも問題は起こらなかったはずだ。その2つを組み合わせたときに初めて問題が起こるのである。<br/>
そしてこれは古の問題、パラダイムやモデルの異種接続が引き起こすインピーダンスミスマッチングよりも、おそらく根が深い。<br/>
RDBMS内の状態とアプリケーションロジックの結びつきがモジュール性を阻害することが問題の原因であるならば、それらの境界だけを見るのではなく、システム全体に視野を広げ、データベースモデルとプログラミングパラダイムの両面から抽象化のやり方について考え直す必要があるのではないだろうか。<br/>
さらにDBMSと汎用プログラミング言語という分業体制を懐疑的に眺めつつ、もし全体の抽象化についてやり直すとしたらどうすればよいか、ということもおそらく考えてみるべきだろう。 </p>
<h2 id="">次回の予定</h2>
<p>リアクティブプログラミングをもってしてもこの問題を解決するのは容易ではない。<br/>
それは第一にUIプログラミングと違い、状態がメモリ内部ではなく、DBMSという外部にあるからであり、第二に、データベースを宣言的な形で隠蔽・抽象化するということは、別のデータベースモデルを作ることに限りなく近いからだ。UIとリレーショナルモデルとリアクティブプログラミングについて考える前の準備として、次回はリレーショナルモデルの恩恵と問題点について考えてみたい。 </p>
<h2 id="">ご意見募集</h2>
<p>実務家、理論家の双方の方々からのご意見ツッコミを切に望みます。<br/>
コメント欄もしくはtwitterの@pokarimへどうぞ。 </p>
<h3 id="">ログ</h3>
<p> 2013/9/19:「オブジェクト指向とMVC」に修正・追記した。<br/>
2013/9/19:「ではどうすればよいか」に追記した。</p>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-24107663534864599262013-09-18T13:28:00.000+09:002013-09-18T13:28:32.548+09:00引っ越しましたブログを引っ越し、統合しました。<br />
<div>
今まで、具体的な言語やライブラリ関係の小ネタを本ブログ"Clojureで行こう"で、</div>
<div>
プログラミングパラダイムとかデータベースモデルに関するも比較的抽象的な話を</div>
<div>
<a href="http://d.hatena.ne.jp/pokarim/">"Conceptual Contexture"</a>というブログの方でやっていました。</div>
<div>
<br /></div>
<div>
どちらもほとんど更新していませんでしたが、</div>
<div>
今回2つのブログをひとつにまとめて再開することにしました。</div>
<div>
Clojureを最近は触っていないこともあり、タイトルはConceptual~の方にしました。</div>
<div>
<br /></div>
<div>
ソフトウェア開発やプログラミングに関する小ネタと、</div>
<div>
プログラミングやデータベースに関するモデルやパラダイムについての両方について</div>
<div>
書いていきたいと思っています。</div>
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-27581025526845205092011-12-07T11:55:00.003+09:002011-12-08T05:00:12.002+09:00Play Framework 2.0 と JSON ライブラリ Jerksonについて調べてみました。この記事は<a href="http://atnd.org/events/22247">Play! framework Advent Calendar 2011 jp #play_ja</a><br />の7日目です。<br />勢いで参加してみたものの、ネタが見つからず困っていたところ、@mumoshu さんのつぶやきが目にとまりました。<br /><br /><!-- QuoteURL styled embed start --> <blockquote class="quoteurl-block" style="margin:0;padding:0;"> <ol class="quoteurl-quote" style="background-color:#fff;color:#000;padding:.4em;border:1px solid #888;-moz-border-radius: .5em;border-radius: .5em;width:90%;max-width:700px;margin:auto;"> <li class="hentry status u-mumoshu" style="clear:both;list-style:none;padding-top:.7em;padding-bottom:.7em;border-top:1px dashed #ccc;position:relative;background-color:#fff;"> <div class="thumb vcard author" style="float:left;margin-right:1em;margin-left:.5em;"> <a class="url" href="http://twitter.com/mumoshu"><img width="48" height="48" style="border:none;" src="http://a0.twimg.com/profile_images/1662768704/dae8bfa8-e289-46b4-9424-843f9a914330_normal.png" class="photo fn" alt="むもしゅ" /></a> </div> <div class="status-body" style="margin-right:30px;padding-right:1em;"> <a class="author" style="font-weight:bold;" title="むもしゅ" href="http://twitter.com/mumoshu">mumoshu</a> <span class="entry-content" style="font-style:normal">この2日間のPlay 2.0は、Scala向けのJSON APIが変更されたり、Actionの合成方法がドキュメントにそった形になった。JSONの方は、使うライブラリがsjsonからJerksonへ変更。Jerksonをベースに、sjsonのようなAPIを実装している。</span> <span class="meta entry-meta" style="color:#888;font-family:georgia;font-size:0.8em;font-style:italic;"> <a rel="bookmark" class="entry-date" style="color:#888;text-decoration:none;" href="http://twitter.com/mumoshu/status/143316801227468800" onmouseover="this.style.textDecoration='underline';" onmouseout="this.style.textDecoration='none';"> <span title="2011-12-04 13:12:42" class="published">04 Dec 2011</span> </a> <span>from <a href="http://itunes.apple.com/us/app/twitter/id409789998?mt=12" rel="nofollow">Twitter for Mac</a></span> </span> </div> <div class="actions" style="position:relative;clear:both;"></div> </li> </ol> </blockquote><small class="quoteurl-cite" style="float:right;"> -- <a href="http://www.quoteurl.com/whk8k">this quote</a> was brought to you by <a href="http://www.quoteurl.com/">quoteurl</a></small> <!-- QuoteURL embed end --><br /><br />Jerksonというライブラリは全く知りませんでした。<br />調度良いのでこのJerksonについて調べたことを書こうと思います。<br />(Play20のplay.api.jsonは、現在絶賛開発中といった感じなので、これからしばらく不安定な様子です。<br />おそらくここに書くこともすぐに古くなると思いますのでご了承ください。)<br /><h2>Jerksonって?</h2><br /><a href="https://github.com/codahale/jerkson">Jerkson</a>は、Java JSON-processorであるところの<a href="http://jackson.codehaus.org/">Jackson</a>の、Scala wrapperです。<br /><br />これまで候補であったsjsonについては@eed3si9n さんの翻訳記事、<br /><a href="http://eed3si9n.com/ja/node/17" >sjson: Scala の型クラスによる JSON シリアライゼーション</a> に詳しく書かれています。sjsonは、implicit parameterによる型クラスエミュレートを使った便利なライブラリです。sjsonでは、型クラスを使うことでシリアライズ、デシリアライズプロトコルのカスタマイズ手段を提供しています。<br />sjsonからJackson/Jerksonに移行した理由はわかりませんが、ScalaとJavaを両方サポートするPlay!ではJavaベースのJacksonとそのScala wrapperというのが都合が良かったのかもしれません。<br />play.api.jsonでは、このJerksonに、sjsonライクなシリアライズ/デシリアライズプロトコルをかぶせた形になっています。<br />apiとしては、まずJsValue型とStringの相互変換をする2つの関数が用意されています。<br /><pre class="prettyprint"><br />def parseJson(input: String): JsValue = JerksonJson.parse[JsValue](input) <br />def stringify(json: JsValue): String = JerksonJson.generate(json)<br /></pre><br /><br />parseJsonは、StringからJsValueへ、stringfyはその逆で、JsValueをStringにします。<br />これらの中身はJerksonにそのままお任せで、特にカスタマイズも想定されていますん。<br />JsValue という型が中間表現になっていて、任意のScalaオブジェクトをJsValueにしてからStringにしたり、<br />JSON文字列をパースしてまずはJsValueにしてから、任意のScalaオブジェクトに変換することになります。<br />ちなみにJsValueという型は次のような構成になっています。<br /><pre class="prettyprint"><br />sealed trait JsValue {...}<br />case object JsNull extends JsValue {...}<br />case class JsUndefined(error: String) extends JsValue {...}<br />case class JsBoolean(override val value: Boolean) extends JsValue<br />case class JsNumber(override val value: BigDecimal) extends JsValue<br />case class JsString(override val value: String) extends JsValue<br />case class JsArray(override val value: List[JsValue]) extends JsValue {...}<br />case class JsObject(override val value: Map[String, JsValue]) extends JsValue {...}<br /></pre><br /><br />ベタにJSONのデータ構造そのままですね。<br />それぞれcase classなので、このままでも使うことができますが、ちょっと不便です。<br />そこで、任意の型との相互変換を行う関数として、次の2つが用意されています。<br /><br /><pre class="prettyprint"><br />def toJson[T](o: T)(implicit tjs: Writes[T]): JsValue = tjs.writes(o)<br />def fromJson[T](json: JsValue)(implicit fjs: Reads[T]): T = fjs.reads(o)<br /></pre><br /><br />Writes[T]がT型からJsValueへの変換を、<br />Reads[T]がJsValueからT型への変換を提供するオブジェクトの型になっています。<br />それぞれimplicitとなっているので、<br /><pre class="prettyprint"><br />import play.api.json.Reads._<br />import play.api.json.Writes._<br /></pre><br />などとしておけば、<br /><br /><pre class="prettyprint"><br />assert (toJson(Map("a"->2)).toString =="""{"a":2.0}""")<br />assert (fromJson[Int](parseJson("1")) == 1)<br />assert (fromJson[Map[String,SortedSet[Int]]](parseJson("""{"a":[1,5,3]}""")) == Map("a" -> SortedSet(1,3,5)))<br />assert (fromJson[Map[String,List[Int]]](parseJson("""{"a":[1,5,3]}""")) == Map("a" -> List(1,5,3)))<br /></pre><br /><br />といった形で、よくある感じの型にはデフォルトで変換プロトコルが提供されていて、<br />簡単に使うことができます。<br />ちなみにWrites[T] とReads[T]はこんな感じです。<br /><pre class="prettyprint"><br />trait Writes[T] {<br /> def writes(o: T): JsValue <br />}<br />trait Reads[T] {<br /> def reads(json: JsValue): T <br />}<br /></pre><br /><br />(Writes Readsの他に次のようなFormatという型も用意されています。おそらく今後これを実装したobjectが提供されるんだと思います。<br /><pre class="prettyprint"><br />trait Format[T] extends Writes[T] with Reads[T]<br /></pre><br />)<br /><br /><h2>カスタム変換プロトコル</h2><br />次に自分の好きな変換を提供する方法について考えてみます。<br />まずは、Reads[T]の実装をみてみます。<br />シンプルな例としてReads[Boolean]は次のようになっています。<br /><pre class="prettyprint"><br />implicit object BooleanReads extends Reads[Boolean] {<br /> def reads(json: JsValue) = json match {<br /> case JsBoolean(b) => b<br /> case _ => throw new RuntimeException("Boolean expected")<br /> }<br />}<br /></pre><br />def reads(json: JsValue):Boolean<br />な型のメソッドを持つReads[Boolean]なオブジェクトをimplicitで提供するだけですね。<br />変換したい型が、List[T]などのパラメータ化された型の場合はもう少し複雑になります。<br />List[Int]、List[Boolean]などについて個別にReads[List[Int]]などを用意していけば、<br />Reads[Boolean]と同じ形に書けますが、これだとList[List[List[Int]]]などのネストを考えると<br />事前にすべて用意する訳にはいかなそうです。<br />そこで、Tがなにかはわからないけれど、T(例えばIntだったりする何か)について変換する方法を<br />教えてくれれば、List[T]の変換方法を教えましょう、という形の関数を書くことになります。<br />Tの変換方法とはつまりReads[T]型のオブジェクトで、<br />List[T]の変換方法とはReads[List[T]]型のオブジェクトです。<br />なので型でいうと、Reads[T]型のオブジェクトを受け取って、Reads[List[T]]型のオブジェクトを返す関数を<br />書くことになります。実際のソースの該当部分は次のようになります。<br /><br /><pre class="prettyprint"><br />implicit def listReads[T](implicit fmt: Reads[T]): Reads[List[T]] = new Reads[List[T]] {<br /> def reads(json: JsValue) = json match {<br /> case JsArray(ts) => ts.map(t => fromJson(t)(fmt))<br /> case _ => throw new RuntimeException("List expected")<br /> }<br />}<br /></pre><br />ここで、implicit fmt: Reads[T]と、Reads[T]型の引数についてもimplicitが指定してあるので、<br />例えば先ほどのimplicit object BooleanReads extends Reads[Boolean] <br />などが提供されていれば、listReadsにBooleanReadsが暗黙に自動的に供給されて、<br />Reads[List[Boolean]] も自動的に供給されることになります。<br />この仕組みを使って、ここでは試しにReads[Either[A, B]]な変換方法の提供を考えてみたいと思います。<br />JSONは基本動的型付けなので、[1, 2, null]のように、<br />ひとつの配列の中に様々な型の値が一緒に入っていることがあります。<br />連想配列であれば、違うキーに対しては、むしろ別の型の値が入っていることの方が普通でしょう。<br />例えば、{"name":"milk", "price":150}のように。<br />こういったものでもEither型への変換ができればすこしだけ便利かもしれません。<br />Either[A,B]は型パラメータを二つとるので、変換方法もReads[A]とReads[B]の2種類が必要です。<br />fromJsonを使って型の変換に失敗したときは例外が投げられるので、それをキャッチして<br />分岐してもいいのですが、成功したときはSome[A]、変換に失敗したときなNoneを返してくれる<br />便利なasOptメソッドがあるのでここではそれを使ってみました。<br /><pre class="prettyprint"><br />implicit def eitherReads[A,B](implicit fmtA: Reads[A], fmtB: Reads[B]):Reads[Either[A, B]] =<br /> new Reads[Either[A, B]] {<br /> def reads(json: JsValue) =<br /> json.asOpt[A](fmtA) match {<br /> case Some(a) => Left(a)<br /> case None => Right(fromJson[B](json)(fmtB))<br /> }<br /> }<br /></pre><br /><br /><br /><pre class="prettyprint"><br />assert (fromJson[Either[String,Int]](json.parseJson("""1""")) == Right(1))<br />assert (fromJson[Either[String,Int]](json.parseJson(""""a"""")) == Left("a"))<br />assert (fromJson[List[Either[Either[Boolean,String],Int]]](json.parseJson("""["a",true, 5]""")) <br /> == List(Left(Right("a")), Left(Left(true)), Right(5.0)))<br /></pre><br />これでちょっとは便利になりましたが、Either型をたくさん使うと<br />どこかでパターンマッチをたくさん書くことになって、JsValueに対して<br />パターンマッチを書いていくのとあまり変わらないことになってしまいます。<br />なにより型の混ざった配列ならともかく、<br />{"name":"milk", "price":150}のような連想配列は<br />Map[String, Either[String,Int]]<br />に変換するのではなく、<br />case class Hoge(name:String, price:Int)<br />のような何らかのクラスに変換したいのが普通でしょう。<br />もちろん特定のcaseクラスへの変換を記述することはそれほど大変なことではありませんが、<br />case クラスがたくさんある場合は、ちょっと面倒そうです。<br />そんな時のために、sjsonでは、任意のcase クラスへの変換プロトコルを簡単に提供するための<br />便利な関数が用意されています。Scalaでは可変長の型引数はサポートされていないので、<br />case クラスのメンバの数に応じて、asProduct1、asProduct2、asProduct3...<br />といったメソッドが用意されています。<br />sjsonのソースでは、テンプレートを使ってこれらの定義が自動生成していますが、<br />ここではplay.api.json用に、asProduct3だけをポーティングしてみたいと思います。<br />まず、asProduct3のシグネチャは次のようになります。<br /><pre class="prettyprint"><br />def asProduct3[S, T1, T2, T3]<br /> (f1: String, f2: String, f3: String)<br /> (apply : (T1, T2, T3) => S)<br /> (unapply : S => Product3[T1, T2, T3])<br /> (implicit bin1: Format[T1], bin2: Format[T2], bin3: Format[T3])<br /> : Format[S]<br /></pre><br />まず、型パラメータの[S, T1, T2, T3] です。<br />ひとつめのSは、変換対象のcase クラスです。<br />T1,T2,T3はそれぞれ、caseクラスのメンバ変数の型になります。<br />最初の引数、<br />(f1: String, f2: String, f3: String)<br />は、メンバ変数に体操するJSONでのキーになります。<br />メンバ変数の名前と同じものになることも多いでしょう。<br />次の二つの引数 applyとunapplyは、<br /> (apply : (T1, T2, T3) => S)<br /> (unapply : S => Product3[T1, T2, T3])<br />caseクラスのコンパニオンオブジェクトのapply unapplyメソッド<br />を受け取ります。<br />最後に、各メンバ変数の型ごとにReads[T1]やWrites[T1]を供給するために<br />Format[T1]をimplicitに受け取ります。<br /><br />たとえば、case class Hoge(name:String, price:Int, flag:Boolean)<br />を、{"name":"...", "price":1234, "flag":true}に変換するのであれば、<br /><br />asProduct3[Hoge, String, Int, Boolean]<br />("name", "price", "flag")<br />(Hoge.apply)<br />(Hoge.unapply)<br />といった引数を渡すだけで、<br />Format[Hoge]の実装を得ることができます。<br />asProduct3の実装は次のような感じになります。<br /><pre class="prettyprint"><br />def asProduct3[S, T1, T2, T3](f1: String, f2: String, f3: String)<br /> (apply : (T1, T2, T3) => S)<br /> (unapply : S => Product3[T1, T2, T3])<br /> (implicit bin1: Format[T1], bin2: Format[T2], bin3: Format[T3])<br /> = new Format[S]{<br /> def writes(s: S) = {<br /> val product = unapply(s)<br /> JsObject(<br /> Map(<br /> (f1, toJson(product._1)),<br /> (f2, toJson(product._2)),<br /> (f3, toJson(product._3))<br /> ))<br /> }<br /> def reads(js: JsValue) = js match {<br /> case JsObject(m) =><br /> apply(<br /> fromJson[T1](m(f1)),<br /> fromJson[T2](m(f2)),<br /> fromJson[T3](m(f3))<br /> )<br /> case _ => throw new RuntimeException("object expected")<br /> }<br />}<br /></pre><br /><br />これを使えば、例えば次のようなcase クラスに対して、<br /><br /><pre class="prettyprint"><br />case class Shop(store: String, item: String, price: Int)<br /></pre><br /><br />次のように変換プロトコルを簡単に用意することができます。<br /><pre class="prettyprint"><br />object ShopProtocol {<br /> import DefaultFormat._<br /> implicit val ShopFormat: Format[Shop] =<br /> asProduct3("store", "item", "price")(Shop)(Shop.unapply(_).get)<br />}<br /></pre><br />詳しくは、sjsonのgithubの該当部分をご覧ください。<br />https://github.com/debasishg/sjson/blob/master/src/main/scala/sjson/json/Generic.scala<br /><br />以上です。<br />これを書いている間に日が変わってしまいました!ゴメンナサイ!!<br />次回12月8日は@hagikuratakeshiさんです。<br /><br />よろしくお願いします!!Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-43620087777255668782010-12-11T23:59:00.006+09:002010-12-12T02:31:52.612+09:00SQLAlchemyのモデルクラス用のFlaskコンバータを作ってみる最近、PythonのWebフレームワークの中では、軽量級のFlaskをよく使っています。<br />Flaskは、wsgiツールキット的なWerkzeugを基盤に構築されたフレームワークです。<br />Flaskではroutingの仕組みは、Werkzeugのものをほぼそのまま使い、<br />関数を簡単にコントローラとして公開できるようなデコレータが用意されています。<br />これはたとえば以下のように使います。<br /><br /><pre class="prettyprint"><br />@app.route("/post/<int:post_id>")<br />def show_post(post_id):<br /> return "hello"<br /></pre><br /><br /><int:post_id>というところに注目してください。<br />この定義により、"/post/10"や"/post/5"のようなURLにマッチし、<br />show_post関数の引数post_idに、マッチした部分をintに変換し<br />10や5といった値がわたってくる事になります。<br /><br />この<int:hoge>の部分は、Converterと呼ばれる仕組みで自作することができるようになっています。<br />今回は、SQLAlchemyとからめて、idを受け取って、特定のモデルクラスのインスタンスを<br />抽出するようなConverterを書いてみたいと思います。<br />モチベーションとしては、以下のようにIDをintとして受け取って、<br />そのidでインスタンスを検索し、なかったら404にするような操作を、<br /><pre class="prettyprint"><br />@app.route("/post/<int:post_id>")<br />def show_post(post_id):<br /> post = Post.query.get(post_id)<br /> if not post:<br /> raise werkzeug.exceptions.NotFound()<br /> return post.hoge()<br /></itntpost_id></pre><br />次のように、モデルと同名のコンバータを指定する事で、<br />自動でIDの文字列からインスタンスをfetchして引数として渡し、<br />もし該当IDがなければ、自動で404としてくれれば、便利かなという感じです。<br /><pre class="prettyprint"><br />@app.route("/post") # idが該当しなければ404<br />def show_post(post):<br /> return post.hoge()<br /></pre><br /><br />まず準備として、FlaskアプリとSQLAlchemyの初期化を行います。<br /><pre class="prettyprint"><br />from flask import Flask, request, url_for, redirect<br />from flaskext.sqlalchemy import SQLAlchemy<br />from sqlalchemy import Table, Column, Integer, Unicode<br />from sqlalchemy.orm import mapper<br />from werkzeug.routing import IntegerConverter, ValidationError<br /><br />app = Flask(__name__)<br /><br />app.config["SQLALCHEMY_DATABASE_URI"] = "sqlite:///test.db"<br />db = SQLAlchemy(app)<br /></pre><br /><br />アプリやデータベースの準備ができたら、<br />早速コンバータのベースクラスを定義してみましょう。<br /><br /><pre class="prettyprint"><br />class BaseModelConverter(IntegerConverter):<br /> def __init__(self, map):<br /> super(BaseModelConverter, self).__init__(map)<br /><br /> def to_python(self, value):<br /> id_ = super(BaseModelConverter, self).to_python(value)<br /> obj = self.model.query.get(id_)<br /> if not obj:<br /> raise ValidationError()<br /> return obj<br /><br /> def to_url(self, value):<br /> return str(value.id)<br /></pre><br />IntegerConverterを継承するので、正規表現的に\d+にマッチするかのチェックが<br />まず行われます。<br />to_pythonメソッドでは、valueつまりマッチした部分の文字列を受け取ります。<br />IntegerConverter.to_pythonに渡し、int値を得ます。(この時点で失敗すればその中でValidationErrorが投げられます)<br />このint値、つまりIDをもとにself.model.query.get(id_)により、インスタンスを取得し、<br />Noneが得られた場合はValidationErrorとします。<br />to_urlメソッドの方は、その逆に、インスタンスを受けて、そのidをstrにしたものを返すだけです。<br /><br />そして、モデルを定義するたびにコンバータを追加していると手間なので、<br />特定のベースモデルクラスを継承したモデルを定義すると自動で同名のコンバータを<br />追加するようなベースクラスを用意します。<br />ベースクラスとそのメタクラスの定義は次のようになります。<br /><br /><pre class="prettyprint"><br /><br />class BaseModelType(type):<br /> def __init__(cls, name, bases, attrs):<br /> super(BaseModelType, cls).__init__(name, bases, attrs)<br /> if name == 'BaseModel':<br /> return<br /> conv = type(name + "Converter", (BaseModelConverter,), dict(model=cls))<br /> app.url_map.converters[name] = conv<br /><br />class BaseModel(object):<br /> __metaclass__ = BaseModelType<br /></pre><br />BaseModelType.__init__の中では、<br />BaseModelのコンバータは不要なので、とりあえず名前で<br />BaseModelかどうかのチェックを行います。<br />そうでなければ、そのモデルの名前 + "Converter"<br />たとえば UserConverterのような名前の、BaseModelConverterを継承したクラスを生成します。<br />これは、<br /><pre class="prettyprint"><br />class UserConverter(BaseModelCOnverter):<br /> model = User<br /></pre><br />と同等です。<br />そして得られたコンバータクラスを、app.url_map.convertersに、モデルと同じ名前で登録します。<br />BaseModelは、BaseModelTypeをメタクラスとして持ち後は空のクラスです。<br /><br />ではこれをつかって試しにUserクラスを定義します。<br /><br /><pre class="prettyprint"><br />user_table = Table(<br /> "user_table", db.metadata,<br /> Column('id', Integer, primary_key=True),<br /> Column('name', Unicode(100)),<br />)<br /><br />class User(BaseModel):<br /> query = db.session.query_property()<br /> def __init__(self, name):<br /> self.name = name<br /><br />mapper(User, user_table)<br /></pre><br /><br />とりあえず、上記のように、idとnameだけを持つモデルを定義してみました。<br />あとはこれをつかったコントローラを書きます。<br />今回は紙面の都合上テンプレートの使用は省略して<br />直接文字列を返しておきます。<br /><br /><pre class="prettyprint"><br />@app.route("/detail/<User:user>", methods=('GET',))<br />def detail(user):<br /> return """<br /> <html><body><br /> <h1>%s</h1><br /> </body></html><br /> """ % user.name<br /><br /></user:user></pre><br />もう、説明することがないくらいシンプルなコントローラです。<br />あとは、Userインスタンスを登録し、そのリストを一覧でだせるようにしましょう。<br /><br /><pre class="prettyprint"><br />@app.route("/", methods=('GET',))<br />def users():<br /> userlist = "".join(<br /> '<a href="http://www.blogger.com/%s">%s</a>' % (<br /> url_for('detail', user=user), user.name)<br /> for user in User.query.all())<br /> return """<br /> <html><body><br /> %s<br /> <hr /><br /> <form method="post" action="/"><br /> <input type="text" name="name"><br /> <input type="submit"><br /> </form><br /> </body></html><br /> """ % userlist<br /><br />@app.route("/", methods=('POST',))<br />def add_user():<br /> user = User(request.form['name'])<br /> db.session.add(user)<br /> db.session.commit()<br /> return redirect(url_for('users'))<br /></pre><br />url_for('detail', user=user)の部分で、UserConverter.to_urlが内部で呼び出され、<br />適切なURL、たとえば/detail/1 といったURLが生成されることになります。<br /><br />これで準備はととのいました。<br />あとは、実行するだけです。<br /><br /><br /><pre class="prettyprint"><br />if __name__ == "__main__":<br /> db.metadata.create_all(db.engine)<br /> app.debug=True<br /> app.run(host="127.0.0.1",port=8000)<br /></pre><br /><br />と最後にかいて、ファイル全体をmain.pyなどの適当な名前で保存し、<br />python main.py<br />とすればサーバが立ち上がります。<br />適当にユーザを追加して動作を確認しましょう!<br /><br />今回はモデルのIDをマッチする単純なものでしたが、<br />id以外のカラムにマッチしたり、難読化したidにマッチしたり、<br />制限時間付きのhmacトークンを埋め込むURLを生成したりといったことが<br />コンバータの追加で行う事ができます。ちょっとしたことではありますが、<br />コンバータで抽出、整合性のチェックを行い、失敗すれば404にしてくれるのは<br />地味に便利だったりします。<br />皆さんもFlaskやWerkzeugを使って便利なコンバータを使って、<br />すてきな Python Web FWライフを!<br />ということでつぎは、@r_rudi にバトンを渡したいと思います。よろしく!>@r_rudi<br /><br /><br /><br /></int>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-24700195165808900012009-12-16T19:24:00.002+09:002009-12-18T13:10:23.323+09:00zope.sqlalchemyの紹介<a href="http://tarakomania.blog.so-net.ne.jp/2009-12-15">中西さん</a>より<a href="http://plone.jp/documentation/advent-calendar/2009">Zope/Ploneアドベントカレンダー</a>のバトンを頂戴したので、Zope/Ploneネタを書いて16日目を担当したいと思います。<br /><br /><div>普段の仕事ではZope/PloneよりもSQLAlchemyなどを使いつつRDBMSを使用するようなフレームワークを使うことの方が多いです。</div><div>どんなネタにしようかとすこし悩みましたが、Zope/PloneからSQLAlchemy越しにRDBMSにアクセスする方法について調べてみました。</div><div><br /></div><div>Zopeは自前のオブジェクトデータベースZODBを持っているのでZope/PloneからRDBMSを使用する機会はあまりありませんが、既存のデータベースとやりとりが必要になることは、たまにあります。</div><div>ZopeからRDBMSを操作する方法としては、</div><div><a href="http://www.zope.org/Documentation/Guides/ZSQL-HTML/ZSQL.html">Z SQL Method</a></div><div>を使用するが昔からあって、</div><div>select * from products where id=<dtml-sqlvar type="string"></div><div>このような感じで使用するようですが、ちょっと古い感じがしないでもないです。</div><div><br /></div><div>現在PythonでSQLとなれば、</div><div>The Python SQL Toolkit and Object Relational Mapperであるところの</div><div>SQLAlchemyを使うのが一般的です。</div><div>ということで、<a href="http://pypi.python.org/pypi/zope.sqlalchemy/0.4">zope.sqlalchemy</a>を使う方法を調べてみました。</div><div><a href="http://pypi.python.org/pypi/zope.sqlalchemy/0.4">zope.sqlalchemy</a>は、"<span class="Apple-style-span" style=" font-style: italic; line-height: 17px; font-family:Arial, Verdana, Geneva, 'Bitstream Vera Sans', Helvetica, sans-serif;">Minimal Zope/SQLAlchemy transaction integration"<span class="Apple-style-span" style=" font-style: normal; line-height: normal; font-family:Georgia, serif;">ということで</span></span></div><div>ZopeのトランザクションとSQLAlchemyのトランザクションを統合してくれる</div><div><span><span>ツールのようで、その際、きちんと<a href="http://ja.wikipedia.org/wiki/2%E7%9B%B8%E3%82%B3%E3%83%9F%E3%83%83%E3%83%88">二相コミット</a>もしてくれるようです。</span></span></div><div><span class="Apple-style-span" style=" font-style: italic; font-family:Arial, Verdana, Geneva, 'Bitstream Vera Sans', Helvetica, sans-serif;"><span class="Apple-style-span" style=" font-style: normal; line-height: normal; font-family:Georgia, serif;"><a href="http://pypi.python.org/pypi/zope.sqlalchemy/0.4">zope.sqlalchemy</a>の守備範囲は、トランザクションに関してだけで、データベースエンジンやデータモデルの記述については特別なサポートはありません。</span></span></div><div><span class="Apple-style-span" style=" font-style: italic; line-height: 17px; font-family:Arial, Verdana, Geneva, 'Bitstream Vera Sans', Helvetica, sans-serif;"><span class="Apple-style-span" style=" font-style: normal; line-height: normal; font-family:Georgia, serif;">つまり、SQLAlchemyの作法に則って、DBエンジンやモデルについての記述を行うことはできるけれども、ZMIからデータベースエンジンの設定を行ったり、zcmlで定義したり、Zopeのオブジェクトモデルとマッピングしたり、といった機能はなく、あくまでトランザクションの統合機能だけが提供されます。</span></span></div><pre class="prettyprint">>>> from sqlalchemy import create_engine<br />>>> engine = create_engine("mysql://hoge", convert_unicode=True)<br />>>> from sqlalchemy.orm import scoped_session, sessionmaker]<br />>>> from zope.sqlalchemy import ZopeTransactionExtension<br />>>> Session = scoped_session(sessionmaker(bind=engine,<br />... twophase=True, extension=ZopeTransactionExtension()))<br />>>> session = Session()<br />>>> session.add(Hoge(name='fuga'))<br />>>> session.query(Hoge).all()<br />[<hoge fuga="">]<br />>>> import transaction<br />>>> transaction.commit()<br /></hoge></pre><br />とこんな感じの使い方になるようです。<br />(詳しくは<a href="http://pypi.python.org/pypi/zope.sqlalchemy/0.4">zope.sqlalchemy</a>を参照してください。)<br />ポイントは、<br /><pre class="prettyprint">sessionmaker(bind=engine,<br />twophase=True, extension=ZopeTransactionExtension())<br /></pre><br />の部分と<br /><pre class="prettyprint">>>> import transaction<br />>>> transaction.commit()<br /></pre><br />のところです。<br /><br /><br />コードの説明に入るまえに、そもそもなぜトランザクションの統合が必要になるか、ということについて簡単に説明します。<br /><br /><a href="http://ja.wikipedia.org/wiki/%E3%83%88%E3%83%A9%E3%83%B3%E3%82%B6%E3%82%AF%E3%82%B7%E3%83%A7%E3%83%B3">Wikipediaのトランザクション</a>の項によると、<br />"トランザクション (transaction) とは、分ける事の出来ない一連の情報処理の単位である"とあります。<br />つまりひとつのトランザクションに含まれる処理であれば、全部が成功もしくは全部が失敗のどちらかになるべきで、一部が失敗して一部が成功した、といった状態になったら困るわけです。これを実現するために、ひとつの<br />トランザクション処理の途中で、なんらかの不都合が発生した場合、そこまでの処理をすべてなかったことにするロールバックや、すべての処理が成功した段階で、変更結果を永続化させるコミットの機能がZODBやRDBMSにより提供されます。<br /><br />ZopeのZODBはトランザクションをサポートしており、作法に則ったやり方でZODBにアクセスすれば、処理の途中で例外が発生した場合ロールバックされ、一貫性が保たれます。<br />しかし、そこでロールバックされるのは当然ZODBに対する書き込み操作のみで、もし直接外部のRDBMSに対して書き込みを行っていた場合、その処理まで自動でロールバックされるわけではありません。すると、Zope/Ploneとしては処理が途中で失敗したのでロールバックを行い、ZODBの中身的には変更が無かったことになっているのに、外部のRDBMS には処理が成功したかのように変更が書き込まれてしまう、といった結果になる可能性があります。多くの場合において、これは望んだ結果ではないでしょう。<br />これを防ぐには、ZODBとRDBMSに対するふたつのトランザクションを統合し、ZODBに対する処理とRDBMSに対する処理が、両方成功するか、両方失敗するか、どちらかであるようにする必要があります。<br /><br />これを実現する中核となるのが、zope.sqlalchemy.ZopeTransactionExtensionです。これはSQLAlchemyの<br /><a href="http://www.sqlalchemy.org/docs/05/session.html#extending-session">extending-session</a>という機能を利用したもので、<br /><a href="http://www.sqlalchemy.org/docs/05/reference/orm/interfaces.html#sqlalchemy.orm.interfaces.SessionExtension">sqlalchemy.orm.interfaces.SessionExtension</a>を継承(or実装。ここらへんはPythonなので微妙なところですね。)したクラスです。このクラスを使用することにより、zope.sqlalchemyはセッションの開始や、セッションの中でオブジェクトの追加や変更、削除などをフックすることができます。<br />でもって、セッションの開始でTwoPhaseSessionDataManagerインスタンスを作成し、zope_transaction.get().join(TwoPhaseSessionDataManager(session, state))<br />のような感じでzopeのトランザクションに結びつけます。<br />そして、SQLAlchemyのセッションでオブジェクトの変更などをフックして、状態を初期状態のSTATUS_ACTIVEからSTATUS_CHANGEDに変更します。<br />そんでもって<br /><pre class="prettyprint">>>> import transaction<br />>>> transaction.commit()<br /></pre><br />によりzopeのトランザクションがコミットされた場合は、TwoPhaseSessionDataManagerのメソッドが呼び出され、<br />もし状態がSTATUS_CHANGEDになっていれば、二相コミットを行います。<br /><br /><br /><br />STATUS_ACTIVE/STATUS_CHANGEDと、2相コミットに関して補足します。<br /><br />2相コミットとは、複数のデータベースが存在する時に、各トランザクションを統合して、全体として成功/失敗のどちらかにするための技術です。ちょっと説明が適当なので、<br />詳しくは<br /><a href="http://ja.wikipedia.org/wiki/2%E7%9B%B8%E3%82%B3%E3%83%9F%E3%83%83%E3%83%88">Wikipedia:"2相コミット"</a>を参照してください。<br />例えば、データベースAとBがあった場合、よくありそうな問題としては、全部の処理がうまくいったので、<br />まずAにコミットして成功し、つぎにBに対してコミットを行おうとしたら、コミットに失敗してしまった、という状況です。<br />これを防ぐために2相コミットでは、トランザクションのコミットしようとするとき、<br />参加しているデータベースに対して、コミットが可能であるか、まず全員に質問します。ここで、全員から同意が得られれば、全体をあらためてコミットします。逆に、どれかひとつでも同意が得られなかった場合は、全体をロールバックさせます。この2相コミットを使用すれば、DBMSが落ちる、DBMSとのネットワークが切れるなどの事態が肝心なタイミングで発生しなければ、全体の一貫性を保つことができます。<br />この2相コミットは、それなりに面倒な処理です。RDBMSの方に書き込みを行わなかった場合、そもそも2相コミットを行う必要がありません。このためにzope.sqlalchemyでは、SQLAlchemyのセッションに変更操作を行ったかどうかを、STATUS_ACTIVE/STATUS_CHANGEDという状態により管理し、zopeのtransaction.commit()時にSTATUS_ACTIVEのままであれば2相コミットを省略するような動きになっているようです。<br />STATUS_ACTIVE/STATUS_CHANGEDの状態は、sqlalchemy.orm.interfaces.SessionExtensionのafter_bulk_updateメソッドなどが呼び出されるタイミングで、STATUS_CHANGEDに変更されます。<br />このフックメソッドは、次のようにORMを通さないでSQLが発行された場合は呼び出されません。<br />(よびだしてくれればいいような気がしますが。)<br /><br /><pre class="prettyprint">>>> conn = session.connection()<br />>>> conn.execute(update_expression)<br /></pre><br />この問題を防ぐため、このような場合には、つぎのように明示的にSTATUS_CHANGEDをセットします。<br /><pre class="prettyprint">>>> from zope.sqlalchemy import mark_changed<br />>>> mark_changed(session)<br /></pre><br /><追記 2009-12-18><div>sessionmakerの作成の際に、<span class="Apple-style-span" style="font-family: monospace; font-size: 13px; white-space: pre; ">twophase=Falseにしておけば、2相コミットをせずに</span></div><div><span class="Apple-style-span" style="font-family:monospace;font-size:100%;"><span class="Apple-style-span" style="font-size: 13px; white-space: pre;">動いてくれます。当然不整合が起こる可能性は高くなりますが。</span></span></div><div><span class="Apple-style-span" style="font-family:monospace;font-size:100%;"><span class="Apple-style-span" style="font-size: 13px; white-space: pre;">あと、twophase=Trueの場合は、当然ですがRDBMS側でも2相コミットが可能な設定になっている必要があります。</span></span></div><div><div></追記></div><div><br />ということで、ということで、次のバトンは昔からブログでお世話になっているPythonの大先輩の<a href="http://nakagami.blog.so-net.ne.jp/">nakagamiさん</a>にお願いします。</div></div>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-58714979447390854352009-12-06T22:56:00.001+09:002009-12-06T22:59:57.366+09:00<a href="http://www.infoq.com/jp/news/2009/11/clojars-leiningen-clojure">InfoQ ClojarsとLeiningenを使ったClojure向け自動ライブラリ依存関係管理</a><br/><br />PythonのPYPI、easy_install/pipにあたるもののようだ。Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-44359806548792399472009-12-06T18:02:00.003+09:002009-12-06T22:53:39.632+09:00slime + swank-clojureの続きslime + swank-clojureが、やっぱり調子が悪く、<br />どうもClojure1.1との組み合わせの問題のようなので<br /><a href="http://github.com/stuarthalloway/swank-clojure/tree/clojure-1.1">http://github.com/stuarthalloway/swank-clojure/tree/clojure-1.1</a><br />のswank-clojureを使ったらうまく動いた。<br/><br /><br /><br/><br />(追記)<br/>結局<br /><a href="http://github.com/technomancy/swank-clojure/tree/clojure-1.1">http://github.com/technomancy/swank-clojure/tree/clojure-1.1</a><br />の方に変更した。Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-14117877299460526902009-12-05T09:56:00.004+09:002009-12-05T10:54:29.604+09:00slime + swank-clojureが動かない<a href="http://riddell.us/tutorial/slime_swank/slime_swank.html">Clojure with Emacs and Slime/Swank on Ubuntu</a>を参考にemacs + slime + swank-clojureでプログラミングしてるのだけれど、<br />最近のslimeとswank-clojureの組み合わせがこける。<br /><a href="http://groups.google.com/group/clojure/browse_thread/thread/3e5f416e3f2a1884">SLIME REPL broken</a><br />を参考に、<br/><br />"/home/hokari/opt/swank-clojure/src/main/clojure/swank/core/protocol.clj"<br />を<br/><br />@@ -4,6 +4,20 @@<br /><br> </p><p> ;; Read forms<br /><br> + (def #^{:private true}<br /><br> + *percent-re* #"%")<br /><br> +<br /><br /><br> +(defn- fix-percent<br /><br> + "Replace double colons with a /."<br /><br> + ([text] (.replaceAll (re-matcher *percent-re* text) "?")))<br /><br> +<br /><br> +(def #^{:private true}<br /><br> + *double-colon-re* #"::")<br /><br /><br> +<br /><br> +(defn- fix-double-colon <br> + "Replace double colons with a /."<br /><br> + ([text] (.replaceAll (re-matcher *double-colon-re* text) "/")))<br /><br> +<br /><br> (def #^{:private true}<br /><br> *namespace-re* #"(^\(:emacs-rex \([a-zA-Z][a-zA-Z0-9]+):")<br /><br /><br> </p><p> (defn- fix-namespace<br /><br> @@ -50,7 +64,7 @@<br /><br> ([#^java.io.Reader reader]<br /><br> (let [len (Integer/parseInt (read-chars reader 6 read-fail-exception) 16)<br /><br> msg (read-chars reader len read-fail-exception)<br /><br /><br> - form (read-string (fix-namespace msg))]<br /><br> + form (read-string (fix-namespace (fix-double-colon (fix-percent msg))))]<br /><br> (if (seq? form)<br /><br /><br> (deep-replace {'t true} form)<br /><br> form))))<br /><br />のようなかんじにしたら動いた。<br />Common LispとClojureで"%"や"::"の意味とか許可/不許可が違うせい、<br />ということみたい。Unknownnoreply@blogger.com3tag:blogger.com,1999:blog-3816569039331410742.post-50574563053077573422009-11-16T19:01:00.003+09:002009-11-16T19:14:46.784+09:00ClojureのvectorやlistをJavaの配列にキャストする方法ClojureからJavaのメソッドを呼び出すときなどに、<br />ClojureのvectorからString[]やint[]などにキャストする必要がある場合、<br />to-arrayやinto-arrayを使うとキャストできる。<br /><pre class="prettyprint"><br />user> (to-array ["a" "hello"])<br />#<object[]> <br />user> (into-array ["a" "hello"])<br />#<string[]> <br />user> (into-array String ["a" "hello"])<br />#<string[]> <br />user> (into-array Number [1 1.2])<br />#<number[]> <br />user> (into-array [1 2])<br />#<integer[]> <br />user> (into-array [1 1.2]) ;これはエラーに<br />; Evaluation aborted.<br /></pre>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-54979169447819851342009-06-05T00:15:00.002+09:002009-06-05T00:23:15.227+09:00UsedのThinkpad X60s購入UsedのThinkpad X60sを¥39,800で購入しました。ちなみに英語キーボードです。<br />Ubuntuを入れて快調です。メモリは2G追加。<br />インストールはUSBメモリからで、ひっかかることもなく<br />とても簡単にできました。無線LANもデフォルトで使用できました。<br />右パームレスト部分が無線LANカードの発熱のために熱くなりますが、<br />これは仕様なようです。無線OFFにしておくと熱くならなかったし、<br />無線もともと使わない予定なので問題なし。<br />久方ぶりにマイノートPCを手に入れ感無量。<br />半年くらいしたらSSDにしたいなぁと妄想は膨らむ。Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-42239717459221132022009-05-31T19:54:00.004+09:002009-06-01T08:54:19.314+09:00JavaOne 2009 Script BowlJavaOne 2009では、去年のJavaOne 2008に引き続きScript Bowlのセッションがあるようです。<br />Script Bowlでは、JavaVM上のスクリプト言語同士でプログラミング対決をしたり、<br />言語の特長を紹介したりするようです。<br />去年は、Scala,Groovy,JRuby, Jythonだったのですが、<br />今年はこれにClojureが加わって5つの言語で対決するようです。<br />JavaVM上のスクリプト言語は、他にも山ほどあるわけで、<br />JavaOneで5つめに選ばれたってことは、けっこう注目度がたかいということでしょうか。<br />これをきっかけにさらに盛り上がるといいなぁ。Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-66395883505023482172009-05-19T22:26:00.003+09:002009-05-20T00:20:33.946+09:00Clojure勉強の進捗1.Clojureでマクロ<br />マクロの練習に、パターンマッチングのマクロを書いた。<br />マクロの基本的な書き方や、mapやvector、sequenceの基本もわかってきた。<br /><br />gitの使い方を覚えて、antの使い方の基礎を覚えたら、<br />githubにのせてみたい。<br /><br />2.Clojureでモナド<br />Clojure.contrib.monadsの使い方を下記の解説をみて覚える。<br /><a href="http://intensivesystems.net/tutorials/monads_101.html">Monads in Clojure</a><br /><a href="http://onclojure.com/2009/03/05/a-monad-tutorial-for-clojure-programmers-part-1/">A monad tutorial for Clojure programmers (part 1)</a><br /><a href="http://onclojure.com/2009/03/06/a-monad-tutorial-for-clojure-programmers-part-2/" rel="bookmark">part 2</a><br /><a href="http://onclojure.com/2009/03/23/a-monad-tutorial-for-clojure-programmers-part-3/" rel="bookmark">part 3</a><br /><a href="http://onclojure.com/2009/04/24/a-monad-tutorial-for-clojure-programmers-part-4/">part 4</a><br /><br /><a href="http://stefan-klinger.de/">http://stefan-klinger.de/</a><br />のところにある<br /><a href="http://stefan-klinger.de/files/monadGuide.pdf" title="download file" class="paper">The Haskell Programmer's Guide to the IO Monad — Don't Panic</a>.<br />をもう一度読む。<br /><a href="http://www.haskell.org/arrows/syntax.html" target="_blank">Arrow syntax</a><span style="text-decoration: underline;"><br /></span><a href="http://www.kotha.net/ghc_users_guide_ja/arrow-notation.html#id2667629" target="_blank">8.10. アロー記法</a><br />も読んでArrowも理解したい。<br /><br />3.その他<br />軽くJavaの復習。antやJDEEなども。<br />あと<a href="http://www.amazon.com/dp/0201310090">Concurrent-Programming-Java-TM-Principles</a><br />を注文したのできたら読む。<br /><br /><a href="http://www.lwjgl.org/">LWGL - Lightweight Java Game Library</a><br />というのを見つけた。よさそう。Unknownnoreply@blogger.com1tag:blogger.com,1999:blog-3816569039331410742.post-47211043652158166842009-05-10T18:03:00.012+09:002009-05-13T10:10:18.067+09:00Tokyo CabinetをUbuntuにインストール<a href="http://tokyocabinet.sourceforge.net/">Tokyo Cabinet</a><br />Tokyo CabinetはHirabayashi Mikio 氏により新しく実装された高速なDBMです。<br /><br />DBMというのは、Database Managerの略で、非常にシンプルなキー:バリュー型の<br />データベースです。プログラミングでいうところのハッシュマップや連想配列、辞書と同じような機能を、ファイル上に永続化して使用できるというようなものです。<br /><a href="http://ja.wikipedia.org/wiki/Berkeley_DB">Berkeley DB</a>などが有名です。<br /><br />Tokyo Cabinetは、とても新しく実装されたDBMで、<br />高速な処理や非常に大きいデータベースファイルを扱えるなどのすぐれた<br />特徴を持ち、Java,Perl,Ruby,Lua用のAPIが公式に用意されています。<br /><br />ClojureでオレオレDBMSを実装するためのバックエンドとして使いたいと思っているので、<br />今回はまず、UbuntuにTokyo CabinetとJava APIをインストールします。<br /><br /><pre class="prettyprint">sudo apt-get update<br />wget http://tokyocabinet.sourceforge.net/tokyocabinet-1.4.20.tar.gz<br />sudo apt-get install build-essential<br />sudo apt-get install zlib1g-dev <br />sudo apt-get install libbz2-dev<br /><br />wget http://tokyocabinet.sourceforge.net/tokyocabinet-1.4.20.tar.gz<br />tar xzvf tokyocabinet-1.4.20.tar.gz<br />cd tokyocabinet-1.4.20<br />export CPPFLAGS="-I/usr/lib/jvm/java-6-openjdk/include/"<br />export JAVA_HOME=/usr/lib/jvm/java-6-openjdk<br />export PATH=$JAVA_HOME/bin:$PATH<br /><br />./configure<br />make<br /></pre><br />ここで前回インストールしたPacoを使用して<br /><pre class="prettyprint">sudo make install</pre><br />のかわりに、<br /><pre class="prettyprint">sudo paco -D make install</pre><br />としてインストールしてみた。<br />つぎにJava用APIをインストール。<br /><br /><pre class="prettyprint">wget http://tokyocabinet.sourceforge.net/javapkg/tokyocabinet-java-1.18.tar.gz<br />tar xzvf tokyocabinet-java-1.18.tar.gz<br />cd tokyocabinet-java-1.18<br />./configure<br />make<br />make check<br />sudo paco -D make install<br /></pre><br /><br /><a href="http://tokyocabinet.sourceforge.net/javadoc/">http://tokyocabinet.sourceforge.net/javadoc/</a><br />にあるサンプルを実行。<br /><br /><pre class="prettyprint">import tokyocabinet.*;<br />% cat TCHDBEX.java<br />import tokyocabinet.*;<br /><br />public class TCHDBEX {<br /> public static void main(String[] args){<br /> HDB hdb = new HDB();<br /> if(!hdb.open("casket.tch", HDB.OWRITER | HDB.OCREAT)){<br /> int ecode = hdb.ecode();<br /> System.err.println("open error: " + hdb.errmsg(ecode));<br /> }<br /> if(!hdb.put("foo", "hop") ||<br /> !hdb.put("bar", "step") ||<br /> !hdb.put("baz", "jump")){<br /> int ecode = hdb.ecode();<br /> System.err.println("put error: " + hdb.errmsg(ecode));<br /> }<br /> String value = hdb.get("foo");<br /> if(value != null){<br /> System.out.println(value);<br /> } else {<br /> int ecode = hdb.ecode();<br /> System.err.println("get error: " + hdb.errmsg(ecode));<br /> }<br /> hdb.iterinit();<br /> String key;<br /> while((key = hdb.iternext2()) != null){<br /> value = hdb.get(key);<br /> if(value != null){<br /> System.out.println(key + ":" + value);<br /> }<br /> }<br /> if(!hdb.close()){<br /> int ecode = hdb.ecode();<br /> System.err.println("close error: " + hdb.errmsg(ecode));<br /> }<br /><br /> }<br />}<br /><br />% javac TCHDBEX.java<br />% ls<br />TCHDBEX.class TCHDBEX.java% java TCHDBEX<br />hop<br />foo:hop<br />bar:step<br />baz:jump<br /><br />% ls<br />TCHDBEX.class TCHDBEX.java casket.tch<br /></pre><br /><br />インストールは成功した模様。Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-62432650633487649522009-05-10T17:53:00.007+09:002009-05-10T18:04:52.025+09:00PacoをUbuntuにインストール<a href="http://d.hatena.ne.jp/rx7/20081011/p2">"make install"したソフトウェアを管理できる超便利ツール「Paco」</a><br />を参考にPacoをUbuntuにインストール。<br /><pre class="prettyprint"><br />sudo apt-get update<br />sudo apt-get install build-essential<br />sudo apt-get install libgtkmm-2.4-dev<br />wget http://downloads.sourceforge.net/paco/paco-2.0.6.tar.gz<br />tar zxvf paco-2.0.6.tar.gz<br />cd paco-2.0.6/<br />./configure<br />make<br />sudo make install<br />sudo make logme</pre>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-45073313338569962572009-05-08T09:20:00.005+09:002009-05-08T16:35:00.158+09:00Clojure 1.0<a href="http://groups.google.com/group/clojure/browse_thread/thread/1e661d16bd910ddd">Clojure 1.0 - Clojure</a> Clojure | Google Groups<br /><a href="http://clojure.blogspot.com/2009/05/clojure-10.html">Clojure: Clojure 1.0</a>News about Clojure by Rich Hickey<br /><br />ついにClojureの1.0がでました。<br />Congratulation!Unknownnoreply@blogger.com1tag:blogger.com,1999:blog-3816569039331410742.post-70782813375731156572009-05-04T11:30:00.004+09:002009-05-04T11:39:05.861+09:00zsh上でsvnの補完がエラーになるzsh上でsvnコマンドの補完が<br />_arguments:comparguments:303: invalid argument: ARG<br />というメッセージとともにエラーになる症状になった。<br />どうも、subversion1.5とzsh4.3.4の組み合わせで、<br />zsh4.3.4の<br />/usr/share/zsh/4.3.4/functions/_subversion<br />が、subversion1.5での変更に対応していないことが原因のよう。<br /><a href="http://d.hatena.ne.jp/sotarok/20080813/1218649287">http://d.hatena.ne.jp/sotarok/20080813/1218649287</a><br />こちらを参考に、<br /><pre><br />% curl -O http://gvn.googlecode.com/svn/trunk/contrib/zsh/_subversion<br />% sudo mv _subversion /usr/share/zsh/site-functions<br /></pre><br />で解決しました。<br />ありがとうございます。Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-79350512219406314702009-05-01T21:48:00.004+09:002009-05-03T18:43:39.344+09:00ScalaをUbuntuにインストールUbuntuにScalaをインストール。<br />http://lovehateubuntu.blogspot.com/2008/05/adventures-in-scala-part-i.html<br />http://d.hatena.ne.jp/riue/20080105/1199552108<br />を参考にしました。<br /><br />Javaは前回のClojureのインストール時に<br />sudo apt-get install openjdk-6-jdk<br />でインストール済み。<br /><pre class="prettyprint">wget http://www.scala-lang.org/downloads/distrib/files/scala-2.7.4.final.tgz<br />tar xzvf scala-2.7.4.final.tgz <br />sudo mv scala-2.7.4.final /usr/share/scala<br />sudo ln -s /usr/share/scala/bin/scala /usr/local/bin/scala<br />sudo ln -s /usr/share/scala/bin/scalac /usr/local/bin/scalac</pre><br />ビルドをしていないので、<br />ダウンロードしてパスを通しただけです。<br />.emacsに<br /><pre class="prettyprint">(add-to-list 'load-path "/usr/share/scala/misc/scala-tool-support/emacs")<br />(require 'scala-mode-auto)<br />(setq scala-interpreter "/usr/local/bin/scala")</pre>Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-85414552514931522172009-04-29T22:50:00.008+09:002009-05-03T18:36:47.033+09:00Clojureの紹介Clojureの特徴。<br /><br />-JavaVMの上で動く<br />-Lispの新しい方言<br />-動的型付けの純粋でない関数型言語<br />-STMによる並行処理<br />-豊富でimmutableなデータ型<br />-遅延シーケンス<br /><br />というところあたり。<br /><br />1.JavaVMの上で動く<br />JavaVMの上で動く言語は、ScalaやGroovy、ABCLなど<br />たくさんある。<br /><br />これらの中でClojureは新しいほう。<br />JavaVMの上での言語開発の利点は、Javaとの連携が容易で<br />Javaの豊富なライブラリを利用できる点と、<br />JVMの高いパフォーマンス、マルチプラットフォーム対応<br />ガーベージコレクタなどの恩恵を受けられる点など。<br /><br />2.Lispの新しい方言<br /><br />Common LispやR5RSなどの仕様によらない、<br />新しく設計されたLispの方言。<br />当然コードはS式でマクロが使える。<br />新しいLispという意味では、ポールグレアムのArcなどと同様ですね。<br />JVM上のLispは、Common Lisp on JVMのABCL、<br />Scheme on JVM のSISCやKAWAなどがあるが、<br />新規設計のLisp方言onJVMはClojure以外にいまのところなさそう。<br />リーダマクロが独自定義できない、<br />末尾再帰最適化がないなどの理由から、<br />Common Lispなどからきたユーザには窮屈に感じられそう。<br /><br />Lisp以外からきたユーザには、Common LispやSchemeより<br />逆にとっつきが良いかもしれない。<br /><br />主観的な感想だが、<br />Common Lispの無骨な感じや歴史からくる複雑さ、<br />Schemeの原理主義的な感じから比べて、<br />Clojureには、PythonやRubyのような<br />ユーザに優しい雰囲気が感じられる。<br /><br />3.動的型付けの純粋でない関数型言語<br />Haskellなどのような純粋関数型ではないが、<br />immutableなデータ型とそれへの参照を使って状態が管理されるので、<br />Python,Common Lisp などに比べると、<br />比較的破壊的な操作が少ない。<br /><br />基本はimmutableで、プロセスディクショナリやetsを持っている<br />Erlangとポジションは似ているかも。<br /><br />ここまでは前提条件的なもの。<br />ここからが、とくにClojureの魅力的な点。<br /><br />4.STMによる並行処理<br /><br />STMは、Software Transactional Memory<br /><a href="http://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E3%83%88%E3%83%A9%E3%83%B3%E3%82%B6%E3%82%AF%E3%82%B7%E3%83%A7%E3%83%8A%E3%83%AB%E3%83%A1%E3%83%A2%E3%83%AA">wikipedia:ソフトウェアトランザクショナルメモリ</a><br />複数スレッドからの共有メモリの読み書きを、<br />データベースのトランザクション処理のように制御する方法。<br /><a href="http://research.microsoft.com/%7Esimonpj/papers/stm/beautiful.pdf">"Beautiful concurrency" Simon Peyton Jones (PDF)</a><br />や、書籍「ビューティフルコード」など。<br />並行制御として、ErlangやScalaのようなアクターモデルと<br />このSTMと、あとはロックを使う方法などがあって、<br />どれが有用なのかについては、議論の的になっているようだ。<br /><br />5.豊富でimmutableなデータ型<br /><br />データ型の便利さにPythonに近いものを感じる。<br />Erlangの持つimmutableでファーストクラスのコンテナは、<br />リストとタプルしかない。<br />dictはリストの組み合わせでしかなく、リレラルもない。<br />これはErlangの弱点だと思われる。<br />また、immutableなコンテナは、パフォーマンスの低下を<br />招きかねないが、そこらへんも効率よく実装されているらしい。<br /><br />6.遅延シーケンス<br />Clojureはもちろん遅延評価ではないが、<br />遅延シーケンスが言語レベルでサポートされている。<br />Pythonのイテレータやジェネレータの感覚にとても近いものを感じるが、<br />遅延シーケンス自体もimmutableなので、状態を内在している<br />Pythonのジェネレータより扱いやすい点もありそう。<br />ここは要調査。Unknownnoreply@blogger.com1tag:blogger.com,1999:blog-3816569039331410742.post-28490296932571909932009-04-29T21:33:00.005+09:002009-04-29T22:26:57.363+09:00Clojureのlistとvector初見Clojureは便利な組み込みのデータ型を備えている。<br />これらはぜんぶが全部immutable、変更不可能になっている。<br />でも参照を扱う仕組みが別にあって、参照先が変更可能なので、<br />ErlangやHaskellより命令的に破壊的な操作?を書ける。<br />そこはSTMと絡んでくるので後回し。<br /><br />Clojureは動的型で、Pythonの組み込み関数typeと同じように<br />型について調べる事ができる。<br /><pre class="prettyprint">user> (type 1)<br />java.lang.Integer<br /></pre><br />整数や文字列などはJavaのクラスがそのまま使われているようだ。<br />JavaのVMの仕組みはわからないけれど、<br />Javaは静的型なので、こういったインスタンスやクラスの情報は<br />なんらかの形でラップされて扱われているんだろうと思われる。<br />型もふつうのオブジェクトのようで、比較ができる。<br /><pre class="prettyprint">user> (= (type 1) (type 3))<br />true<br />user> (= (type 1) (type 30000000000000000000000))<br />false<br /></pre><br />typeのtype、Pythonだとメタクラスになるところだが、<br />おなじようなものだろう。<br /><pre class="prettyprint">user> (type (type 1))<br />java.lang.Class<br />user> (type (type (type 1)))<br />java.lang.Class<br /></pre><br />文字列や、大きい整数もこんな具合。<br /><pre class="prettyprint">user> (type "abc")<br />java.lang.String<br />user> (type 10000000000000)<br />java.lang.Long<br />user> (type 100000000000000000000000000)<br />java.math.BigInteger<br /></pre><br />コンテナ型は、Clojure独自に定義されている。<br />immutableということで、PersistentHoge<br />という名前が付けられている。<br /><pre class="prettyprint">user> (type [])<br />clojure.lang.PersistentVector<br /></pre><br />これはPersistentVector。単にvectorと呼ばれることの方が多い。<br />IPersistentVectorというのは明らかにインターフェースと思われるが<br />MultiMethodsと関係してくるのだろうか?今は不明。<br /><pre class="prettyprint"><br />user> (type ())<br />clojure.lang.PersistentList$EmptyList<br /></pre><br />こっちはPersistentList。EmptyListとついているのが気になる。<br />これがうわさのMetadataか?<br />listとvectorが別にある。vectorの方が可変長配列でlistはリンクリスト<br />ってことだろうか。<br />listは当然だがvectorにもリテラルが用意されている。<br /><pre class="prettyprint">user> [1 2 3 4]<br />[1 2 3 4]<br />user> [1, 2, 3, 4]<br />[1 2 3 4]<br /></pre><br />カンマは、あっても無くても同じ。<br />好き嫌いが分かれそうだが、僕は嫌いじゃない。<br />関数で生成することもできる。<br /><pre class="prettyprint">user> (vector 1 2 3 4)<br />[1 2 3 4]<br />user> (vector)<br />[]<br /></pre><br />listのほうはこんなかんじ。<br /><pre class="prettyprint">user> '(1 2 3 4)<br />(1 2 3 4)<br />user> '(1, 2, 3, 4)<br />(1 2 3 4)<br />user> (list 1 2 3 4)<br />(1 2 3 4)<br /></pre><br />Lispですね。Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3816569039331410742.post-91450426929442123092009-04-29T10:45:00.007+09:002009-05-12T14:25:26.513+09:00Clojureのインストール(Ubuntu 9.04)<a href="http://riddell.us/tutorial/clojure/clojure.html">Clojure on Ubuntu</a><br />を参考にUbuntu 9.04にClojureをインストール。<br /><pre class="prettyprint">sudo apt-get install openjdk-6-jdk<br />sudo apt-get install ant subversion git-core<br />mkdir ~/opt<br />cd ~/opt<br />svn co http://clojure.googlecode.com/svn/trunk clojure<br />svn up<br />cd clojure<br />ant<br />mkdir ~/.clojure<br />cp clojure.jar ~/.clojure<br />cd ~/.clojure<br />java -cp clojure.jar clojure.lang.Repl<br />user=> (+ 1 2)<br />3<br />cd ~/opt<br />git clone git://github.com/kevinoneill/clojure-contrib.git<br />cd clojure-contrib<br />git pull<br />ant -Dclojure.jar=../clojure/clojure.jar<br />cp *.jar ~/.clojure<br />emacs ~/.profile<br />=============<br />export CLOJURE_EXT=~/.clojure<br />PATH=$PATH:~/opt/clojure-contrib/launchers/bash<br />alias clj=clj-env-dir<br />=============<br /><br />user=> (System/getProperty "java.class.path")<br />"/home/xxx/.clojure/clojure.jar<br />:/home/xxx/.clojure/clojure-contrib-slim.jar<br />:/home/xxx/.clojure/clojure-contrib.jar"<br /><br /><br /></pre>Unknownnoreply@blogger.com0