_ 自由に関する書籍

akrさんが自由や経済に関する知識に関心を持っておられる のですが、 自由という言葉の定義から始まって、 自由の捉え方は幅が広いので、 これだけ読めば十分という書籍はないと思います。 それだけだとあんまりなので、 とりあえず現在共通の議論の土台として用いられている古典から試してみてはいかがでしょうか。

自由を論ずるとき、もっとも重要な古典はミルの「On Liberty」（自由論）でしょう。 幸い 光文社から新訳が出版された ばかりですので、 入手は容易ですし、値段も手頃です。 ミルの視点に同意するか否かは別として、決して読んで損はしない名著であると思います。（ただし、念のため言っておくと、私自身はこの新訳を読んだことはありません。）

経済の方は、何を薦めていいのか私にはよく分かりません。 歴史が長い上に、みんな言っていることがてんでばらばら、 拠って立つ基盤にも違いがありすぎて、 闇雲につつき回すしか術はないのかもしれません。 私自身勉強不足ですし、もっと詳しい方に助言を頂く方が好ましいかと。

_ Lispは強力なのに不人気

Lispが大衆受けしない理由は、その表記法の非人間性、あるいは、 慣習との齟齬に尽きると感じています。 プログラミングにおいては、 大なり小なり、人間がコンピュータに歩み寄ってあげる必要がありますが、 その程度が大き過ぎるのが問題です。

• 括弧がいばり過ぎ。算数や自然言語などの学習において、括弧はあくまで補助的役割を果たすものだという思考法が染み着いています。にもかかわらず、Lispでは括弧に大きな意味があるため、思考のギャップが生じます。
• 括弧がうざい。人間は多くの場面で結合の優先順位によって楽をすることを知ってます。Lispはその辺をさっぱりよしなに扱ってくれないので、優しくありません。
• よくある表現が分かりにくい。言語の構成要素がプリミティブ過ぎて、よくある道具が言語機能になっていないから、ぱっと見で理解できるような書き方をするのに苦労します。インデントの付け方で工夫できるとは言え、やっぱり辛いです。

もちろん、そんなのは人それぞれだろうという批判を予期した上で書きますが、 最後の点を具体例をあげて説明すると、

(if (= x 0)
  y
  (if (> 1 y)
    (+ x 1)
    (+ x y)))

みたいなのが私にはすぐには理解できません。 私にとって、elseな部分はifと並列なんですが、 そのように表記するのが難しいのです。 例えば、

if x == 0
  y
elsif 1 > y
  x + 1
else
  x + y
end

は、私にとって、百倍分かりやすいのです。

それならcondを使えばいいと言われると思うし、 確かにそれはそうなのですが、 条件分岐を行うのに、私は「〜だったらこうして、じゃなくて〜だったらああして...」と考えます。 そこにcondという、「いろいろ条件があるから、まずこいつらをひとまとめにして」という「変なもの」が登場するのは苦しいのです。

逆に言えば、表記が辛くないLispがあれば、喜んで使うような気がします。

ところで、動的言語に静的情報を追加すると言えば、 Python 3000でそういう機能が追加されるそうです。 CPythonではdesign by contract的意味合いが強くなりそうですが、 PyPy では最適化に利用できる可能性がなくもないかなと思います。 本当に使えるかどうかは分からないんですけど。