2005/01/17

yomoyomoさんとこより、メンテナンス可能なコードの書き方、およびその関連で Great Programmers。良いコードとは、つまるところ適切なカプセル化とユニットテストにある、という主張には基本的に同意。

ただ、「カプセル化 encapsulation」はオブジェクト指向界隈で「実装の隠蔽」の意味で使われることが多いような気がする (例) ので個人的には避けたい用語だ。本当に重要なのは、(a)あるコードの変更が影響を及ぼす範囲が容易に確定できること、(b)あるコードの意味に影響を与える範囲が容易に確定できること (両者は同じことの表と裏だが、実際にコードをいじっている時には両方を考慮している)、であるはずだ。私はこれをモジュラリティと呼んでいる。

実装の隠蔽はモジュラリティを実現する一つのツールだが、必要でも十分でもない。実装を完全に隠蔽してもモジュラリティの低いコードはいくらでも書けるし、

実装を隠蔽しないでもモジュラリティの高いコードは書ける。うっかりミスを防ぐ意味では有用かもしれない、という程度だと思う。しかも、本当に厄介なバグは実装の隠蔽だけでは防げないような種類のものだ。

モジュラリティにとってより重要なのは、状態の管理だ。何かが状態を持ち、そのふるまいが状態によって変化する場合、あるコードの意味はそのコードの静的なスコープだけでなく、対象となるものの状態にも依存する。静的に確定できるスコープの外でそのものの状態が勝手に変えられてしまうと、もはやコードの見た目を信頼することができない。

実装の隠蔽によって状態をさわれる箇所を限定することでこの問題はある程度軽減できるが、それは対症療法にすぎない。例えばpublicな getterとsetterを用意してインスタンス変数を隠蔽することはこの問題に対してほとんど何の解決にもなっていない。もう少しソフィスティケートされたAPIを用意したとしても、実装者の想定した方法以外でオブジェクトの状態を変えるパスがどこかに存在する限り、問題は残る。

本当の問題は、状態を持つことそのものにある。ただ、現実の世界がステートフルである以上、そことつき合うプログラムもまた状態を持たざるを得ない。状態という猛獣をいかに飼い慣らすかという視点で設計を行うべきだろう。実装の隠蔽も、状態を常に実装者の想定に従うように管理するという目的で使われる場合には、有用だ。もっとも、状態遷移が明示的にAPIの一部になっていることの方が重要で、カプセル化はその安全ネットを提供するにすぎないと思うが。

形式的に状態を制御して扱えるようにするには、現実的には静的型が必須のように思える。(Schemeでモナドを書いても Haskellのように綺麗にならない。) ただ、そこまでやらなくてもいくつかのアドホックなテクニックを使うことで、かなり安全に状態を制御することはできるだろう。

Tag: Programming

2005/01/10

#permalink

言語のコアが単純であることの効用

「良いデザインは再デザインである」(Paul Graham)---これは言語そのもののデザインではなく、処理系のデザインにも言える。とりあえず動くバージョンを作って、それを実際のアプリケーションで使ってみて、そこでの観察をもとに処理系を改善してゆく。このサイクルを多く回せば回すほど、実装は良いものになってゆくはずだ。また、色々なアイディアを思い付く端から実装してみて試してみる。それが簡単であればあるほど、その中から実際に使えるアイディアを拾いあげやすくなる。

だとすれば、処理系のリライトがやりやすい方が、良い実装へと収束しやすいだろう。言語が、少数のコア要素と、その上に構築される要素からなっていれば、言語のフルスペックを保ったまま、コア部分やその上の各コンポーネントを独立に差し替えて行くことができる。これは処理系をごっそり書き直すのに比べてずっと敷居が低い。

(コア要素の上に構築する要素は必ずしも実行時のレイヤリング、つまりライブラリを言語のコアオペレータで書くこと、を意味しない。構文糖衣をメタプログラミングで追加するような場合、レイヤリングはコンパイル時のもので、実行時性能には影響を及ぼさない)

もっとも最初から全てを考慮したインタフェースをモジュール間に作るのは難しい。やってみないとわからないことがたくさんあるからだ。時には、インタフェースを保つために変更する側のモジュールに醜いスタブを噛ます必要も出てくる。ただ、対応するモジュールも十分に速く改善できて、結果としてスタブがすぐに外せるのなら、大した問題ではないだろう。

最適化はモジュラリティとぶつかる場合がある。モジュラリティは一般化を指向するのに、最適化は特殊化を指向するからだ。せっかくきれいにレイヤを切ってモジュール化してあっても、最適化は複数のレイヤに変更を強いる場合が多い。これについては、最適化をオプショナルにしておくこと (何かのフラグで切ることができるようにしとく)くらいしか思いつかんなあ。

Tag: Programming

2005/01/08

#permalink

TPOSSCON 2005. へー、Bruce Perensがハワイに来るんだ。ちょっとのぞいてみようかな。

Tag: Conference

2004/12/28

#permalink

From CNN:

Egeland, the UN's undersecretary-general for humanitarian affairs and emergency relief, has called for a major international response -- and went so far as to call the U.S. government and others "stingy" on foreign aid in general.
"If, actually, the foreign assistance of many countries now is 0.1 or 0.2 percent of the gross national income, I think that is stingy, really," he said. "I don't think that is very generous.
"We need rich countries, rich individuals, even only those of us who are reasonably affluent to respond generously," Egeland said.
"Here we are facing people who have lost everything. Hundreds of thousands of people have lost everything. Millions of people are now living in the worst possible hazards of having polluted drinking water, no sanitation, no health services," he said, adding that the conditions are sure to lead to disease.

American Red Cross ( http://www.redcross.org/ ) は現時点でスマトラ沖震災にspecificなドネーションをするところが見当たらない (Disaster Relief Fund が使われるのだろうけど) が、国際赤十字・赤新月社連盟 ( http://www.ifrc.org/ ) からだと直接使途を指定できる。 UNICEF ( http://www.unicef.org/ ) だと寄付画面に各国語版がある。

戦争に金を突っ込んで災害支援にはしぶい連邦政府など当てにしてられっか。

Tag: 生活